Hội nghị Zero Knowledge 2024: Báo cáo 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 người tham dự đã tham gia sự kiện kéo dài một ngày này, đồng thời có bốn bài phát biểu được trình bày. Dưới đây là tóm tắt nội dung chính của hội nghị, bao gồm các chủ đề như 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 ZK

Hỗ trợ phần cứng cho việc tạo chứng minh luôn là một mục tiêu quan trọng trong lĩnh vực bằng chứng không kiến thức. Hai báo cáo trên sân khấu chính đã tóm tắt tình hình phát triển hiện tại:

Một nhà nghiên cứu đã thực hiện một cái nhìn tổng quát toàn diện 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 thông dụng, 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 thực phi tập trung. Ông dự đoán rằng hệ thống zkVM được tối ưu hóa có thể đạt được hiệu suất tính toán gấp 1000 lần, điều này sẽ có tác động lớn đến các phiên bản Ethereum trong tương lai. Ông cũng đề cập rằng hầu hết các chứng thực có thể sẽ sử dụng cấu trúc Groth16 và đã thông báo về một cuộc thi chứng thực chính thức giữa các chứng nhân và người xác thực sắp diễn ra.

Một trong những người đồng sáng lập công ty đã giới thiệu hệ thống Binius, hệ thống này thiết kế chứng minh và phần cứng. Binius sử dụng tháp nhị phân và giao thức sumcheck. Thú vị là, các bài kiểm tra ban đầu cho thấy hàm băm Groestl có thể có lợi thế hơn Keccak trong một số ứng dụng.

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

Nhiều chuyên gia trong ngành tưởng tượng rằng việc tạo ra chứng minh cho các báo cáo lớn trong tương lai 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 đã thảo luận về mạng chứng nhân sắp ra mắt của họ. Cô ấy đã phân tích 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 cạnh tranh hoặc khai thác có thể không mang lại kết quả lý tưởng. Cô ấy đề 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ô ấy 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ư việc xây dựng khối ngày nay.

Một sinh viên 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 người chứng. Anh ấy đề cập rằng đấu giá hai bên dễ bị ảnh hưởng bởi sự thông đồng và giới thiệu một cơ chế thay thế có tên là Proo-phi, đưa ra 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 tổ hợp hệ thống chứng minh để tối ưu hóa các phép toán tuyến tính trong MPC nhằm giảm thiểu chi phí.

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

Ba cuộc thảo luận tập trung vào nỗ lực xây dựng chứng nhận không biết từ hệ thống danh tính hiện có:

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

Một nhà nghiên cứu tại phòng thí nghiệm đã thảo luận về việc sử dụng công nghệ OpenID Connect để tương tác với danh tính web2 truyền thống. Điều này làm cho các ứng dụng như chuyển tiền đến tài khoản Google hoặc Facebook trở nên khả thi.

Một thành viên 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 của một quốc gia cụ thể và đạt đến mộ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 trong việc xác minh danh tính trong khi bảo vệ quyền riêng tư, hứa hẹn sẽ có ứng dụng rộng rãi trong nhiều lĩnh vực.