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 quy tụ khoảng 500 người tham dự, đồng thời có bốn bài phát biểu. Dưới đây là tổng quan về những nội dung quan trọng của hội nghị này, bao gồm các 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 zero-knowledge
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 kiến thức. Tại hội nghị lần này, nhiều chuyên gia đã 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ề lĩnh vực 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: sử dụng phần cứng chung, 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 các công nghệ như hệ thống xác minh SNARK tối ưu hóa phần cứng có thể đạt được hiệu suất tăng gấp 1000 lần và có thể ảnh hưởng đến sự phát triển tương lai của Ethereum. Ngoài ra, ông cũng đề cập rằng sẽ tổ chức một cuộc thi xác minh chính thức với giải thưởng lên tới 20 triệu đô la.
Một đồng sáng lập của một công ty phần cứng đã giới thiệu hệ thống xác minh mà họ đang phát triển, hệ thống này đồng thời tối ưu hóa 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 hơn so với Keccak.
Mạng chứng minh phi tập trung
Nhiều chuyên gia đã thảo luận về khả năng trong tương lai việc tạo ra chứng minh quy mô lớn có thể được hoàn thành bởi một thị trường chứng minh chuyên nghiệp phi tập trung:
Người đồng sáng lập của một công ty đã giới thiệu mạng chứng nhân sắp ra mắt của họ. Cô phân tích các cơ chế thiết kế 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ể sẽ không hiệu quả. Cô đề xuất rằng mục tiêu thiết kế nên lần lượt là: chi phí tối thiểu, độ trễ tối đa 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 thành công cao nhất và tiết lộ rằng họ đang xây dựng một mạng đấu giá chung hỗ trợ nhiều zkVM.
Một nghiên cứu sinh tiến sĩ đã giới thiệu một bài báo mới về kinh tế học mạng chứng minh. Họ đã đề xuất một cơ chế mới có tên là Proo-phi để giải quyết vấn đề thông đồng có thể xảy ra trong đấu giá hai bên.
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, đặc biệt là cách đạt được sự 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ư.
Chứng chỉ không biết
Cuộc họp cũng đã thảo luận về nhiều phương án xây dựng chứng chỉ không biết theo hệ thống danh tính hiện có:
Chứng minh quyền sở hữu địa chỉ dựa trên chữ ký DKIM qua email, có thể được sử dụng cho các ứng dụng như chuyển tiền ẩ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ực hiện các chức năng như chuyển tiền đến tài khoản mạng xã hội.
Xây dựng chứng chỉ ẩn danh từ hộ chiếu điện tử hiện có, cho phép người dùng chứng minh thông tin danh tính cụ thể mà không cần tiết lộ chi tiết cụ thể.
Hội nghị này đã trình bày nhiều tiến bộ tiên tiến trong lĩnh vực bằng chứng không kiến thức, tạo nền tảng cho việc ứng dụng rộng rãi công nghệ này. Với sự tối ưu hóa không ngừng của hỗ trợ phần cứng và sự hoàn thiện dần dần của mạng phi tập trung, chúng ta có lý do để mong đợi rằng bằng chứng không kiến thức sẽ đóng vai trò quan trọng hơn 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.
14 thích
Phần thưởng
14
7
Đăng lại
Chia sẻ
Bình luận
0/400
GovernancePretender
· 08-07 07:44
Cả ngày nói về tối ưu hóa phần cứng, thực sự có thể sử dụng gì?
Xem bản gốcTrả lời0
BlockchainFries
· 08-07 00:15
Xem thử nâng cao hiệu suất 1000 lần, nói khoác hay là thật sự.
Xem bản gốcTrả lời0
MissingSats
· 08-04 13:38
Người đàn ông cơ bắp thiếu tiền đi lại
Xem bản gốcTrả lời0
MidnightGenesis
· 08-04 08:14
Từ việc giám sát logs phần cứng, có ai đã đóng gói thử nghiệm hiệu suất snark và nhận thấy có rò rỉ không?
Xem bản gốcTrả lời0
DefiEngineerJack
· 08-04 08:07
*thở dài* lại một zk conf nữa với lợi ích phần cứng tầm thường... đánh thức tôi khi chúng ta đạt được tối ưu hóa 10000x ser
Xem bản gốcTrả lời0
ZKProofster
· 08-04 08:06
thực sự khá ấn tượng với cuộc nói chuyện về phần cứng... tăng tốc 1000x có thể thay đổi cuộc chơi không nói dối
Xem bản gốcTrả lời0
MemecoinTrader
· 08-04 07:58
tăng giá af trên phần cứng zk... 1000x lợi nhuận đang đến cho những người đi đầu. đã đến lúc tích lũy những trò chơi zk thật lòng
Hội nghị Zero Knowledge 2024 tập trung vào tối ưu phần cứng và Phi tập trung chứng minh mạng.
Zero Knowledge Summit 2024: Báo cáo thực địa
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 quy tụ khoảng 500 người tham dự, đồng thời có bốn bài phát biểu. Dưới đây là tổng quan về những nội dung quan trọng của hội nghị này, bao gồm các 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 zero-knowledge
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 kiến thức. Tại hội nghị lần này, nhiều chuyên gia đã 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ề lĩnh vực 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: sử dụng phần cứng chung, 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 các công nghệ như hệ thống xác minh SNARK tối ưu hóa phần cứng có thể đạt được hiệu suất tăng gấp 1000 lần và có thể ảnh hưởng đến sự phát triển tương lai của Ethereum. Ngoài ra, ông cũng đề cập rằng sẽ tổ chức một cuộc thi xác minh chính thức với giải thưởng lên tới 20 triệu đô la.
Một đồng sáng lập của một công ty phần cứng đã giới thiệu hệ thống xác minh mà họ đang phát triển, hệ thống này đồng thời tối ưu hóa 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 hơn so với Keccak.
Mạng chứng minh phi tập trung
Nhiều chuyên gia đã thảo luận về khả năng trong tương lai việc tạo ra chứng minh quy mô lớn có thể được hoàn thành bởi một thị trường chứng minh chuyên nghiệp phi tập trung:
Người đồng sáng lập của một công ty đã giới thiệu mạng chứng nhân sắp ra mắt của họ. Cô phân tích các cơ chế thiết kế 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ể sẽ không hiệu quả. Cô đề xuất rằng mục tiêu thiết kế nên lần lượt là: chi phí tối thiểu, độ trễ tối đa 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 thành công cao nhất và tiết lộ rằng họ đang xây dựng một mạng đấu giá chung hỗ trợ nhiều zkVM.
Một nghiên cứu sinh tiến sĩ đã giới thiệu một bài báo mới về kinh tế học mạng chứng minh. Họ đã đề xuất một cơ chế mới có tên là Proo-phi để giải quyết vấn đề thông đồng có thể xảy ra trong đấu giá hai bên.
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, đặc biệt là cách đạt được sự 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ư.
Chứng chỉ không biết
Cuộc họp cũng đã thảo luận về nhiều phương án xây dựng chứng chỉ không biết theo hệ thống danh tính hiện có:
Chứng minh quyền sở hữu địa chỉ dựa trên chữ ký DKIM qua email, có thể được sử dụng cho các ứng dụng như chuyển tiền ẩ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ực hiện các chức năng như chuyển tiền đến tài khoản mạng xã hội.
Xây dựng chứng chỉ ẩn danh từ hộ chiếu điện tử hiện có, cho phép người dùng chứng minh thông tin danh tính cụ thể mà không cần tiết lộ chi tiết cụ thể.
Hội nghị này đã trình bày nhiều tiến bộ tiên tiến trong lĩnh vực bằng chứng không kiến thức, tạo nền tảng cho việc ứng dụng rộng rãi công nghệ này. Với sự tối ưu hóa không ngừng của hỗ trợ phần cứng và sự hoàn thiện dần dần của mạng phi tập trung, chúng ta có lý do để mong đợi rằng bằng chứng không kiến thức sẽ đóng vai trò quan trọng hơn trong tương lai.