Hội nghị Zero Knowledge 2024: Báo cáo trực tiếp

Joseph Bonneau đã công bố một báo cáo trực tiếp về Hội nghị Thượng đỉnh Zero Knowledge lần thứ 11 (zkSummit) vào ngày 13 tháng 4 năm 2024. Hội nghị diễn ra vào ngày 10 tháng 4 tại Athens, với khoảng 500 người tham dự. Hội nghị đã diễn ra đồng thời bốn buổi thuyết trình, bao gồm các 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 không kiến thức

Sự hỗ trợ của phần cứng đối với việc tạo ra chứng nhận luôn là điểm mối quan tâm trong ngành. Hai bài phát biểu trên sân khấu chính đã tổng quan về những phát triển mới nhất trong lĩnh vực này.

Một nhà nghiên cứu đã tổng quan toàn diện về phần cứng zero-knowledge, bao gồm việc sử dụng phần cứng thông dụng, 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 chứng minh phi tập trung. Ông dự đoán rằng hệ thống zkVM được tối ưu hóa 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 các phiên bản tương lai của Ethereum. Ông cũng đề cập đến việc sẽ tổ chức một cuộc thi chính thức cho các người chứng thực và các người xác thực, với giải thưởng lên tới 20 triệu đô la.

Một trong những người đồng 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 phát hiện rằng 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 tin rằng, trong tương lai, việc tạo ra chứng minh cho các tuyên bố lớn ( 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, đảm bảo tính chính xác của một loạt giao dịch trong Rollup ).

Một trong những người đồng sáng lập của một công ty đã thảo luận về các thiết kế cơ chế tiềm năng khác nhau của mạng chứng thực phi tập trung. Cô cho 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 thành công nhất, và cuối cùng có thể tương tự như mô hình xây dựng khối hiện tại. Cô tiết lộ rằng công ty của mình đang xây dựng một mạng đấu giá tổng quát, hỗ trợ chứng thực của nhiều zkVM.

Một nghiên cứu sinh tiến sĩ tại 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 lưới người chứng minh. Anh ấy đề cập rằng đấu giá hai bên dễ bị ảnh hưởng bởi sự thông đồng, do đó đã đề 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 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 đa bên (MPC), đặc biệt là cách sử dụng MPC để bảo vệ 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 lựa chọn 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í.

Bằng chứng 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 biết từ các hệ thống danh tính hiện tại, mỗi phương án đều dựa trên các hệ thống danh tính khác nhau.

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

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

Một thành viên trong dự án đã 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 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.