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ị Zero Knowledge lần thứ 11 đã diễn ra 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, với bốn bài phát biểu được thực hiện. Dưới đây là tóm tắt những nội dung nổi bật 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.

Phát triển phần cứng ZK

Hỗ trợ phần cứng cho việc tạo ra bằng chứng không kiến thức luôn là tâm điểm chú ý của ngành công nghiệp. Hai báo cáo tại hội trường 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 đã đưa ra cái nhìn tổng quan toàn diện về phần cứng ZK, 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 và các công ty vận hành mạng chứng thực phi tập trung. Ông dự đoán rằng, thông qua việc tối ưu hóa phần cứng cho hệ thống xác minh SNARK và các tối ưu hóa khác sắp tới, zkVM có thể đạt được mức tăng hiệu quả 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 rằng sẽ có một cuộc thi để xác thực chính thức cho những người chứng thực và xác minh, với giải thưởng lên đến 20 triệu đô la.

• Người đồ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 đồng thời. Binius sử dụng tháp nhị phân và giao thức sumcheck. Thú vị là, các thử nghiệm sớm chỉ ra rằng hàm băm Groestl có hiệu suất nổi bật hơn Keccak trong một số ứng dụng.

Mạng chứng nhân 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 (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ông ty đã thảo luận về mạng lưới chứng nhân sắp ra mắt. Cô ấy đã phân tích nhiều thiết kế cơ chế tiềm năng 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 hiệu quả. 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, trong tương lai có thể tương tự như việc xây dựng khối ngày hôm nay.

• 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. Anh ấy chỉ ra 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 và người đấu thầu, và đã đề xuất một cơ chế thay thế mang tên Proo-phi, giới thiệu các giao dịch và cơ chế chứng minh mới.

• 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 để bảo vệ quyền riêng tư giữa các khách hàng nhỏ và các người chứng lớn. Ông đã khám phá cách chọn 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

Ba cuộc thảo luận tập trung vào 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 trong những người sáng lập dự án đã giới thiệu chứng minh quyền sở hữu địa chỉ email ZK, dựa trên việc chứng minh kiến thức về chữ ký DKIM của email tại địa chỉ cụ thể. Công nghệ này có thể được áp dụng trong các tình huống như chuyển tiền đến địa chỉ email, báo cáo ẩn danh, v.v.

• 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 mở ra khả năng cho 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 chỉ ẩn danh từ hộ chiếu điện tử hiện có. Chẳng hạn, người dùng có thể chứng minh rằng họ sở hữu hộ chiếu của một quốc gia nhất định và đạt độ tuổi nhất định mà không cần tiết lộ thông tin cụ thể.

Những đổi mới này cho thấy tiềm năng to lớn của công nghệ zero-knowledge trong xác thực và bảo vệ quyền riêng tư, mang lại những ý tưởng mới cho việc quản lý danh tính số trong tương lai.