Hội nghị Zero Knowledge 2024: Ghi chép tại chỗ

Joseph Bonneau, đối tác nghiên cứu và trợ lý giáo sư tại Đại học New York, đã tham gia Hội nghị Zero Knowledge lần thứ 11 diễn ra vào ngày 10 tháng 4 tại Athens. Sự kiện thu hút khoảng 500 người tham dự, với bốn bài phát biểu được tổ chức đồng thời trong một ngày. Dưới đây là tóm tắt báo cáo của Bonneau, bao gồm những tiến bộ mới nhất về phần cứng zero knowledge, hiệu suất SNARK và thiết kế mạng chứng minh.

Phần cứng ZK

Hỗ trợ phần cứng cho việc tạo chứng nhận luôn là mục tiêu lâu dài của cộng đồng. Hai bài phát biểu đầu tiên trên sân khấu chính đã phác thảo những phát triển mới nhất trong lĩnh vực này.

Một nhà nghiên cứu đã đưa ra cái nhìn tổng quát về phần cứng ZK, bao gồm phân loại các công ty trong lĩnh vực này. Ông đã liệt kê các công ty sử dụng phần cứng thông dụng, các công ty sản xuất phần cứng tùy chỉnh và các công ty vận hành mạng lưới chứng minh phi tập trung. Ông dự đoán rằng 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 khác sắp tới, kết hợp với phần cứng chuyên dụng, có thể đạt được mức tăng hiệu suất tính toán lên tới 1000 lần, điều này có thể ảnh hưởng đến phiên bản cuối cùng của Ethereum. Ông cũng đề cập rằng sẽ có thông báo về một cuộc thi chính thức để xác thực các người chứng và người xác minh, với giải thưởng lên tới 20 triệu đô la.

Một trong những nhà sáng lập công ty đã thảo luận về khái niệm thiết kế đồng thời hệ thống chứng minh và phần cứng. Hệ thống của họ sử dụng trường nhị phân và giao thức sumcheck. Các thử nghiệm ban đầu cho thấy, trong một số ứng dụng, hiệu suất của hàm băm Groestl vượt trội hơn rõ ràng so với Keccak.

Mạng chứng minh phi tập trung

Nhiều chuyên gia trong ngành tưởng tượng rằng, trong tương lai, việc tạo ra chứng minh cho các báo cáo lớn (như tính đúng đắn của một loạt giao dịch trong Rollup) sẽ được thực hiện bởi một thị trường chứng minh chuyên nghiệp, phi tập trung và cạnh tranh khốc liệt.

Một trong những người đồng sáng lập của công ty đã giới thiệu mạng lưới người chứng thực sắp ra mắt của họ. Cô thảo luận về các thiết kế cơ chế tiềm năng khác nhau và cho rằng các thiết kế dựa trên cuộc thi hoặc khai thác có thể không hiệu quả. Cô đề xuất rằng mục tiêu thiết kế nên lần lượt là: 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ể hiệu quả, nhưng mô hình đấu giá có khả năng thành công nhất, cuối cùng có thể tương tự như việc xây dựng khối trong ngày hôm nay.

Một nghiên cứu sinh tiến sĩ tại Đại học Yale đã giới thiệu một bài báo mới về kinh tế học mạng chứng nhân. Ông chỉ ra rằng đấu giá hai bên dễ bị ảnh hưởng bởi sự thông đồng giữa chứng nhân và người đấu thầu, và đề xuất một cơ chế thay thế có tên là Proo-phi, giới thiệu các giao dịch ghép mới và cơ chế chứng nhận.

Giám đốc công nghệ của một công ty đã thảo luận về thị trường chứng minh hỗ trợ tính toán đa bên (MPC), đặc biệt là việc sử dụng MPC để duy trì sự riêng tư giữa khách hàng nhỏ và những người chứng minh lớn. Ông đã khám phá cách chọn sự kết hợp hệ thống chứng minh để thực hiện các phép toán tuyến tính nhằm tối thiểu hóa chi phí.

Chứng chỉ ZK

Ba buổi diễn thuyết khác nhau đã thảo luận về những nỗ lực xây dựng chứng chỉ không biết từ hệ thống danh tính hiện tại.

Một trong những người đồng sáng lập của công ty đã giới thiệu về chứng minh quyền sở hữu địa chỉ email ZK. Những điều này dựa trên kiến thức về chữ ký DKIM của các email gửi đến địa chỉ cụ thể. Nhiều ứng dụng có thể thông qua ZK chứng minh người dùng có quyền kiểm soát địa chỉ email, bao gồm việc chuyển tiền đến địa chỉ email và báo cáo ẩn danh.

Các nhà khoa học nghiên cứu của một phòng thí nghiệm đã thảo luận về công nghệ sử dụng OpenID connect để tương tác với danh tính web2 truyền thống. Công nghệ này tương tác với các nhà cung cấp OpenID hiện có, chứng minh người dùng kiểm soát địa chỉ nhất định, cho phép các ứng dụng như chuyển tiền đến tài khoản Google hoặc Facebook.

Một đại diện của một công ty đã thảo luận về cách xây dựng chứng nhận ẩn danh từ hộ chiếu điện tử hiện có. Ví dụ, người dùng có thể chứng minh rằng họ sở hữu hộ chiếu của một quốc gia cụ thể và đạt độ tuổi nhất định, mà không cần tiết lộ số hộ chiếu hoặc độ tuổi chính xác.