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 được tổ chức bởi podcast Zero Knowledge với khoảng 500 người tham dự, và trong một ngày đã diễn ra bốn buổi thuyết trình đồng thời. Dưới đây là tóm tắt về các vấn đề 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.
Phát triển phần cứng ZK
Trong thời gian dài, hỗ trợ phần cứng cho việc tạo chứng nhận luôn là tâm điểm chú ý của ngành công nghiệp. Trên sân khấu chính của hội nghị này, hai bài phát biểu đã tóm tắt những tiến bộ mới nhất trong lĩnh vực này.
Một nhà nghiên cứu từ một quỹ đã đưa ra cái nhìn tổng quát về phần cứng ZK, bao gồm phân loại các công ty trong lĩnh vực này. Các công ty này bao gồm những công ty sử dụng phần cứng chung, những công ty sản xuất phần cứng tùy chỉnh và những công ty vận hành mạng lưới chứng minh phi tập trung. Ông dự đoán rằng "điểm cuối" của zkVM có thể đạt được mức tăng hiệu suất tính toán gấp 1000 lần, điều này sẽ có ảnh hưởng sâu sắc đến công nghệ blockchain trong tương lai. Ông cũng đề cập rằng một quỹ sẽ công bố một cuộc thi để xác thực chính thức cho những người chứng minh và những người xác thực, 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 đã thảo luận về khái niệm thiết kế đồng thời hệ thống chứng minh và phần cứng. Hệ thống của họ sử dụng trường tháp nhị phân và giao thức sumcheck. Một kết luận thú vị rút ra từ các thử nghiệm sớm là 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 có nghĩa là việc sử dụng Groestl trong một số ứng dụng có thể có lợi thế hơn.
Mạng chứng minh phi tập trung
Nhiều người trong ngành đã tưởng tượng ra một kịch bản tương lai: việc tạo ra chứng minh cho các tuyên bố lớn (như tính đúng đắn của một loạt giao dịch trong Rollup) sẽ được thực hiện bởi một thị trường chứng minh chuyên nghiệp, cạnh tranh và 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 mạng lưới người chứng minh sắp ra mắt của họ. Cô thảo luận về các thiết kế cơ chế tiềm năng khác nhau của mạng lưới người chứng minh phi tập trung và dự đoán rằng 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ô 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 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ư mô hình xây dựng khối hiện tại.
Một sinh viên tiến sĩ tại một trường đại học đã giới thiệu một bài báo mới về kinh tế học của mạng người chứng. Anh ấy đề cập rằng 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 và những người đấu thầu, và họ đã đề xuất một cơ chế thay thế tên là Proo-phi, giới thiệu các giao dịch khớp mới và cơ chế chứng minh.
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 khách hàng nhỏ và người chứng lớn. Ông đã khám phá cách chọn kế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 ưu hóa chi phí trong MPC.
Chứng chỉ ZK
Tại hội nghị, đã có ba buổi thảo luận về việc xây dựng chứng chỉ không biết từ các hệ thống danh tính hiện có, mỗi buổi đều dựa vào các hệ thống danh tính hiện có khác nhau.
Một đồng sáng lập của dự án đã thảo luận về chứng minh quyền sở hữu địa chỉ email ZK. Những chứng minh này dựa vào việc xác minh chữ ký DKIM của email gửi đến một địa chỉ cụ thể, DKIM đã được các nhà cung cấp email chính triển khai rộng rãi. Công nghệ này có thể được áp dụng trong nhiều tình huống, chẳng hạn như chuyển tiền ẩn danh đến địa chỉ email hoặc báo cáo ẩn danh.
Một nhóm nhà khoa học nghiên cứu tại một phòng thí nghiệm đã giới thiệu một dự án sử dụng OpenID connect để tương tác với danh tính web2 truyền thống. Dự án này có khả năng tương tác với các nhà cung cấp OpenID hiện có và chứng minh rằng người dùng kiểm soát địa chỉ nhất định, từ đó cho phép các ứng dụng tương tự như chuyển tiền vào tài khoản mạng xã hội.
Một nhóm thành viên 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ọ sở hữu hộ chiếu của một quốc gia nào đó và đã đạt đến độ tuổi nhất định mà không cần tiết lộ số hộ chiếu cụ thể hoặc độ tuổi chính xác.
Các 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 biết trong xác thực và bảo vệ quyền riêng tư, mở ra những khả năng mới cho quản lý danh tính kỹ thuật số trong tương lai.
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.
11 thích
Phần thưởng
11
5
Đăng lại
Chia sẻ
Bình luận
0/400
WalletDoomsDay
· 19giờ trước
zk hội nghị thơm quá, hàng đầu đã cuộn micro rồi.
Xem bản gốcTrả lời0
TokenDustCollector
· 19giờ trước
Ai cũng đi cướp lấy lưu lượng web3.
Xem bản gốcTrả lời0
ZKProofster
· 19giờ trước
thật lòng mà nói 1000x có vẻ là quá lạc quan... hiển thị cho tôi phép toán trước đã
Xem bản gốcTrả lời0
ZenMiner
· 19giờ trước
Không có vé cũng là một loại duyên phận nhỉ.
Xem bản gốcTrả lời0
SignatureCollector
· 19giờ trước
Có tiền đầu tư ZK thì không bằng ký tên ngay tại chỗ.
Hội nghị Zero Knowledge 2024: Tiến triển mới về phần cứng ZK, mạng chứng minh và danh tính.
Hội nghị Zero Knowledge 2024: Ghi chép tại chỗ
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 được tổ chức bởi podcast Zero Knowledge với khoảng 500 người tham dự, và trong một ngày đã diễn ra bốn buổi thuyết trình đồng thời. Dưới đây là tóm tắt về các vấn đề 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.
Phát triển phần cứng ZK
Trong thời gian dài, hỗ trợ phần cứng cho việc tạo chứng nhận luôn là tâm điểm chú ý của ngành công nghiệp. Trên sân khấu chính của hội nghị này, hai bài phát biểu đã tóm tắt những tiến bộ mới nhất trong lĩnh vực này.
Một nhà nghiên cứu từ một quỹ đã đưa ra cái nhìn tổng quát về phần cứng ZK, bao gồm phân loại các công ty trong lĩnh vực này. Các công ty này bao gồm những công ty sử dụng phần cứng chung, những công ty sản xuất phần cứng tùy chỉnh và những công ty vận hành mạng lưới chứng minh phi tập trung. Ông dự đoán rằng "điểm cuối" của zkVM có thể đạt được mức tăng hiệu suất tính toán gấp 1000 lần, điều này sẽ có ảnh hưởng sâu sắc đến công nghệ blockchain trong tương lai. Ông cũng đề cập rằng một quỹ sẽ công bố một cuộc thi để xác thực chính thức cho những người chứng minh và những người xác thực, 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 đã thảo luận về khái niệm thiết kế đồng thời hệ thống chứng minh và phần cứng. Hệ thống của họ sử dụng trường tháp nhị phân và giao thức sumcheck. Một kết luận thú vị rút ra từ các thử nghiệm sớm là 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 có nghĩa là việc sử dụng Groestl trong một số ứng dụng có thể có lợi thế hơn.
Mạng chứng minh phi tập trung
Nhiều người trong ngành đã tưởng tượng ra một kịch bản tương lai: việc tạo ra chứng minh cho các tuyên bố lớn (như tính đúng đắn của một loạt giao dịch trong Rollup) sẽ được thực hiện bởi một thị trường chứng minh chuyên nghiệp, cạnh tranh và 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 mạng lưới người chứng minh sắp ra mắt của họ. Cô thảo luận về các thiết kế cơ chế tiềm năng khác nhau của mạng lưới người chứng minh phi tập trung và dự đoán rằng 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ô 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 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ư mô hình xây dựng khối hiện tại.
Một sinh viên tiến sĩ tại một trường đại học đã giới thiệu một bài báo mới về kinh tế học của mạng người chứng. Anh ấy đề cập rằng 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 và những người đấu thầu, và họ đã đề xuất một cơ chế thay thế tên là Proo-phi, giới thiệu các giao dịch khớp mới và cơ chế chứng minh.
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 khách hàng nhỏ và người chứng lớn. Ông đã khám phá cách chọn kế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 ưu hóa chi phí trong MPC.
Chứng chỉ ZK
Tại hội nghị, đã có ba buổi thảo luận về việc xây dựng chứng chỉ không biết từ các hệ thống danh tính hiện có, mỗi buổi đều dựa vào các hệ thống danh tính hiện có khác nhau.
Một đồng sáng lập của dự án đã thảo luận về chứng minh quyền sở hữu địa chỉ email ZK. Những chứng minh này dựa vào việc xác minh chữ ký DKIM của email gửi đến một địa chỉ cụ thể, DKIM đã được các nhà cung cấp email chính triển khai rộng rãi. Công nghệ này có thể được áp dụng trong nhiều tình huống, chẳng hạn như chuyển tiền ẩn danh đến địa chỉ email hoặc báo cáo ẩn danh.
Một nhóm nhà khoa học nghiên cứu tại một phòng thí nghiệm đã giới thiệu một dự án sử dụng OpenID connect để tương tác với danh tính web2 truyền thống. Dự án này có khả năng tương tác với các nhà cung cấp OpenID hiện có và chứng minh rằng người dùng kiểm soát địa chỉ nhất định, từ đó cho phép các ứng dụng tương tự như chuyển tiền vào tài khoản mạng xã hội.
Một nhóm thành viên 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ọ sở hữu hộ chiếu của một quốc gia nào đó và đã đạt đến độ tuổi nhất định mà không cần tiết lộ số hộ chiếu cụ thể hoặc độ tuổi chính xác.
Các 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 biết trong xác thực và bảo vệ quyền riêng tư, mở ra những khả năng mới cho quản lý danh tính kỹ thuật số trong tương lai.