Brevis công bố sách trắng ProverNet, trình bày chi tiết thị trường tạo chứng minh kiến thức không tri thức phi tập trung đầu tiên
Tuyển chọn TechFlowTuyển chọn TechFlow
Brevis công bố sách trắng ProverNet, trình bày chi tiết thị trường tạo chứng minh kiến thức không tri thức phi tập trung đầu tiên
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ể hơn sẽ được công bố riêng.
Chuyên sâu báo cáo Web3
Theo thông tin, hôm nay Brevis đã công bố sách trắng ProverNet, giới thiệu kiến trúc thị trường tạo bằng chứng zero-knowledge phi tập trung, được phát triển dựa trên các thử nghiệm thực tế trong môi trường sản xuất từ các giao thức đa chuỗi phổ biến. Hệ thống này giải quyết một hạn chế cơ bản trong hạ tầng tạo bằng chứng hiện tại – không thể phục vụ hiệu quả các tác vụ tính toán dị biệt cần phần cứng, hệ thống bằng chứng và phương pháp tối ưu hóa khác nhau.
ProverNet xem việc tạo bằng chứng như một thị trường hai bên, nơi các ứng dụng gửi yêu cầu cụ thể và các thợ tạo bằng chứng chuyên nghiệp đấu giá để đáp ứng nhu cầu đó. Thị trường hoạt động thông qua cơ chế TODA (Truthful Online Double Auction - Đấu giá kép trực tuyến trung thực), nhằm xử lý đồng thời nhiều loại bằng chứng, đồng thời đảm bảo việc đặt giá trung thực và phân bổ tài nguyên tối ưu.
Quy mô sản xuất bộc lộ những hạn chế của hạ tầng
Hạ tầng hiện tại của Brevis đã tạo ra hơn 124 triệu bằng chứng cho 98.000 người dùng, phục vụ các giao thức như PancakeSwap, Uniswap, Euler, Linea và MetaMask, hỗ trợ phân phối phần thưởng trị giá 224 triệu USD mà không cần tin cậy. Những triển khai này làm nổi bật rõ sự đa dạng của các tác vụ tạo bằng chứng, điều mà kiến trúc nhà cung cấp đơn lẻ khó có thể phục vụ hiệu quả.
Hệ thống giảm giá VIP của PancakeSwap yêu cầu tạo bằng chứng dưới một giây cho từng người giao dịch trước mỗi giao dịch để kiểm tra tư cách. Phân bổ phần thưởng của Euler xử lý 100.000 địa chỉ mỗi bốn giờ, ưu tiên thông lượng hơn là độ trễ. Các hoạt động sinh thái của Linea tạo ra 12,1 triệu bằng chứng cho việc tính toán phần thưởng đa giao thức, liên quan đến 61.902 địa chỉ. Mỗi khối lượng công việc đều đòi hỏi cấu hình phần cứng, hệ thống bằng chứng (SNARKs và STARKs) và đặc điểm hiệu suất khác nhau.
Michael, CEO và đồng sáng lập Brevis, cho biết:
Các hệ thống tạo bằng chứng hiện tại được tối ưu cho các trường hợp sử dụng cụ thể, ví dụ như một số Rollup nhất định, máy ảo riêng biệt hoặc loại công việc đồng nhất. ProverNet ra đời từ quan sát rằng các ứng dụng về bản chất cần những phương pháp tạo bằng chứng khác nhau. Một thị trường nơi các thợ tạo bằng chứng chuyên nghiệp cạnh tranh sẽ hiệu quả hơn bất kỳ nhà vận hành đơn lẻ nào cố gắng phục vụ mọi trường hợp sử dụng.
Kiến trúc thị trường và cơ chế TODA
Kiến trúc ProverNet coi các loại bằng chứng khác nhau như các mặt hàng khác nhau trong phiên đấu giá. Các ứng dụng xác định yêu cầu về 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 dị biệt với năng lực tạo bằng chứng phù hợp.
Cơ chế này giải quyết những thách thức đặc thù của thị trường tạo bằng chứng. Trong khi các cơ chế đấu giá truyền thống giả định hàng hóa đồng nhất, TODA có khả năng xử lý đồng thời nhiều loại bằng chứng. Các nhiệm vụ tạo bằng chứng phức tạp được chia nhỏ thành các tiểu nhiệm vụ, do các thợ tạo bằng chứng khác nhau cộng tác thực hiện.
Ví dụ, một bằng chứng zkVM có thể bao gồm việc tạo các khối trên một thợ tạo bằng chứng, nén trên một thợ khác, tổng hợp trên một thợ thứ ba, và cuối cùng đóng gói xác minh cuối cùng 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 trung thực (chiến lược tối ưu là đặt giá trung thực)
- Cân bằng ngân sách (phí thu vào vượt quá phí chi ra)
- Lý tính cá nhân (không có người tham gia nào chấp nhận nhiệm vụ không sinh lời)
- Tối ưu tiệm cận (khi nguồn cung thợ tạo bằng chứng tăng lên, phân bổ tiến gần tới hiệu suất tối đa).
Thị trường này hoạt động trên Brevis Chain, một kiến trúc Rollup chuyên dụng được thiết kế dành riêng cho việc điều phối đấu giá. Kiến trúc này tách biệt thông lượng của thị trường khỏi tình trạng tắc nghẽn mạng Layer 1 hoặc Layer 2, đồng thời duy trì tính minh bạch và khả năng tham gia mở. Các bằng chứng được tạo ra thông qua ProverNet có thể được xác minh trên bất kỳ chuỗi khối mục tiêu nào.
Cơ sở kỹ thuật: Pico zkVM và tạo bằng chứng thời gian thực
ProverNet được xây dựng trên hạ tầng tạo bằng chứng hiện có của Brevis, bao gồm hai sản phẩm bổ trợ nhau nhằm phục vụ các nhu cầu tính toán khác nhau.
Pico zkVM áp dụng kiến trúc "lõi chung + bộ đồng xử lý hiệu suất cao", trong đó một lõi cực kỳ gọn nhẹ và hiệu quả đượ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 tận dụng các tối ưu hóa phần cứng định hướng.
Pico Prism gần đây đạt được mức bao phủ bằng chứng 99,6% đối với các khối Ethereum có giới hạn gas 45 triệu, hoàn thành 96,8% trong số đó trong vòng 12 giây, với thời gian tạo bằng chứng trung bình là 6,9 giây. Hệ thống sử dụng cụm GPU 64×RTX 5090, đạt được khả năng tạo bằng chứng thời gian thực với chi phí phần cứng thấp hơn 50% so với zkVM tốt nhất trước đó trên thị trường.
Bộ đồng xử lý dữ liệu ZK cho phép các hợp đồng thông minh truy cập dữ liệu lịch sử blockchain và thực hiện các tính toán ngoài chuỗi có thể xác minh mã hóa.
Các ứng dụng được hỗ trợ bởi hệ thống này bao gồm tỷ lệ VIP của PancakeSwap (kiểm tra khối lượng giao dịch 30 ngày trước 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ư theo trọng số thời gian của hàng ngàn địa chỉ) và hoàn tiền định tuyến của Uniswap v4 (xác minh tư cách giao dịch mà không cần sổ cái tập trung).
Những tích hợp này thể hiện nhu cầu tạo bằng chứng tập trung vào dữ liệu, khác biệt với việc xác minh tính toán tổng quát.
Các hệ thống này cùng nhau thiết lập tính khả thi về mặt kinh tế cho việc xác minh mã hóa thời gian thực ở quy mô nền tảng cơ sở, đồng thời phục vụ các loại tải công việc dị biệt chính là động lực thúc đẩy kiến trúc thị trường ProverNet.
Tác động đến hệ sinh thái ZK
ProverNet đại diện cho bước chuyển mình từ hạ tầng nhà cung cấp bằng chứng đơn lẻ sang việc phân bổ tài nguyên dựa trên nhu cầu thị trường. Các mạng lưới tạo bằng chứng hiện tại thường được tối ưu cho các trường hợp sử dụng hẹp (ví dụ như bằng chứng Rollup cụ thể, máy ảo riêng biệt, 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 tạo bằng chứng tập trung vào các mục tiêu tối ưu hóa cụ thể (xử lý nhóm 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 tổng quát, trong khi các ứng dụng lại có thể nhận được mức giá cạnh tranh và đảm bảo tiếp cận dịch vụ, đồng thời tránh bị khóa vào một nhà cung cấp.
Đối với các nhà phát triển, điều này loại bỏ sự đánh đổi giữa việc xây dựng hạ tầng tạo 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 (gây ra các 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ả định giá và khả năng sẵn sàng của năng lực xử lý.
Khả năng sử dụng và thông tin thêm
Sách trắng đầy đủ của ProverNet có thể truy cập tại:http://www.brevis.network/whitepaper/provernet.pdf
Tổng quan kỹ thuật ngắn gọn đã được đăng trên blog của Brevis:https://blog.brevis.network/2025/10/28/brevis-provernet-building-the-open-marketplace-for-zero-knowledge-proofs/
ProverNet sẽ sớm được ra mắt chính thức, các chi tiết triển khai và lộ trình cụ thể sẽ được công bố sau.
Giới thiệu về Brevis
Brevis là một nền tảng tính toán thông minh có thể xác minh, cung cấp khả năng tính toán vô hạn cho các chuỗi khối hợp đồng thông minh hiện tại. Thông qua bằng chứng zero-knowledge, Brevis chuyển các tác vụ tính toán tốn kém và tập trung dữ liệu từ trên chuỗi sang các động cơ ngoài chuỗi, giúp các ứng dụng Web3 mở rộng liền mạch mà vẫn giữ được niềm tin an toàn của L1.
Chào mừng tham gia cộng đồng chính thức TechFlow
Nhóm Telegram:https://t.me/TechFlowDaily
Tài khoản Twitter chính thức:https://x.com/TechFlowPost
Tài khoản Twitter tiếng Anh:https://x.com/BlockFlow_News
@brevis_zk
