Vào ngày 10 tháng 4 năm 2024, Hội nghị lần thứ 11 về Kiến thức Zero được tổ chức tại Athens. Hội nghị này do podcast Kiến thức Zero tổ chức, thu hút khoảng 500 người tham dự, với bốn bài phát biểu diễn ra đồng thời trong một ngày. Dưới đây là tóm tắt các nội dung chính của hội nghị, bao gồm những tiến bộ mới nhất trong 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át triển phần cứng không biết
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. Hai báo cáo trên sân khấu chính đã 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 đã đưa ra cái nhìn tổng quan toàn diện về phần cứng chứng minh không kiến thức, bao gồm các công ty sử dụng phần cứng thông dụng và sản xuất phần cứng tùy chỉnh, cũng như các dự án vận hành mạng chứng minh phi tập trung. Ông dự đoán rằng, với các công nghệ như hệ thống xác minh SNARK được tối ưu hóa phần cứng, kết hợp với phần cứng chuyên dụng, có thể đạt được hiệu suất tính toán tăng gấp 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 sẽ có một cuộc thi công bố việc xác minh chính thức cho các người chứng minh và người xác minh, với giải thưởng lên tới 20 triệu đô la.
Một trong những nhà đồng sáng lập công ty đã giới thiệu ý tưởng về việc 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 nhị phân và giao thức sumcheck. 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 việc thiết kế hệ thống trong tương lai.
Mạng chứng thực phi tập trung
Các chuyên gia trong ngành đều cho rằng, trong tương lai, việc chứng minh quy mô lớn (như xác minh tính chính xác 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, phi tập trung và cạnh tranh khốc liệt.
Một trong những người 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 cho mạng người 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à đảm bảo khả năng kháng kiểm duyệt. Cô dự đoán rằng mô hình đấu giá có khả năng trở thành phổ biến nhất, cuối cùng có thể tương tự như quy trình xây dựng khối ngày nay.
Một sinh viên tiến sĩ của một trường đại học đã giới thiệu 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, đưa ra các giao dịch khớp và cơ chế chứng minh sáng tạo để giải quyết vấn đề thông đồng có thể xảy ra trong các cuộc đấu giá song phương.
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à các chứng minh viên lớn. Ông nhấn mạnh rằng khi lựa chọn các hệ thống chứng minh kết hợp, cần xem xét các phép toán tuyến tính tương đối rẻ trong MPC để giảm thiểu chi phí.
Bằng chứng không kiến thức
Hội nghị 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 tại:
Chứng minh không kiến thức dựa trên email: Bằng cách chứng minh kiến thức về chữ ký DKIM của email đến một địa chỉ cụ thể, thực hiện chứng minh quyền sở hữu địa chỉ email mà không cần tiết lộ thông tin. Phương pháp 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.
Sử dụng OpenID connect để tương tác với danh tính web2 truyền thống: Thông qua việc tương tác với các nhà cung cấp OpenID hiện có, chứng minh người dùng kiểm soát địa chỉ cụ thể, cho phép các ứng dụng như chuyển tiền đến tài khoản mạng xã hội trở thành khả thi.
Chứng chỉ ẩn danh dựa trên hộ chiếu điện tử: Người dùng có thể chứng minh mình sở hữu hộ chiếu của một quốc gia cụ thể và đáp ứng yêu cầu về độ tuổi mà không cần tiết lộ số hộ chiếu cụ thể hoặc độ tuổi chính xác.
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ệ zero-knowledge trong xác thực và bảo vệ quyền riêng tư.
Xem bản gốc
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.
20 thích
Phần thưởng
20
8
Đăng lại
Chia sẻ
Bình luận
0/400
TopBuyerBottomSeller
· 07-31 20:02
Athens, tôi đã làm việc quá sức rồi.
Xem bản gốcTrả lời0
DaoResearcher
· 07-31 16:38
1000 lần nâng cao cũng khó đáp ứng điều kiện phương trình ZK, từ dữ liệu cho thấy đây là một bẫy gió VC khác.
Xem bản gốcTrả lời0
AirdropChaser
· 07-31 09:22
Phần cứng sẽ bơm lớn nha, hãy tích trữ lại!
Xem bản gốcTrả lời0
ZkProofPudding
· 07-30 20:44
Chơi máy khai thác phần cứng một năm rồi, đợt này không thể không làm cho ra.
Xem bản gốcTrả lời0
AirdropHarvester
· 07-30 20:43
Trống
Xem bản gốcTrả lời0
SchroedingerGas
· 07-30 20:42
Ai nói zk nhất định đắt? Hãy tiến vào tăng cường 1000 lần!
Xem bản gốcTrả lời0
BoredApeResistance
· 07-30 20:35
phần cứng tuyệt vời
Xem bản gốcTrả lời0
TestnetFreeloader
· 07-30 20:17
STARK thật tuyệt vời Nâng cấp phần cứng 1000 lần yyds
2024 Hội nghị Zero Knowledge: Đổi mới phần cứng và Phi tập trung chứng minh mạng dẫn dắt xu hướng mới trong ngành
Hội nghị Zero Knowledge 2024: Tin tức 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 được tổ chức tại Athens. Hội nghị này do podcast Kiến thức Zero tổ chức, thu hút khoảng 500 người tham dự, với bốn bài phát biểu diễn ra đồng thời trong một ngày. Dưới đây là tóm tắt các nội dung chính của hội nghị, bao gồm những tiến bộ mới nhất trong 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át triển phần cứng không biết
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. Hai báo cáo trên sân khấu chính đã 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 đã đưa ra cái nhìn tổng quan toàn diện về phần cứng chứng minh không kiến thức, bao gồm các công ty sử dụng phần cứng thông dụng và sản xuất phần cứng tùy chỉnh, cũng như các dự án vận hành mạng chứng minh phi tập trung. Ông dự đoán rằng, với các công nghệ như hệ thống xác minh SNARK được tối ưu hóa phần cứng, kết hợp với phần cứng chuyên dụng, có thể đạt được hiệu suất tính toán tăng gấp 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 sẽ có một cuộc thi công bố việc xác minh chính thức cho các người chứng minh và người xác minh, với giải thưởng lên tới 20 triệu đô la.
Một trong những nhà đồng sáng lập công ty đã giới thiệu ý tưởng về việc 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 nhị phân và giao thức sumcheck. 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 việc thiết kế hệ thống trong tương lai.
Mạng chứng thực phi tập trung
Các chuyên gia trong ngành đều cho rằng, trong tương lai, việc chứng minh quy mô lớn (như xác minh tính chính xác 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, phi tập trung và cạnh tranh khốc liệt.
Một trong những người 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 cho mạng người 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à đảm bảo khả năng kháng kiểm duyệt. Cô dự đoán rằng mô hình đấu giá có khả năng trở thành phổ biến nhất, cuối cùng có thể tương tự như quy trình xây dựng khối ngày nay.
Một sinh viên tiến sĩ của một trường đại học đã giới thiệu 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, đưa ra các giao dịch khớp và cơ chế chứng minh sáng tạo để giải quyết vấn đề thông đồng có thể xảy ra trong các cuộc đấu giá song phương.
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à các chứng minh viên lớn. Ông nhấn mạnh rằng khi lựa chọn các hệ thống chứng minh kết hợp, cần xem xét các phép toán tuyến tính tương đối rẻ trong MPC để giảm thiểu chi phí.
Bằng chứng không kiến thức
Hội nghị 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 tại:
Chứng minh không kiến thức dựa trên email: Bằng cách chứng minh kiến thức về chữ ký DKIM của email đến một địa chỉ cụ thể, thực hiện chứng minh quyền sở hữu địa chỉ email mà không cần tiết lộ thông tin. Phương pháp 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.
Sử dụng OpenID connect để tương tác với danh tính web2 truyền thống: Thông qua việc tương tác với các nhà cung cấp OpenID hiện có, chứng minh người dùng kiểm soát địa chỉ cụ thể, cho phép các ứng dụng như chuyển tiền đến tài khoản mạng xã hội trở thành khả thi.
Chứng chỉ ẩn danh dựa trên hộ chiếu điện tử: Người dùng có thể chứng minh mình sở hữu hộ chiếu của một quốc gia cụ thể và đáp ứng yêu cầu về độ tuổi mà không cần tiết lộ số hộ chiếu cụ thể hoặc độ tuổi chính xác.
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ệ zero-knowledge trong xác thực và bảo vệ quyền riêng tư.