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

Hyperbeat sẽ ra mắt một "ngân hàng" trên Hyperliquid.

Nghiên cứu vĩ mô thị trường tiền điện tử: Thỏa thuận ngừng bắn giữa Mỹ và Iran, đã đến lúc đánh giá lại các tài sản rủi ro.

Bắt đầu từ thế giới tiền điện tử, điều gì khiến Hermes Agent trở thành đối thủ đáng gờm nhất của OpenClaw?

Liệu Bitcoin có chạm đáy vào năm 2026? Cú sốc thuế quan và thỏa thuận ngừng bắn có thể đẩy BTC lên mức 75.000 đô la như thế nào?
Bitcoin có thể đang hình thành đáy năm 2026 quanh mức 65.000 đô la. Hãy xem những cú sốc về thuế quan, dòng vốn đổ vào ETF và thỏa thuận ngừng bắn với Iran có thể định hình đợt bứt phá tiếp theo của BTC hướng tới mốc 75.000 đô la như thế nào.

Nghiên cứu Tiger: Phân tích toàn diện về các doanh nghiệp sinh lợi nhất và mô hình kinh doanh của họ trong lĩnh vực tiền điện tử

Biến AI thành một hệ thống thực thi độc lập, cẩm nang hướng dẫn thực tiễn tốt nhất về Managed Agents mới nhất của Claude.

Giá trị của Stablecoin sẽ đạt 315 tỷ đô la vào năm 2026: Vì sao đây là xu hướng lớn nhất trong thế giới tiền điện tử hiện nay?
Bitcoin có thể đang hình thành đáy năm 2026 quanh mức 65.000 đô la. Hãy xem những biến động về thuế quan, dòng vốn đổ vào ETF và các tín hiệu địa chính trị có thể định hình đợt bứt phá tiếp theo của BTC hướng tới mốc 75.000 đô la như thế nào.

Tại sao thỏa thuận ngừng bắn giữa Mỹ và Iran lại không thể duy trì được?

Tại sao lệnh ngừng bắn giữa Mỹ và Iran lại bị định sẵn để thất bại?

Hành trình 30 ngày với Trí tuệ Nhân tạo của Chủ Phòng Tập Leo Núi

Cầu thủ Trung Đông ít được biết đến có khả năng trở thành ngôi sao trong thị trường dự đoán World Cup 2026?

Tin tức mới nhất | Danh sách đầy đủ các nghệ sĩ khách mời trình diễn tại "Super Creator Live"

Crypto OG, tại sao Hermes Agent lại nổi lên như một đối thủ hàng đầu của OpenClaw?

Lịch sử khởi nghiệp tám năm của Kalshi: Một võ sĩ trong bộ vest bước lên sân khấu

Đầu tư 950 triệu đô la của chính quyền Trump vào sự sụt giảm giá dầu trước khi ngừng bắn đã biến thị trường dầu thô thành thiên đường giao dịch nội bộ

Tại sao Trump lại đưa Mỹ vào cuộc chiến với Iran?

Từ đe dọa đến lệnh ngừng bắn: Hoa Kỳ đã làm thế nào? Liệu nó có mất đi vị thế thống trị?

Tin tức buổi sáng | Yi Lihua thành lập quỹ đầu tư trí tuệ nhân tạo OpenX Labs; Pharos Network hoàn tất vòng gọi vốn Series A trị giá 44 triệu đô la; Iran yêu cầu các tàu chở dầu ở eo biển Hormuz phải trả Bitcoin như phí cầu đường.
Hyperbeat sẽ ra mắt một "ngân hàng" trên Hyperliquid.
Nghiên cứu vĩ mô thị trường tiền điện tử: Thỏa thuận ngừng bắn giữa Mỹ và Iran, đã đến lúc đánh giá lại các tài sản rủi ro.
Bắt đầu từ thế giới tiền điện tử, điều gì khiến Hermes Agent trở thành đối thủ đáng gờm nhất của OpenClaw?
Liệu Bitcoin có chạm đáy vào năm 2026? Cú sốc thuế quan và thỏa thuận ngừng bắn có thể đẩy BTC lên mức 75.000 đô la như thế nào?
Bitcoin có thể đang hình thành đáy năm 2026 quanh mức 65.000 đô la. Hãy xem những cú sốc về thuế quan, dòng vốn đổ vào ETF và thỏa thuận ngừng bắn với Iran có thể định hình đợt bứt phá tiếp theo của BTC hướng tới mốc 75.000 đô la như thế nào.
