Zero Knowledge Summit 2024: Báo cáo trực tiếp từ Hội nghị Zero Knowledge

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 do podcast Zero Knowledge tổ chức, với khoảng 500 người tham dự và bốn bài phát biểu diễn ra cùng một ngày. Dưới đây là tóm tắt ngắn gọn về các nội dung quan trọng của hội nghị, bao gồm những tiến bộ mới nhất trong 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 kiến thức không

Hỗ trợ phần cứng luôn là mục tiêu quan trọng của cộng đồng chứng minh không có kiến thức. Tại hội nghị lần này, nhiều chuyên gia đã chia sẻ 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 về phần cứng không kiến thức, phân loại các công ty liên quan thành ba loại: 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, 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, sự kết hợp giữa hệ thống xác minh SNARK tối ưu hóa phần cứng và các tối ưu hóa khác sắp tới 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ó tác động lớn đến kiến trúc blockchain trong tương lai.

Một trong những người đồng sáng lập công ty đã giới thiệu hệ thống SNARK mới mà họ đang phát triển, hệ thống này tối ưu hóa cả hệ thống chứng minh và thiết kế phần cứng. 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 vượt trội rõ rệt so với Keccak, điều này mở ra những ý tưởng mới cho 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 ngườ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 đã phân tích các thiết kế cơ chế tiềm năng khác nhau của mạng người chứng minh. Cô cho rằng, các thiết kế dựa trên cuộc thi hoặc đào coin có thể không mang lại kết quả lý tưởng, trong khi mô hình đấu giá có khả năng chiến thắng cao nhất, và tương lai có thể sẽ giống như quá trình xây dựng khối ngày nay. Cô cũng tiết lộ rằng họ đang xây dựng một mạng đấu giá chung để hỗ trợ nhiều chứng minh zkVM.

Một nghiên cứu sinh tiến sĩ đã giới thiệu về kết quả nghiên cứu mới nhất của họ về kinh tế học mạng người chứng minh. Họ đã đề xuất một cơ chế mới có tên là Proo-phi, nhằm giải quyết vấn đề thông đồng có thể xảy ra trong đấu giá hai bên. Tuy nhiên, cơ chế này vẫn cần giải quyết các vấn đề thiết kế quan trọng như cài đặt tham số công suất.

Một giám đốc công nghệ của một công ty khác đã thảo luận về thị trường chứng minh hỗ trợ tính toán đa bên (MPC), đặc biệt chú trọng đến cách thực hiện tương tác không tin cậy giữa khách hàng nhỏ và người chứng minh lớn trong khi bảo vệ quyền riêng tư. Ông nhấn mạnh tầm quan trọng của việc chọn lựa tổ hợp hệ thống chứng minh phù hợp để tối ưu hóa chi phí MPC.

Ứng dụng chứng chỉ không kiến thức

Hội nghị cũng đã thảo luận về ứng dụng của chứng minh không biết (zero knowledge proof) trong các hệ thống danh tính hiện tại:

Một trong những người đồng sáng lập của một công ty khởi nghiệp đã giới thiệu một chứng minh quyền sở hữu không biết dựa trên email. Công nghệ này sử dụng chữ ký DKIM, có thể áp dụng cho các tình huống như chuyển tiền ẩn danh và báo cáo.

Một nhà nghiên cứu của nền tảng blockchain đã chia sẻ giải pháp của họ sử dụng OpenID Connect để tương tác với danh tính Web2 truyền thống, điều này cho phép chuyển tiền ẩn danh đến tài khoản Google hoặc Facebook.

Đại diện của một dự án khác đã 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à đủ tuổi mà không cần tiết lộ thông tin cá nhân cụ thể.

Tổng thể, hội nghị lần này đã trình bày những tiến triển quan trọng của công nghệ chứng minh không kiến thức trong tối ưu hóa phần cứng, thiết kế mạng và ứng dụng thực tế, chỉ ra hướng đi cho sự phát triển trong lĩnh vực này trong tương lai.