Hội nghị Zero Knowledge 2024: Ghi chú trực tiếp

Vào ngày 10 tháng 4 năm 2024, Hội nghị Thượng đỉnh Zero-Knowledge lần thứ 11 đã được tổ chức tại Athens. Khoảng 500 đại biểu đã tham gia sự kiện kéo dài một ngày này, cùng với bốn bài phát biểu. Dưới đây là tóm tắt những nội dung trọng điểm của hội nghị, 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át triển phần cứng ZK

Hỗ trợ phần cứng cho việc tạo chứng minh luôn là lĩnh vực được ngành công nghiệp chú ý đặc biệt. Hai bài phát biểu mở đầu hội nghị đã tóm tắt tình hình phát triển hiện tại:

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

• Đồng sáng lập của một công ty đã giới thiệu hệ thống Binius, cũng như ý tưởng thiết kế hệ thống chứng minh và phần cứng cùng lúc. Binius 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ệt so với Keccak.

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

Các chuyên gia trong ngành đều cho rằng, trong tương lai, việc tạo ra chứng minh cho các tuyên bố quy mô lớn (như xác minh tính chính xác của một nhóm 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 một công ty đã thảo luận về mạng lưới người chứng thực sắp ra mắt của họ. Cô phân tích các thiết kế cơ chế tiềm năng khác nhau và cho rằng thiết kế dựa trên cạnh tranh 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à: tối thiểu hóa chi phí, tối đa hóa độ trễ và khả năng chống kiểm duyệt. Cô dự đoán rằng mô hình đấu giá có khả năng trở thành xu hướng chủ đạo, và cuối cùng có thể tương tự như cách xây dựng khối hiện tại.

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

• Giám đốc kỹ thuật của một công ty đã thảo luận về thị trường chứng minh hỗ trợ tính toán nhiều bên (MPC), đặc biệt là cách sử dụng MPC để duy trì quyền riêng tư giữa khách hàng nhỏ và người chứng 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í trong MPC.

Đổi mới chứng chỉ ZK

Cuộc họp cũng đã thảo luận về nhiều nỗ lực xây dựng chứng chỉ không biết dựa trên hệ thống danh tính hiện có:

• Một đồng sáng lập dự án đã giới thiệu chứng minh quyền sở hữu địa chỉ email ZK. Những chứng minh này dựa vào việc xác minh chữ ký DKIM của email gửi đến một địa chỉ cụ thể, có thể được áp dụng trong các tình huống như chuyển tiền ẩn danh và báo cáo.

• Một nhà nghiên cứu của công ty đã giải thích về công nghệ sử dụng OpenID connect để tương tác với danh tính web2 truyền thống, cho phép các ứng dụng như chuyển tiền đến tài khoản Google hoặc Facebook trở nên khả thi.

• Đại diện của một dự án đã thảo luận về cách xây dựng chứng chỉ ẩn danh từ hộ chiếu điện tử hiện có, chẳng hạn như chứng minh việc 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ộ thông tin cá nhân cụ thể.

Những đổi mới này đã mở ra những khả năng mới cho việc áp dụng công nghệ chứng minh không biết trong lĩnh vực xác thực và bảo vệ quyền riêng tư.