Ghi chú của hội nghị thượng đỉnh về tiền điện tử a16z: Định hướng kỹ thuật ZK và kho dự án tiềm năng

Bởi Joseph Bonneau, DAOSquare

Lưu ý của biên tập viên: Ghi chú thực địa là một loạt bài trong đó chúng tôi báo cáo thực tế về ngành, nghiên cứu và các sự kiện quan trọng khác. Trong số này, đối tác nghiên cứu tiền điện tử a16z và Trợ lý Giáo sư Joseph Bonneau của NYU đã tham dự và ghi chép từ Hội nghị thượng đỉnh không có kiến ​​thức lần thứ 11 (zkSummit) tại Athens vào thứ Tư, ngày 10 tháng 4. Sự kiện do podcast Zero Knowledge tổ chức, có khoảng 500 người tham dự và có bốn bài thuyết trình đồng thời trong suốt cả ngày. Sau đây là bản tóm tắt báo cáo của Bonneau, bao gồm phần cứng không có kiến ​​thức mới nhất, hiệu suất SNARK và thiết kế mạng đấu giá, bao gồm một số đề cập đến Jolt, cách tiếp cận mới của nhóm kỹ thuật và nghiên cứu tiền điện tử a16z đối với thiết kế SNARK vốn đã tiên tiến hơn so với cách tiếp cận mới của nhóm kỹ thuật và nghiên cứu tiền điện tử a16z. công nghệ tiên tiến hiện nay Công nghệ này nhanh hơn gấp 2 lần và sắp có nhiều cải tiến hơn.

Phần cứng ZK

Hỗ trợ phần cứng để tạo bằng chứng từ lâu đã là mục tiêu của cộng đồng. Hai cuộc đàm phán đầu tiên, được tổ chức trên sân khấu chính, đã phác thảo những diễn biến hiện tại trong lĩnh vực này.

• Nhà nghiên cứu Justin Drake của Ethereum Foundation cung cấp cái nhìn tổng quan về phần cứng ZK, bao gồm cả phân loại các công ty trong lĩnh vực này. Danh sách này bao gồm các công ty sử dụng phần cứng đa năng (như Ulvetanna), các công ty sản xuất phần cứng tùy chỉnh (bao gồm Accseal, Cysic và Fabric) và các công ty chạy mạng chứng minh phi tập trung (như Aleo). Ông dự đoán rằng “kết thúc” của zkVM, chẳng hạn như Jolt được tăng cường bởi Binius (hệ thống xác minh SNARK được tối ưu hóa phần cứng) và các tối ưu hóa sắp tới và phần cứng chuyên dụng khác, có thể đạt được chi phí tính toán gấp 1000 lần và có thể ảnh hưởng đến phiên bản Ethereum toàn diện, cuối cùng được thử nghiệm trong thực tế. Ông cũng dự đoán rằng phần cứng sẽ chủ yếu tập trung vào các bằng chứng ngắn gọn không phải ZK, với hầu hết các bằng chứng sẽ sử dụng lớp bao bọc Groth16 trên bề mặt. Ông cũng đề cập rằng Ethereum Foundation sẽ công bố một cuộc thi xác minh chính thức những người chứng minh và xác nhận với giải thưởng trị giá 20 triệu USD.

• Người đồng sáng lập Ulvetanna, Jim Posen nói về Binius và khái niệm chung về thiết kế đồng thời các hệ thống và phần cứng bằng chứng. Binius sử dụng các trường tháp nhị phân và giao thức sumcheck mà Jolt cũng dựa trên đó. Một kết luận thú vị từ thử nghiệm ban đầu với Binius là hàm băm Groestl (á quân SHA-3) hoạt động tốt hơn đáng kể so với Keccak (tiêu chuẩn SHA-3 chính thức), do đó, sử dụng Groestl trong một số ứng dụng có thể thuận lợi hơn.

Mạng Prover phi tập trung

Nhiều người trong lĩnh vực này hình dung ra một tương lai nơi các bằng chứng về việc tạo ra các tuyên bố lớn (ví dụ: tính chính xác của một loạt giao dịch trong Rollup) được thực hiện bởi một thị trường phi tập trung, cạnh tranh của những người chứng minh chuyên nghiệp.

• Uma Roy, người đồng sáng lập Succinct, nói về mạng lưới người chứng minh sắp tới của Succinct. Cô đã giới thiệu nhiều thiết kế cơ chế tiềm năng khác nhau cho các mạng chứng minh phi tập trung và dự đoán rằng các thiết kế dựa trên cạnh tranh (đầu tiên để chứng minh chiến thắng) hoặc khai thác (đầu tiên để chứng minh chiến thắng, tính ngẫu nhiên theo mô-đun) sẽ không dẫn đến kết quả tốt. Cô cho biết các mục tiêu thiết kế phải theo thứ tự đó: chi phí tối thiểu, độ trễ tối đa và khả năng chống kiểm duyệt. Cô dự đoán rằng mô hình phát hành/đặt cược có thể hoạt động, nhưng mô hình đấu giá có nhiều khả năng giành chiến thắng nhất và cuối cùng có thể trông giống như việc xây dựng khối ngày nay. Cô cho biết Succinct đang xây dựng một mạng đấu giá toàn cầu cho các bằng chứng hỗ trợ nhiều zkVM, không chỉ SP1 của Succinct như Jolt/Lasso.

• Wenhao Wang, một nghiên cứu sinh tiến sĩ tại Đại học Yale, đã nói về một bài báo mới về kinh tế học của mạng lưới người chứng minh được xuất bản vào buổi sáng của bài giảng, mà anh ấy và Ben Co -được tác giả bởi Fisch (Espresso Systems) và Ben Livshits (Matter Labs). Wenhao đề cập rằng các cuộc đấu giá song phương rất dễ xảy ra sự thông đồng giữa người chứng minh và người đặt giá thầu, đồng thời họ đã giới thiệu một cơ chế thay thế gọi là Proo-phi, giới thiệu các giao dịch khớp lệnh mới và cơ chế chứng minh. Proof-phi yêu cầu thiết lập các tham số dung lượng, điều này dường như là một vấn đề thiết kế mở quan trọng.

• Daniel Kales, đồng sáng lập và CTO của TACEO, đã nói về thị trường bằng chứng hỗ trợ tính toán đa bên (MPC), đặc biệt là sử dụng MPC để duy trì các khách hàng nhỏ với nhân chứng riêng và quyền riêng tư giữa những người chứng minh quy mô lớn không đáng tin cậy. Anh ấy nói về cách chúng ta có thể chọn sự kết hợp của các hệ thống chứng minh cho các phép toán tuyến tính (chẳng hạn như thuật toán Biến đổi Fourier nhanh) tương đối rẻ trong MPC và có thể giảm thiểu chi phí.

Thông tin xác thực ZK

Ba sự kiện khác nhau đã thảo luận về nỗ lực xây dựng thông tin xác thực không có kiến ​​thức từ các hệ thống nhận dạng hiện có. Mỗi người dựa vào một hệ thống nhận dạng hiện có khác nhau.

• Aayush Gupta và Sora Suegami, những người đồng sáng lập ZK Email, nói về Bằng chứng về Quyền sở hữu Địa chỉ Email ZK. Những điều này dựa vào việc chứng minh kiến ​​thức về chữ ký DKIM cho các email được gửi đến các địa chỉ cụ thể và DKIM được các nhà cung cấp email lớn triển khai rộng rãi (mặc dù chủ yếu là một biện pháp chống thư rác). Nhiều ứng dụng có thể sử dụng ZK để chứng minh liệu người dùng có kiểm soát địa chỉ email hay không, bao gồm các ứng dụng như gửi tiền đến địa chỉ email và báo cáo ẩn danh.

• Alin Tomescu, nhà khoa học nghiên cứu tại Aptos Labs, nói về Aptos Keyless, sử dụng kết nối OpenID để tương tác với danh tính web2 truyền thống. Kết nối OpenID là công nghệ hỗ trợ "Đăng nhập bằng Facebook, Google, v.v." Aptos Keyless tương tác với các nhà cung cấp OpenID hiện có và chứng minh rằng người dùng kiểm soát một địa chỉ nhất định, khiến các ứng dụng như gửi tiền đến tài khoản Google hoặc Facebook trở nên khả thi.

• Michael Elliot và Derya Karli của ZkPassport thảo luận cách xây dựng thông tin xác thực ẩn danh từ hộ chiếu điện tử hiện có. Ví dụ: người dùng có thể chứng minh họ có hộ chiếu Hoa Kỳ và từ 25 tuổi trở lên mà không tiết lộ số hộ chiếu hoặc tuổi chính xác.