Zero Knowledge Summit 2024: Báo cáo trực tiếp

Vào ngày 10 tháng 4 năm 2024, Hội nghị Zero-Knowledge lần thứ 11 được tổ chức tại Athens. Hội nghị này quy tụ khoảng 500 người tham dự và có bốn bài phát biểu được tổ chức. Dưới đây là tóm tắt về những 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.

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

Hỗ trợ phần cứng cho chứng minh không biết (ZKP) luôn là tâm điểm chú ý trong ngành. Tại hội nghị lần này, nhiều chuyên gia đã thảo luận về tình hình và tương lai của phần cứng ZK:

• Một nhà nghiên cứu đã đưa ra cái nhìn tổng quan toàn diện về lĩnh vực phần cứng ZK, liên quan đến việc sử dụng phần cứng chung, sản xuất phần cứng tùy chỉnh và vận hành nhiều công ty trong mạng chứng thực phi tập trung. Ông dự đoán rằng việc kết hợp hệ thống xác thực SNARK 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 sự cải thiện hiệu suất tính toán lên đến 1000 lần, điều này sẽ có ảnh hưởng lớn đến sự phát triển trong tương lai của Ethereum. Ông cũng đề cập rằng một tổ chức có kế hoạch tổ chức một cuộc thi xác thực chính thức cho người chứng và người xác thực, với giải thưởng lên tới 20 triệu đô la.

• Một đồng sáng lập của một công ty phần cứng đã giới thiệu hệ thống xác minh SNARK mà họ đang phát triển, hệ thống này dựa trên tháp nhị phân và giao thức sumcheck. Ông chỉ ra rằng, trong một số ứng dụng, hiệu suất của hàm băm Groestl vượt trội hơn rõ ràng so với Keccak, phát hiện này có thể ảnh hưởng đến các lựa chọn thiết kế hệ thống trong tương lai.

Mạng chứng nhân phi tập trung

Nhiều chuyên gia đã thảo luận về hướng phát triển tương lai của mạng lưới chứng minh phi tập trung:

• Một trong những người sáng lập của một công ty đã giới thiệu về mạng chứng nhân sắp ra mắt của họ. Cô phân tích các cơ chế thiết kế mạng khác nhau và cho rằng các mô hình dựa trên cạnh tranh hoặc khai thác có thể không hiệu quả. Cô đề xuất rằng các mục tiêu thiết kế nên lần lượt là: chi phí tối thiểu, độ trễ tối đa và khả năng chống kiểm duyệt. Cô dự đoán rằng mô hình đấu giá có khả năng trở thành xu hướng chính, trong tương lai 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ĩ đã giới thiệu một bài báo mới về kinh tế học của mạng lưới người chứng minh. 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 và đã đề xuất một cơ chế thay thế mang tên Proo-phi, đưa ra các giao dịch khớp mới và cơ chế chứng minh.

• Người phụ trách 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 thực hiện các chứng minh viên lớn không cần tin cậy trong khi bảo vệ quyền riêng tư của khách hàng nhỏ. Ông đã khám phá cách chọn các hệ thống chứng minh kết hợp để tối ưu hóa chi phí tính toán tuyến tính trong MPC.

Đổi mới chứng nhận ZK

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 trên cơ sở hệ thống danh tính hiện có:

• Chứng minh quyền sở hữu địa chỉ email ZK dựa trên chữ ký DKIM, có thể áp dụng trong các tình huống như chuyển tiền ẩn danh và báo cáo.

• 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 mạng xã hội.

• Xây dựng chứng chỉ ẩn danh từ hộ chiếu điện tử hiện có, cho phép người dùng chứng minh thông tin cụ thể mà không cần tiết lộ chi tiết cá nhân.

Các giải pháp đổi mới 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 biết trong xác thực và bảo vệ quyền riêng tư.