Brevis công bố Whitepaper ProverNet: Thị trường tạo bằng chứng zero-knowledge phi tập trung đầu tiên
Nguồn: Brevis
Brevis hôm nay đã phát hành Whitepaper 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 đúc kết từ quá trình thử nghiệm thực tế trong môi trường sản xuất của các giao thức multi-chain chính thống. Hệ thống này giải quyết một hạn chế cốt lõi trong cơ sở hạ tầng bằng chứng hiện tại—đó là khả năng phục vụ hiệu quả các khối lượng công việc tính toán không đồng nhất, vốn đòi hỏi 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 là 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 prover chuyên biệt đấu thầu để đáp ứng những nhu cầu này. Thị trường vận hành thông qua cơ chế Truthful Online Double Auction (TODA), được thiết kế để xử lý nhiều loại bằng chứng cùng lúc trong khi đảm bảo việc đấu thầu trung thực và phân bổ tài nguyên tối ưu. ProverNet dự kiến ra mắt vào cuối năm 2025.
Quy mô sản xuất bộc lộ những hạn chế của cơ sở hạ tầng
Cơ sở 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, trải dài trên các giao thức như PancakeSwap, Uniswap, Euler, Linea và MetaMask, tạo điều kiện phân phối 224 triệu USD phần thưởng không cần tin cậy (trustless). Những triển khai này đã làm nổi bật sự đa dạng của công việc tạo bằng chứng, khiến cho kiến trúc của một nhà cung cấp đơn lẻ khó có thể phục vụ hiệu quả.
Hệ thống chiết khấu phí VIP của PancakeSwap yêu cầu tạo bằng chứng dưới một giây cho từng trader trước mỗi giao dịch để xác minh tính hợp lệ. Quá trình phân phối ưu đãi của Euler xử lý 100.000 địa chỉ mỗi bốn giờ, ưu tiên thông lượng hơn độ trễ. Hoạt động hệ 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 yêu cầu cấu hình phần cứng, hệ thống bằng chứng (SNARKs so với STARKs) và đặc điểm hiệu suất khác nhau.
Michael, CEO và Co-Founder của Brevis, cho biết: "Các hệ thống bằng chứng hiện tại được tối ưu hóa cho các trường hợp sử dụng cụ thể, chẳng hạn như một số Rollup nhất định, máy ảo đơn lẻ hoặc các loại khối lượng công việc đồng nhất. Sự ra đời của ProverNet xuất phát từ quan sát của chúng tôi rằng các ứng dụng về cơ bản yêu cầu các phương pháp tạo bằng chứng khác nhau. Một thị trường nơi các prover chuyên biệt 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ụ tất cả các trường hợp sử dụng."
Kiến trúc thị trường và cơ chế TODA
Kiến trúc của ProverNet coi các loại bằng chứng khác nhau như các loại hàng hóa khác nhau trong một cuộc đấu giá. Các ứng dụng chỉ định các yêu cầu về bằng chứng, bao gồm các 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 sự phân bổ tối ưu trong mỗi vòng, khớp các yêu cầu không đồng nhất với các khả năng tạo bằng chứng phù hợp.
Cơ chế này giải quyết một 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 về hàng hóa đồng nhất, trong khi TODA có thể xử lý nhiều loại bằng chứng cùng lúc. Các tác vụ bằng chứng phức tạp được phân tách thành các tác vụ con, được thực hiện cộng tác bởi các prover khác nhau.
Ví dụ, một bằng chứng zkVM có thể liên quan đến việc phân đoạn trên một prover, nén trên một prover khác, tổng hợp trên một prover thứ ba và cuối cùng là xác thực đóng gói trên một hệ thống chuyên biệt 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à đấu thầu trung thực)
Cân bằng ngân sách (phí thu được vượt quá phí chi trả)
Tính hợp lý cá nhân (không người tham gia nào chấp nhận các tác vụ không có lợi nhuận)
Tính tối ưu tiệm cận (khi nguồn cung prover tăng lên, sự phân bổ tiến tới hiệu quả tối đa).
Thị trường này chạy trên Brevis Chain, một kiến trúc Rollup chuyên dụng được thiết kế đặc biệt để điều phối đấu giá. Kiến trúc này cô lập thông lượng thị trường khỏi tình trạng tắc nghẽn mạng Layer 1 hoặc Layer 2 trong khi vẫn duy trì tính minh bạch và sự tham gia không cần cấp phép. Các bằng chứng được tạo thông qua ProverNet có thể được xác thực đối với bất kỳ blockchain mục tiêu nào.
Pico zkVM và bằng chứng thời gian thực
ProverNet được xây dựng dựa 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ổ sung để phục vụ các nhu cầu tính toán khác nhau.
Pico zkVM áp dụng kiến trúc "core tổng quát + coprocessor hiệu suất cao", nơi một core siêu hiệu quả được kết nối với một bộ tăng tốc mật mã chuyên dụng, cho phép các chương trình chạy một máy ảo ổn định trong khi hưởng lợi từ các tối ưu hóa phần cứng có mục tiêu.
Pico Prism gần đây đã đạt được độ phủ bằng chứng 99,6% của một block Ethereum với giới hạn gas là 45 triệu, hoàn thành 96,8% các bằng chứng trong 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 và đạt được 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 dẫn đầu thị trường trước đó.
ZK Data Coprocessor cho phép các hợp đồng thông minh truy cập dữ liệu blockchain lịch sử và thực hiện các tính toán có thể xác minh off-chain.
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 trước giao dịch về khối lượng giao dịch trong 30 ngày), phân phối phần thưởng không cần tin cậy của Euler (xử lý số dư theo thời gian của hàng ngàn địa chỉ) và các khoản hoàn trả lộ trình của Uniswap v4 (xác minh tính đủ điều kiện của giao dịch mà không cần sổ cái tập trung).
Những tích hợp này chứng minh các yêu cầu bằng chứng thâm dụng dữ liệu khác biệt so với việc xác minh tính toán mục đích chung.
Cùng với nhau, các hệ thống này thiết lập tính khả thi về kinh tế của việc xác minh mật mã thời gian thực ở lớp nền tảng trong khi 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.
Tác động đến hệ sinh thái ZK
ProverNet đại diện cho sự chuyển dịch từ cơ sở 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 theo định hướng thị trường. Các mạng lưới 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 các loại công việc đồng nhất), 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 đội ngũ prover tập trung vào các mục tiêu tối ưu hóa cụ thể (ví dụ: xử lý hàng loạt dựa trên STARK, bằng chứng SNARK độ trễ thấp, các thao tác mật mã cụ thể) mà không cần xây dựng cơ sở hạ tầng chung. Các ứng dụng sau đó có thể hưởng lợi từ giá cả cạnh tranh và đảm bảo dịch vụ mà không bị phụ thuộc vào nhà cung cấp.
Đối với các nhà phát triển, điều này loại bỏ tình thế tiến thoái lưỡng nan giữa việc xây dựng cơ sở hạ tầng bằng chứng tùy chỉnh (đắt đỏ và tốn thời gian) và dựa vào các dịch vụ tập trung (đưa ra các giả định tin cậy) vì xác minh mật mã đảm bảo tính đúng đắn của tính toán trong khi cạnh tranh thị trường đảm bảo hiệu quả giá cả và tính sẵn có của tài nguyên.
Thông tin thêm
Whitepaper đầy đủ của ProverNet có thể được tìm thấy tại địa chỉ sau: http://www.brevis.network/whitepaper/provernet.pdf
Một bản tóm tắt kỹ thuật ngắn gọn đã được xuất bản trên blog của Brevis: https://blog.brevis.network/2025/10/28/brevis-provernet-building-the-open-marketplace-for-zero-knowledge-proofs/
Bài viết này là nội dung được đóng góp và không đại diện cho quan điểm của BlockBeats.
Bạn cũng có thể thích
Cách nhận tiền thưởng chào mừng USDT miễn phí vào năm 2026: Kiếm tới 700 USDT trên WEEX
Tiền thưởng chào mừng miễn phí chính thức năm 2026: Tìm hiểu cách kiếm tới 700 USDT trên WEEX với chương trình Auto Earn Boost Fest. Tăng số dư tài khoản, kích hoạt tính năng Tự động kiếm tiền và tự động đủ điều kiện.

Thanh toán qua Trợ lý AI đã trở thành hiện thực: Utexo × x402 mang đến các giao dịch USDT chỉ trong 50 mili giây với quy mô toàn cầu
Utexo tích hợp USDT vào giao thức x402, cho phép thực hiện các giao dịch thanh toán tức thì trong vòng 50 mili giây được nhúng trực tiếp vào các yêu cầu HTTP. Khám phá cách bước đột phá này đang định hình lại các quy tắc trong lĩnh vực thanh toán cho các tác nhân AI, kiếm tiền từ API và nền kinh tế máy-máy.

Điều gì tách biệt tiền thông minh khỏi đám đông trong Crypto? Những hiểu biết từ Tự do Tiền tệ
Hầu hết các nhà giao dịch crypto mất tiền không phải vì xui xẻo, mà vì họ hiểu sai cách thị trường thực sự hoạt động. Từ Tự do Tiền tệ đến sự trỗi dậy và sụp đổ của Sam Bankman-Fried, họ làm nổi bật một sự phân chia chính trong crypto: những người xây dựng thị trường và những người theo đuổi nó. Hướng dẫn đọc này khám phá những cuốn sách thiết yếu tiết lộ cách mà câu chuyện, quy định, dòng vốn và tâm lý hình thành thành công lâu dài trong ngành crypto.

Báo cáo chuyên sâu của DWF: Trí tuệ nhân tạo (AI) trong lĩnh vực DeFi vượt trội hơn con người về tối ưu hóa lợi nhuận, nhưng khả năng thực hiện các giao dịch phức tạp vẫn kém hơn gấp 5 lần.

Nhóm cốt lõi về Quản lý rủi ro vừa bị cách chức, và Aave hiện đang đối mặt với nguy cơ vỡ nợ trị giá 200 triệu đô la.

Lỗi trị giá 293 triệu đô la không nằm trong mã lập trình; vậy, vấn đề với "Lỗi cấu hình DVN" dẫn đến vụ tấn công mạng lớn nhất năm 2026 là gì?

a16z về Tuyển dụng: Làm thế nào để lựa chọn giữa nhân tài am hiểu công nghệ tiền điện tử và nhân tài truyền thống?

Vụ trộm DeFi lớn nhất năm 2026, tin tặc dễ dàng lợi dụng lỗ hổng bảo mật của Aave.

Liệu robot có thay thế con người? Anh ấy nói không!

Giá Binance Coin tăng vọt gấp 15 lần, đạt mức cao nhất mọi thời đại, được cứu vãn bởi ba yếu tố hỗ trợ từ thị trường tăng giá.

Các dự án đáng ngờ lấn át thông cáo báo chí hợp pháp về tiền điện tử
Điểm chính: Một phần đáng kể các thông cáo báo chí về tiền điện tử đến từ các dự án rủi ro cao hoặc lừa đảo, gây ra những lo ngại về đạo đức…

Nhìn lại sự cố OpenClaw và Moltbook: Từ câu chuyện xã hội AI đến triển vọng kinh tế đại lý

Ngày tận thế của tiền điện tử sắp đến, chuyên gia dự đoán khủng hoảng tài chính 2008 cảnh báo
Nouriel Roubini dự đoán một ngày tận thế toàn diện cho thị trường tiền điện tử, cho rằng nó thiếu các trường hợp sử dụng thực tế ngoài tội phạm…

Giá XRP đối mặt với đà trượt về 1 USD trong bối cảnh các chỉ số XRPL và tỷ lệ đốt giảm
Giá XRP đã chạm mức thấp 1.500 USD trong tuần này, đánh dấu điểm thấp nhất kể từ tháng 11 năm 2024, với…

Cuộc đối đầu 'muối mặt' tại New York: Polymarket mở cửa hàng, Kalshi phát voucher, ý tưởng lớn đằng sau là gì?

Từ kỳ quan AI đến việc bị "AI giả dạng người" tát vào mặt, Moltbook chỉ mất 4 ngày

Thị trường tiền điện tử có thể giao dịch gì sau một năm?

Thương vụ thắng lợi 70.000 USD: Cách nhà sáng lập Ethereum tham gia thị trường dự đoán
Cách nhận tiền thưởng chào mừng USDT miễn phí vào năm 2026: Kiếm tới 700 USDT trên WEEX
Tiền thưởng chào mừng miễn phí chính thức năm 2026: Tìm hiểu cách kiếm tới 700 USDT trên WEEX với chương trình Auto Earn Boost Fest. Tăng số dư tài khoản, kích hoạt tính năng Tự động kiếm tiền và tự động đủ điều kiện.
Thanh toán qua Trợ lý AI đã trở thành hiện thực: Utexo × x402 mang đến các giao dịch USDT chỉ trong 50 mili giây với quy mô toàn cầu
Utexo tích hợp USDT vào giao thức x402, cho phép thực hiện các giao dịch thanh toán tức thì trong vòng 50 mili giây được nhúng trực tiếp vào các yêu cầu HTTP. Khám phá cách bước đột phá này đang định hình lại các quy tắc trong lĩnh vực thanh toán cho các tác nhân AI, kiếm tiền từ API và nền kinh tế máy-máy.
Điều gì tách biệt tiền thông minh khỏi đám đông trong Crypto? Những hiểu biết từ Tự do Tiền tệ
Hầu hết các nhà giao dịch crypto mất tiền không phải vì xui xẻo, mà vì họ hiểu sai cách thị trường thực sự hoạt động. Từ Tự do Tiền tệ đến sự trỗi dậy và sụp đổ của Sam Bankman-Fried, họ làm nổi bật một sự phân chia chính trong crypto: những người xây dựng thị trường và những người theo đuổi nó. Hướng dẫn đọc này khám phá những cuốn sách thiết yếu tiết lộ cách mà câu chuyện, quy định, dòng vốn và tâm lý hình thành thành công lâu dài trong ngành crypto.








