Hội nghị Zero-Knowledge 2024: Tin tức trực tiếp

Vào ngày 10 tháng 4 năm 2024, Hội nghị Zero Knowledge lần thứ 11 sẽ được tổ chức tại Athens. Hội nghị này quy tụ khoảng 500 người tham dự, với bốn bài phát biểu song song diễn ra trong một ngày. Dưới đây là tóm tắt các nội dung chính 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 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 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 đã phác thảo tình hình phát triển hiện tại:

Một nhà nghiên cứu đã đưa ra cái nhìn tổng quan về phần cứng không có kiến thức, bao gồm 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 chứng minh phi tập trung. Ông dự đoán rằng, với sự kết hợp của hệ thống xác minh SNARK được tối ưu hóa phần cứng và các tối ưu hóa khác sắp ra mắt, có thể đạt được mức tăng hiệu suất tính toán lên tới 1000 lần, điều này sẽ có ảnh hưởng đáng kể đến sự phát triển của Ethereum trong tương lai. Ông cũng đề cập rằng một quỹ sẽ công bố một cuộc thi chính thức để xác thực các người chứng và người xác minh, với giải thưởng lên tới 20 triệu đô la.

Một đồng sáng lập của công ty đã giới thiệu ý tưởng thiết kế hệ thống chứng minh và phần cứng cùng nhau. Hệ thống của họ sử dụng cánh đồng 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 rõ ràng vượt trội hơn so với Keccak.

Mạng người chứng minh phi tập trung

Các chuyên gia trong ngành thường tưởng tượng rằng, trong tương lai, việc tạo ra chứng minh cho các tuyên bố quy mô lớn (như tính đúng đắn của một loạt 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 sáng lập 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 người xác thực phi tập trung. Cô ấy cho rằng mục tiêu thiết kế nên lần lượt là: giảm thiểu chi phí, tối đa hóa độ trễ và đảm bảo 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 chiến thắng nhất, và cuối cùng có thể tương tự như quy trình xây dựng khối hiện tại.

Một nghiên cứu sinh tiến sĩ tại 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 giữa người chứng và người đấu thầu, vì vậy đã đề xuất một cơ chế thay thế tên là 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 để duy trì quyền riêng tư giữa khách hàng nhỏ và người chứng lớn. Ông đã khám phá cách lựa chọn sự 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.

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 biết từ hệ thống danh tính hiện có:

1. Chứng minh quyền sở hữu địa chỉ không tiết lộ dựa trên email, dựa vào xác minh chữ ký DKIM.

2. Sử dụng OpenID connect để tương tác với danh tính web2 truyền thống, thực hiện các ứng dụng như chuyển tiền đến tài khoản Google hoặc Facebook.

3. Xây dựng chứng chỉ ẩ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á nhân cụ thể.

Những đổi mới này cung cấp những khả năng mới cho việc xác thực và bảo vệ quyền riêng tư, dự kiến sẽ được áp dụng rộng rãi trong nhiều lĩnh vực.