Brevis phát hành sách trắng ProverNet, trình bày chi tiết về thị trường tạo bằng chứng zero-knowledge phi tập trung đầu tiên

Chainfeeds Dẫn nhập:

ProverNet sẽ chính thức ra mắt trong thời gian tới, các chi tiết triển khai và lịch trình cụ thể sẽ được công bố sau.

Nguồn bài viết:

Tác giả bài viết:

Brevis

Quan điểm:

Brevis: Kiến trúc của ProverNet coi các loại bằng chứng khác nhau như các mặt hàng khác nhau trong một phiên đấu giá. Ứng dụng sẽ chỉ định yêu cầu bằng chứng, bao gồm loại xử lý (thực thi zkVM, bằng chứng dữ liệu, tổng hợp đệ quy), thời hạn, phí tối đa và các tham số chất lượng. Cơ chế TODA tính toán phân bổ tối ưu trong mỗi vòng, ghép nối các yêu cầu không đồng nhất với năng lực chứng minh phù hợp. Cơ chế này giải quyết các thách thức độc đáo của thị trường tạo bằng chứng. Các cơ chế đấu giá truyền thống dựa trên giả định hàng hóa đồng nhất, trong khi TODA có thể xử lý đồng thời nhiều loại bằng chứng khác nhau. Các nhiệm vụ bằng chứng phức tạp được chia nhỏ thành các nhiệm vụ con, do các prover khác nhau phối hợp thực hiện. Ví dụ, một bằng chứng zkVM có thể bao gồm việc tạo phân đoạn trên một prover, nén trên một prover khác, tổng hợp trên prover thứ ba, và cuối cùng đóng gói xác minh trên một hệ thống chuyên dụng thứ tư. TODA đảm bảo một số thuộc tính kinh tế: tính xác thực (chiến lược tối ưu là báo giá trung thực); cân bằng ngân sách (phí thu được vượt quá chi phí chi trả); lý tính cá nhân (không có người tham gia nào nhận nhiệm vụ không sinh lời) và tối ưu tiệm cận (khi nguồn cung prover tăng, phân bổ tiến gần tới hiệu quả tối đa). ProverNet được xây dựng trên cơ sở hạ tầng bằng chứng hiện có của Brevis, bao gồm hai sản phẩm bổ trợ để phục vụ các nhu cầu tính toán khác nhau. Pico zkVM sử dụng kiến trúc "lõi chung + bộ đồng xử lý hiệu suất cao", trong đó một lõi tối giản, hiệu quả cao được kết nối với bộ tăng tốc mã hóa chuyên dụng, cho phép chương trình vừa chạy trên một máy ảo ổn định vừa nhận được tối ưu hóa phần cứng định hướng. Pico Prism gần đây đã đạt được độ bao phủ bằng chứng 99,6% cho các block Ethereum có giới hạn gas 45 triệu, hoàn thành 96,8% bằng chứng trong số đó chỉ trong 12 giây, với thời gian chứng minh trung bình là 6,9 giây. Hệ thống này sử dụng cụm 64×RTX 5090 GPU, giảm 50% chi phí phần cứng so với zkVM tối ưu nhất trên thị trường trước đó mà vẫn đạt được chứng minh thời gian thực. Bộ đồng xử lý dữ liệu ZK cho phép hợp đồng thông minh truy cập dữ liệu blockchain lịch sử và thực hiện tính toán ngoài chuỗi có thể xác minh bằng mã hóa. Các ứng dụng được hệ thống này hỗ trợ bao gồm mức phí VIP của PancakeSwap (kiểm tra khối lượng giao dịch 30 ngày trước khi giao dịch), phân phối phần thưởng không cần tin cậy của Euler (xử lý số dư trọng số theo thời gian của hàng nghìn địa chỉ), cũng như hoàn trả định tuyến của Uniswap v4 (xác minh đủ điều kiện giao dịch mà không cần sổ cái tập trung), v.v. Những tích hợp này cho thấy nhu cầu bằng chứng dữ liệu chuyên sâu khác biệt với xác minh tính toán chung. Các hệ thống này cùng nhau xác lập tính khả thi về kinh tế cho xác minh mã hóa thời gian thực ở quy mô lớp nền tảng, đồng thời phục vụ các loại khối lượng công việc không đồng nhất thúc đẩy kiến trúc thị trường ProverNet. ProverNet đại diện cho sự chuyển đổi từ hạ tầng của một nhà cung cấp bằng chứng đơn lẻ sang phân bổ tài nguyên dựa trên nhu cầu thị trường. Các mạng prover hiện tại thường được tối ưu hóa cho các trường hợp sử dụng hẹp (ví dụ: bằng chứng Rollup cụ thể, máy ảo cụ thể, hoặc loại công việc đồng nhất), điều này hạn chế khả năng phục vụ hiệu quả các nhu cầu đa dạng. Mô hình đấu giá thị trường cho phép các nhóm prover tập trung vào các mục tiêu tối ưu hóa cụ thể (xử lý hàng loạt dựa trên STARK, bằng chứng SNARK độ trễ thấp, thao tác mã hóa cụ thể) mà không cần xây dựng hạ tầng chung, đồng thời ứng dụng có thể nhận được mức giá cạnh tranh và đảm bảo dịch vụ mà không bị ràng buộc bởi nhà cung cấp. Đối với nhà phát triển, điều này loại bỏ sự đánh đổi giữa xây dựng hạ tầng bằng chứng tùy chỉnh (tốn kém và mất thời gian) và phụ thuộc vào dịch vụ tập trung (tạo giả định tin cậy), vì xác minh mã hóa đảm bảo tính đúng đắn của tính toán, còn cạnh tranh thị trường đảm bảo hiệu quả giá cả và khả năng cung ứng.