Hội nghị Zero-Knowledge 2024: Quan sát tại chỗ

Vào ngày 10 tháng 4 năm 2024, Hội nghị lần thứ 11 về Zero-Knowledge được tổ chức tại Athens. Khoảng 500 người tham gia đã tham dự sự kiện kéo dài một ngày, trong đó có bốn bài phát biểu. Dưới đây là tóm tắt những nội dung chính của hội nghị, bao gồm những tiến bộ mới nhất trong phần cứng Zero-Knowledge, hiệu suất SNARK và thiết kế mạng chứng minh phi tập trung.

Phần cứng kiến thức bằng không

Hỗ trợ phần cứng luôn là mục tiêu quan trọng trong lĩnh vực 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 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 không biết, bao gồm 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 và các công ty vận hành mạng chứng minh phi tập trung. Ông dự đoán rằng với sự trợ giúp của các công nghệ như hệ thống xác minh SNARK tối ưu hóa phần cứng, zkVM có thể đạt được 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 các phiên bản tương lai của Ethereum. Ông cũng đề cập rằng hầu hết các chứng minh có thể sẽ sử dụng gói Groth16.

Một chuyên gia khác đã thảo luận về khái niệm thiết kế hệ thống chứng minh và phần cứng đồng thời. Hệ thống của họ sử dụng trườ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 thực phi tập trung

Các chuyên gia trong ngành tưởng tượng rằng, trong tương lai, việc tạo ra chứng nhận quy mô lớn (như xác minh tính đúng đắn của giao dịch hàng loạt trong Rollup) sẽ được hoàn thành bởi một thị trường chứng nhận chuyên nghiệp phi tập trung 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 đã giới thiệu mạng lưới người chứng minh mà họ sắp ra mắt. Cô thảo luận về nhiều thiết kế cơ chế tiềm năng khác nhau, 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ô chỉ ra 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 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 cao nhất, cuối cùng có thể tương tự như xây dựng khối hiện nay.

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 lưới người chứng minh. Anh ấy đã đề cập rằng các cuộc đấu giá hai bên dễ bị ảnh hưởng bởi sự thông đồng giữa người chứng minh và người đấu thầu, vì vậy họ đã đề xuất 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.

Một chuyên gia khác đã 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 các hệ thống chứng minh kết hợp để 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.

Chứng chỉ không kiến thức

Cuộc họp cũng đã 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 có:

• Một dự án cam kết phát triển chứng minh quyền sở hữu địa chỉ email zero-knowledge, dựa trên bằng chứng kiến thức về chữ ký DKIM.
• Một dự án khác 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.
• Dự án thứ ba đã 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ó, 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à độ tuổi, mà không cần tiết lộ thông tin cụ thể.

Những tiến bộ này cho thấy công nghệ bằng chứng không kiến thức có tiềm năng to lớn trong xác thực và bảo vệ quyền riêng tư, mở ra những khả năng mới cho các ứng dụng trong tương lai.