Hội nghị Zero Knowledge 2024: Quan sát trực tiếp

Vào ngày 10 tháng 4 năm 2024, Hội nghị 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 với bốn phiên diễn thuyết song song. Bài viết này tóm tắt những tiến bộ quan trọng tại hội nghị về phần cứng zero knowledge mới nhất, hiệu suất SNARK và thiết kế mạng chứng minh phi tập trung.

Phát triển phần cứng không biết

Hỗ trợ phần cứng luôn là mục tiêu quan trọng của cộng đồng chứng minh không kiến thức. Hai bài phát biểu trên sân khấu chính đã tóm tắt những tiến bộ mới nhất trong lĩnh vực này:

Một nhà nghiên cứu đã thực hiện một cuộc tổng hợp toàn diện về phần cứng zero-knowledge, phân loại các công ty liên quan thành ba loại: sử dụng phần cứng chung, sản xuất phần cứng tùy chỉnh và vận hành mạng chứng minh phi tập trung. Ông dự đoán rằng "hình thức cuối cùng" của zkVM có thể đạt được mức tăng hiệu suất tính toán gấp 1000 lần, điều này sẽ có ảnh hưởng lớn đến phiên bản tương lai của Ethereum. Ông cũng đề cập rằng sẽ sớm công bố một cuộc thi xác thực chính thức dành cho người chứng minh và người xác nhận, với tổng giải thưởng lên tới 20 triệu đô la.

Một trong những người sáng lập của công ty đã giới thiệu hệ thống Binius, hệ thống này thiết kế đồng thời hệ thống chứng minh và phần cứng. Binius sử dụng tháp 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 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, việc chứng minh quy mô lớn trong tương lai (chẳng hạn như xác minh tính đúng đắn 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 đầy cạnh tranh.

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

Một nghiên cứu sinh tiến sĩ của một trường đại học đã giới thiệu một bài báo mới về kinh tế học mạng của những người chứng minh. Anh ấy chỉ ra rằng đấu giá hai bên dễ bị ảnh hưởng bởi sự thông đồng, 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 minh.

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à cách sử dụng MPC để duy trì quyền 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 để tối ưu hóa chi phí tính toán tuyến tính trong MPC.

Chứng chỉ không biết

Ba cuộc thảo luận tập trung vào nỗ lực xây dựng chứng chỉ không tiết lộ dựa trên hệ thống danh tính hiện tại:

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

Một nhà nghiên cứu trong phòng thí nghiệm đã thảo luận về việc sử dụng OpenID Connect để tương tác với các hệ thống danh tính Web2 truyền thống. Hệ thống này có thể thực hiện các ứng dụng như chuyển tiền vào tài khoản Google hoặc Facebook.

Một đại diện của dự án đã thảo luận về cách xây dựng chứng chỉ ẩn danh dựa trên 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 Mỹ và đã đủ 25 tuổi mà không cần tiết lộ số hộ chiếu hoặc độ tuổi chính xác.