Sẽ thật tuyệt vời nếu các tác nhân và hệ thống tự động nghiên cứu có thể bắt đầu thiết kế các giao thức thực sự vượt xa việc tối ưu hóa hiệu suất. Tức là cần có "trực giác" đủ tốt để hiểu tất cả các thành phần toán học cốt lõi trong ZK (cam kết đa thức, ETC), thiết kế các giao thức mới thông qua một số tổ hợp.
Bài viết này được dịch máy
Xem bản gốc
Barna
@realbarnakiss
03-26
I implemented zk-autoresearch, based on Karpathy's autoresearch loop, on a production ZK prover, Plonky3.
Soundness review by a Plonky3 engineer is pending before I treat these as final. The methodology finding is already clear, preliminary results below.
Target: Plonky3's NTT
Từ Twitter
Tuyên bố từ chối trách nhiệm: Nội dung trên chỉ là ý kiến của tác giả, không đại diện cho bất kỳ lập trường nào của Followin, không nhằm mục đích và sẽ không được hiểu hay hiểu là lời khuyên đầu tư từ Followin.
Thích
Thêm vào Yêu thích
Bình luận
Chia sẻ
