Hội nghị ZKP 2024: Báo cáo trực tiếp

Vào ngày 10 tháng 4 năm 2024, Hội nghị lần thứ 11 về Kiến thức Zero diễn ra tại Athens. Hội nghị này do podcast Zero Knowledge tổ chức, với khoảng 500 người tham dự và đã diễn ra bốn bài phát biểu. Dưới đây là tóm tắt về 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 Kiến thức Zero, hiệu suất SNARK và thiết kế mạng chứng minh phi tập trung.

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

Hỗ trợ phần cứng luôn là một mục tiêu quan trọng trong lĩnh vực chứng minh không kiến thức. Tại hội nghị lần này, nhiều chuyên gia đã thảo luận sâu về chủ đề này.

Một nhà nghiên cứu của một quỹ đã đưa ra cái nhìn tổng quan toàn diện về phần cứng Zero-Knowledge và phân loại các công ty liên quan. Ông dự đoán rằng, với sự xuất hiện của hệ thống xác minh SNARK được tối ưu hóa phần cứng và các biện pháp tối ưu hóa khác, chi phí tính toán có thể giảm tới 1000 lần, điều này có thể ảnh hưởng lớn đến các phiên bản tương lai của Ethereum. Ông cũng đề cập đến việc sẽ công bố một cuộc thi xác thực chính thức dành cho các người chứng minh và người xác thực, với giải thưởng lên tới 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 xác minh SNARK tối ưu hóa phần cứng của họ, cũng như ý tưởng thiết kế đồng thời hệ thống chứng minh và phần cứng. Ông đã đề cập rằng, các thử nghiệm 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 quy mô lớn trong tương lai sẽ được hoàn thành bởi một thị trường chứng minh chuyên nghiệp phi tập trung, nơi có sự 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 đã thảo luận về các thiết kế cơ chế tiềm năng khác nhau của mạng chứng 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à: 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 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 nhất, cuối cùng có thể tương tự như việc xây dựng khối ngày nay.

Một nghiên cứu sinh tiến sĩ tại Đại học Yale đã giới thiệu một bài báo mới về kinh tế mạng chứng minh. Bài báo đề xuất một cơ chế mới có tên là Proo-phi, nhằm giải quyết vấn đề 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.

Một trong những người đồng sáng lập và 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.

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

Cuộc họp cũng đã thảo luận về nhiều phương án 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 đồng sáng lập của công ty đã giới thiệu về bằng chứng không kiến thức dựa trên quyền sở hữu địa chỉ email. Phương pháp này có thể được sử dụng cho nhiều ứng dụng, chẳng hạn như chuyển tiền đến địa chỉ email hoặc báo cáo ẩn danh.

Các nhà khoa học nghiên cứu tại một phòng thí nghiệm đã thảo luận về giải pháp tương tác giữa OpenID connect và 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 trở nên khả thi.

Đại diện của một công ty đã 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 như chứng minh việc sở hữu hộ chiếu của một quốc gia cụ thể và đạt độ tuổi nhất định mà không cần tiết lộ thông tin cá nhân cụ thể.

Những cuộc thảo luận này cho thấy triển vọng ứng dụng rộng rãi của công nghệ chứng minh không kiến thức trong việc xác thực và bảo vệ quyền riêng tư, cung cấp hướng đi mới cho quản lý danh tính số trong tương lai.