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 đã diễn ra tại Athens. Hội nghị này do podcast Zero-Knowledge tổ chức, thu hút khoảng 500 người tham dự, đồng thời có bốn bài phát biểu song song. 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à mạng chứng minh phi tập trung.

Phần cứng không biết

Hỗ trợ phần cứng luôn là một mục tiêu quan trọng trong việc tạo ra bằng chứng 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 phát triển 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 về phần cứng không tri thức, phân loại các công ty liên quan thành ba loại: sử dụng phần cứng chung, 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ự 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 đến 1000 lần, điều này sẽ có tác động lớn đến phiên bản cuối cùng của Ethereum. Ông cũng đề cập rằng sẽ khởi động một cuộc thi để xác thực chính 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 trong những người đồng sáng lập của một công ty đã giới thiệu ý tưởng thiết kế hệ thống chứng minh và phần cứng đồng thời. Các thử nghiệm ban đầu của họ 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, điều này mở ra những suy nghĩ mới cho việc thiết kế hệ thống trong tương lai.

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

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

Một sinh viên tiến sĩ từ 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 chứng minh. Anh ấy chỉ ra rằng đấ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, do đó họ đã đưa ra một cơ chế mới, giới thiệu giao dịch và cơ chế chứng minh mới. Cơ chế này yêu cầu thiết lập các tham số công suất, điều này dường như là một vấn đề thiết kế mở quan trọng.

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 chứng nhân lớn. Ông đã khám phá cách 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í trong MPC.

Bằng chứng không kiến thức

Ba buổi hội thảo khác nhau đã thảo luận về những nỗ lực xây dựng chứng chỉ không biết dựa trên hệ thống danh tính hiện có:

Một đồng sáng lập của một dự án đã giới thiệu chứng minh quyền sở hữu địa chỉ email không cần biết. Những chứng minh này phụ thuộc vào việc xác minh chữ ký DKIM của email gửi đến một địa chỉ cụ thể, DKIM đã được triển khai rộng rãi bởi các nhà cung cấp email chính. 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 trong phòng thí nghiệm đã thảo luận về công nghệ tương tác giữa OpenID Connect và danh tính web2 truyền thống. Điều này cho phép các ứng dụng tương tự như việc chuyển tiền vào tài khoản Google hoặc Facebook.

Một thành viên của 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ó. Ví dụ, người dùng có thể chứng minh rằng họ có hộ chiếu của một quốc gia cụ thể và đã đủ tuổi quy định mà không cần tiết lộ số hộ chiếu cụ thể hoặc độ tuổi chính xác.

Những phát triển này cho thấy, công nghệ chứng minh không có kiến thức đang tiến triển nhanh chóng trong các lĩnh vực khác nhau, mang lại những khả năng mới cho việc bảo vệ quyền riêng tư và xác thực danh tính.