Zero Knowledge Summit 2024: Nhật ký cảm nhận về hội nghị kiến thức bằng không
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 đại biểu đã tập trung về một nơi, tham gia vào bốn phiên hội thảo song song kéo dài một ngày. Bài viết này tổng hợp những tiến bộ mới nhất tại hội nghị về 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 không kiến thức
Hỗ trợ phần cứng luôn là lĩnh vực được cộng đồng chứng minh không biết đến sự quan tâm hàng đầu. Hai bài phát biểu chủ đề mở đầu hội nghị đã 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 đã thực hiện một tổng quan toàn diện 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 chung, các công ty sản xuất phần cứng chuyên dụng, 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 việc tối ưu hóa phần cứng, các công nghệ như hệ thống xác thực SNARK có thể đạt được hiệu suất tăng 1000 lần, điều này sẽ có ảnh hưởng quan trọng đến sự phát triển trong tương lai của Ethereum. Ông cũng tiết lộ rằng một quỹ đang lên kế hoạch tổ chức một cuộc thi chính thức cho những người chứng minh và các nhà xác thực, với giải thưởng lên đến 20 triệu đô la.
Một trong những người sáng lập công ty đã giới thiệu hệ thống Binius của họ, đây là một giải pháp tối ưu hóa đồng thời hệ thống chứng minh và thiết kế phần cứng. Binius sử dụng tháp nhị phân và giao thức sumcheck. Các thử nghiệm ban đầu cho thấy, trong một số trường hợp ứng dụng, hiệu suất của hàm băm Groestl vượt trội hơn rõ rệt so với Keccak, phát hiện này có thể ảnh hưởng đến lựa chọn thiết kế của các hệ thống trong tương lai.
Mạng chứng minh phi tập trung
Nhiều chuyên gia trong ngành tưởng tượng rằng trong tương lai, việc tạo ra chứng minh cho các báo cáo quy mô lớn ( như chứng minh tính chính xác của một nhóm giao dịch trong Rollup ) sẽ được thực hiện bởi một thị trường chứng minh phi tập trung cạnh tranh khốc liệt.
Một trong những người đồng sáng lập công ty đã chia sẻ về mạng lưới người chứng thực mà họ sắp ra mắt. Cô phân tích các thiết kế cơ chế tiềm năng khác nhau của mạng lưới người chứng thực phi tập trung và cho rằng thiết kế dựa trên cạnh tranh hoặc khai thác có thể khó đạt được hiệu quả lý tưởng. Cô đề xuất 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 đấu giá có khả năng trở thành xu hướng chủ đạo, cuối cùng có thể giống như cơ chế xây dựng khối hiện tại.
Một nghiên cứu sinh tiến sĩ tại một trường đại học đã giới thiệu một bài báo mới được công bố về kinh tế học mạng của người chứng thực. 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 giữa người chứng thực và người đấu thầu, do đó đề xuất một cơ chế thay thế có tên là Proo-phi, giới thiệu giao dịch và cơ chế chứng thực mới. Tuy nhiên, cơ chế Proo-phi cần thiết lập các thông số công suất, điều này dường như là một vấn đề thiết kế mở quan trọ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 tận dụng MPC để bảo vệ quyền riêng tư giữa khách hàng nhỏ và những người chứng minh 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 thiểu hóa chi phí trong MPC.
Chứng chỉ không biết
Hội nghị cũng đã thảo luận về nhiều nỗ lực xây dựng chứng chỉ không tiết lộ dựa trên hệ thống danh tính hiện có:
Một trong những người đồng sáng lập của dự án giới thiệu về chứng minh quyền sở hữu địa chỉ email không biết. Những chứng minh này dựa vào việc xác thực chữ ký DKIM của các email gửi đến địa chỉ cụ thể. Công nghệ này có thể được áp dụng trong các tình huống như chuyển tiền ẩn danh đến địa chỉ email, báo cáo ẩn danh, v.v.
Một nhà nghiên cứu của một công ty đã chia sẻ về dự án Keyless của họ, dự án này sử dụng OpenID connect để tương tác với các hệ thống danh tính Web2 truyền thống. Điều này cho phép thực hiện các ứng dụng như chuyển tiền đến tài khoản Google hoặc Facebook.
Một thành viên dự án đã thảo luận về cách xây dựng chứng chỉ ẩn danh dựa trên hộ chiếu điện tử hiện có. Ví dụ, người dùng có thể chứng minh rằng họ đang sở hữu hộ chiếu của một quốc gia nào đó và đã đủ tuổi theo quy định mà không cần tiết lộ số hộ chiếu cụ thể hay độ tuổi chính xác.
Tổng thể, hội nghị lần này đã trình bày những tiến bộ mới nhất của công nghệ chứng minh không biết trong hỗ trợ phần cứng, thiết kế mạng và xác thực danh tính, vẽ nên một bức tranh đầy hứa hẹn cho sự phát triển trong lĩnh vực này.
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.
Hội nghị Zero Knowledge 2024: Tối ưu hóa phần cứng, tiến bộ mới trong mạng chứng minh và danh tính.
Zero Knowledge Summit 2024: Nhật ký cảm nhận về hội nghị kiến thức bằng không
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 đại biểu đã tập trung về một nơi, tham gia vào bốn phiên hội thảo song song kéo dài một ngày. Bài viết này tổng hợp những tiến bộ mới nhất tại hội nghị về 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 không kiến thức
Hỗ trợ phần cứng luôn là lĩnh vực được cộng đồng chứng minh không biết đến sự quan tâm hàng đầu. Hai bài phát biểu chủ đề mở đầu hội nghị đã 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 đã thực hiện một tổng quan toàn diện 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 chung, các công ty sản xuất phần cứng chuyên dụng, 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 việc tối ưu hóa phần cứng, các công nghệ như hệ thống xác thực SNARK có thể đạt được hiệu suất tăng 1000 lần, điều này sẽ có ảnh hưởng quan trọng đến sự phát triển trong tương lai của Ethereum. Ông cũng tiết lộ rằng một quỹ đang lên kế hoạch tổ chức một cuộc thi chính thức cho những người chứng minh và các nhà xác thực, với giải thưởng lên đến 20 triệu đô la.
Một trong những người sáng lập công ty đã giới thiệu hệ thống Binius của họ, đây là một giải pháp tối ưu hóa đồng thời hệ thống chứng minh và thiết kế phần cứng. Binius sử dụng tháp nhị phân và giao thức sumcheck. Các thử nghiệm ban đầu cho thấy, trong một số trường hợp ứng dụng, hiệu suất của hàm băm Groestl vượt trội hơn rõ rệt so với Keccak, phát hiện này có thể ảnh hưởng đến lựa chọn thiết kế của các hệ thống trong tương lai.
Mạng chứng minh phi tập trung
Nhiều chuyên gia trong ngành tưởng tượng rằng trong tương lai, việc tạo ra chứng minh cho các báo cáo quy mô lớn ( như chứng minh tính chính xác của một nhóm giao dịch trong Rollup ) sẽ được thực hiện bởi một thị trường chứng minh phi tập trung cạnh tranh khốc liệt.
Một trong những người đồng sáng lập công ty đã chia sẻ về mạng lưới người chứng thực mà họ sắp ra mắt. Cô phân tích các thiết kế cơ chế tiềm năng khác nhau của mạng lưới người chứng thực phi tập trung và cho rằng thiết kế dựa trên cạnh tranh hoặc khai thác có thể khó đạt được hiệu quả lý tưởng. Cô đề xuất 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 đấu giá có khả năng trở thành xu hướng chủ đạo, cuối cùng có thể giống như cơ chế xây dựng khối hiện tại.
Một nghiên cứu sinh tiến sĩ tại một trường đại học đã giới thiệu một bài báo mới được công bố về kinh tế học mạng của người chứng thực. 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 giữa người chứng thực và người đấu thầu, do đó đề xuất một cơ chế thay thế có tên là Proo-phi, giới thiệu giao dịch và cơ chế chứng thực mới. Tuy nhiên, cơ chế Proo-phi cần thiết lập các thông số công suất, điều này dường như là một vấn đề thiết kế mở quan trọ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 tận dụng MPC để bảo vệ quyền riêng tư giữa khách hàng nhỏ và những người chứng minh 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 thiểu hóa chi phí trong MPC.
Chứng chỉ không biết
Hội nghị cũng đã thảo luận về nhiều nỗ lực xây dựng chứng chỉ không tiết lộ dựa trên hệ thống danh tính hiện có:
Một trong những người đồng sáng lập của dự án giới thiệu về chứng minh quyền sở hữu địa chỉ email không biết. Những chứng minh này dựa vào việc xác thực chữ ký DKIM của các email gửi đến địa chỉ cụ thể. Công nghệ này có thể được áp dụng trong các tình huống như chuyển tiền ẩn danh đến địa chỉ email, báo cáo ẩn danh, v.v.
Một nhà nghiên cứu của một công ty đã chia sẻ về dự án Keyless của họ, dự án này sử dụng OpenID connect để tương tác với các hệ thống danh tính Web2 truyền thống. Điều này cho phép thực hiện các ứng dụng như chuyển tiền đến tài khoản Google hoặc Facebook.
Một thành viên dự án đã thảo luận về cách xây dựng chứng chỉ ẩn danh dựa trên hộ chiếu điện tử hiện có. Ví dụ, người dùng có thể chứng minh rằng họ đang sở hữu hộ chiếu của một quốc gia nào đó và đã đủ tuổi theo quy định mà không cần tiết lộ số hộ chiếu cụ thể hay độ tuổi chính xác.
Tổng thể, hội nghị lần này đã trình bày những tiến bộ mới nhất của công nghệ chứng minh không biết trong hỗ trợ phần cứng, thiết kế mạng và xác thực danh tính, vẽ nên một bức tranh đầy hứa hẹn cho sự phát triển trong lĩnh vực này.