Ngày 10 tháng 4 năm 2024, Hội nghị Zero Knowledge lần thứ 11 đã diễn ra tại Athens. Khoảng 500 người tham gia đã tham gia sự kiện kéo dài một ngày, trong đó có bốn bài phát biểu. Dưới đây là tóm tắt các nội dung quan trọng của hội nghị, bao gồm các chủ đề như phần cứng zero knowledge mới nhất, hiệu suất SNARK và thiết kế mạng chứng nhận phi tập trung.
Phát triển phần cứng ZK
Hỗ trợ phần cứng cho chứng minh không kiến thức luôn là tâm điểm chú ý của ngành. Tại hội nghị lần này có hai bài phát biểu chính thảo luận về 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 toàn diện về phần cứng ZK, 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, với sự phát triển của phần cứng chuyên dụng và công nghệ tối ưu hóa, chi phí tính toán của zkVM có khả năng giảm xuống 1000 lần. Điều này có thể có ảnh hưởng lớn đến sự phát triển của Ethereum trong tương lai. Ông cũng đề cập rằng sẽ có một cuộc thi chính thức cho các người chứng minh và người xác thực, với giải thưởng lên đến 20 triệu đô la.
Một diễn giả khác đã giới thiệu hệ thống Binius, đây là một phương pháp thiết kế hệ thống chứng minh và phần cứng đồng thời. Binius sử dụng tháp nhị phân và giao thức sumcheck. Thú vị là, các thử nghiệm ban đầu cho thấy hàm băm Groestl có hiệu suất tốt hơn Keccak trong một số ứng dụng.
Mạng chứng minh phi tập trung
Ngành công nghiệp thường cho rằng, trong tương lai, việc tạo ra bằng chứng cho các tuyên bố lớn ( 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 ) cho tính chính xác của một loạt giao dịch trong Rollup.
Một diễn giả đã giới thiệu về mạng chứng nhận mà họ sẽ ra mắt. Cô phân tích các thiết kế cơ chế mạng khác nhau và cho rằng các thiết kế dựa trên cạnh tranh hoặc khai thác có thể không mang lại kết quả lý tưởng. Cô đề xuất rằng các 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 rằng mô hình đấu giá có khả năng chiến thắng cao nhất, và cuối cùng có thể tương tự như việc xây dựng khối ngày nay.
Một diễn giả khác đã thảo luận về một bài báo mới 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, giới thiệu các giao dịch và cơ chế chứng minh mới để giải quyết vấn đề thông đồng có thể xảy ra trong đấu giá hai bên.
Còn có một buổi thuyết trình 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 tương tác không tin cậy giữa khách hàng nhỏ và các người chứng minh lớn trong khi bảo vệ quyền riêng tư.
Đổi mới chứng chỉ ZK
Ba cuộc diễn thuyết đã thảo luận về 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 dự án cam kết thực hiện chứng minh quyền sở hữu địa chỉ email ZK, điều này có thể được áp dụng trong các tình huống như chuyển tiền qua email ẩn danh và báo cáo.
Một dự án khác tập trung vào việc sử dụng OpenID connect để tương tác với 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.
Dự án thứ ba khám phá cách xây dựng chứng nhận ẩ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 nhất định, nhưng không cần tiết lộ số hộ chiếu cụ thể hoặc độ tuổi chính xác.
Những đổi mới này đã mở ra những khả năng mới cho việc ứng dụng công nghệ không biết trong xác thực và bảo vệ quyền riêng tư.
Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.
15 thích
Phần thưởng
15
9
Chia sẻ
Bình luận
0/400
GasFeeLady
· 07-17 13:27
khi nào phần cứng bơm zkvm gas? đang theo dõi như một con diều hâu rn
Xem bản gốcTrả lời0
PerpetualLonger
· 07-17 12:45
Chỉ với tốc độ xây dựng phần cứng zk này, rất nhanh sẽ thu hồi vốn. Vị thế Long đang chờ đợi phá vỡ!
Xem bản gốcTrả lời0
AlwaysAnon
· 07-16 07:11
zkvm đợt này sẽ bùng nổ
Xem bản gốcTrả lời0
SleepTrader
· 07-15 19:10
Không phải là những chuyện zk lộn xộn mà ngày nào cũng nói hay sao?
Xem bản gốcTrả lời0
DecentralizedElder
· 07-15 19:09
Hội nghị thật thú vị, zk làm nhiều thứ rườm rà như vậy.
Hội nghị Zero Knowledge 2024: Tiến bộ phần cứng ZK và thiết kế mạng người chứng minh là điểm nổi bật
Báo cáo tại chỗ Hội nghị Zero Knowledge 2024
Ngày 10 tháng 4 năm 2024, Hội nghị Zero Knowledge lần thứ 11 đã diễn ra tại Athens. Khoảng 500 người tham gia đã tham gia sự kiện kéo dài một ngày, trong đó có bốn bài phát biểu. Dưới đây là tóm tắt các nội dung quan trọng của hội nghị, bao gồm các chủ đề như phần cứng zero knowledge mới nhất, hiệu suất SNARK và thiết kế mạng chứng nhận phi tập trung.
Phát triển phần cứng ZK
Hỗ trợ phần cứng cho chứng minh không kiến thức luôn là tâm điểm chú ý của ngành. Tại hội nghị lần này có hai bài phát biểu chính thảo luận về 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 toàn diện về phần cứng ZK, 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, với sự phát triển của phần cứng chuyên dụng và công nghệ tối ưu hóa, chi phí tính toán của zkVM có khả năng giảm xuống 1000 lần. Điều này có thể có ảnh hưởng lớn đến sự phát triển của Ethereum trong tương lai. Ông cũng đề cập rằng sẽ có một cuộc thi chính thức cho các người chứng minh và người xác thực, với giải thưởng lên đến 20 triệu đô la.
Một diễn giả khác đã giới thiệu hệ thống Binius, đây là một phương pháp thiết kế hệ thống chứng minh và phần cứng đồng thời. Binius sử dụng tháp nhị phân và giao thức sumcheck. Thú vị là, các thử nghiệm ban đầu cho thấy hàm băm Groestl có hiệu suất tốt hơn Keccak trong một số ứng dụng.
Mạng chứng minh phi tập trung
Ngành công nghiệp thường cho rằng, trong tương lai, việc tạo ra bằng chứng cho các tuyên bố lớn ( 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 ) cho tính chính xác của một loạt giao dịch trong Rollup.
Một diễn giả đã giới thiệu về mạng chứng nhận mà họ sẽ ra mắt. Cô phân tích các thiết kế cơ chế mạng khác nhau và cho rằng các thiết kế dựa trên cạnh tranh hoặc khai thác có thể không mang lại kết quả lý tưởng. Cô đề xuất rằng các 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 rằng mô hình đấu giá có khả năng chiến thắng cao nhất, và cuối cùng có thể tương tự như việc xây dựng khối ngày nay.
Một diễn giả khác đã thảo luận về một bài báo mới 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, giới thiệu các giao dịch và cơ chế chứng minh mới để giải quyết vấn đề thông đồng có thể xảy ra trong đấu giá hai bên.
Còn có một buổi thuyết trình 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 tương tác không tin cậy giữa khách hàng nhỏ và các người chứng minh lớn trong khi bảo vệ quyền riêng tư.
Đổi mới chứng chỉ ZK
Ba cuộc diễn thuyết đã thảo luận về 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 dự án cam kết thực hiện chứng minh quyền sở hữu địa chỉ email ZK, điều này có thể được áp dụng trong các tình huống như chuyển tiền qua email ẩn danh và báo cáo.
Một dự án khác tập trung vào việc sử dụng OpenID connect để tương tác với 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.
Dự án thứ ba khám phá cách xây dựng chứng nhận ẩ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 nhất định, nhưng không cần tiết lộ số hộ chiếu cụ thể hoặc độ tuổi chính xác.
Những đổi mới này đã mở ra những khả năng mới cho việc ứng dụng công nghệ không biết trong xác thực và bảo vệ quyền riêng tư.