Yêu cầu đồng thuận Blockchain khiến mỗi trình xác thực phải lặp lại cùng một phép tính, làm cho việc tính toán trên chuỗi vừa tốn kém vừa bị giới hạn. Điều này khiến hợp đồng thông minh khó xử lý khối lượng lớn dữ liệu giao dịch lịch sử, tạo ra nút thắt cổ chai về tính toán kéo dài.
Bằng cách tập trung vào “chứng minh công việc thay vì lặp lại nó”, Brevis cho phép kết quả tính toán ngoài chuỗi được xác minh trên chuỗi chỉ trong vài mili giây. Điều này tạo nền tảng tính toán mở rộng và đáng tin cậy cho DeFi, ứng dụng dựa trên dữ liệu và AI.
Brevis là gì? Vì sao được gọi là “lớp tính toán không giới hạn” của Web3?
Brevis là nền tảng tính toán xác minh chuyển các phép tính phức tạp ra ngoài chuỗi và sử dụng bằng chứng không tiết lộ để đảm bảo kết quả chính xác. Trình xác thực trên chuỗi chỉ cần xác minh bằng chứng ngắn gọn rằng “phép tính đã được thực hiện đúng”, giúp giảm mạnh chi phí so với tính toán trực tiếp.
“Lớp tính toán không giới hạn” nhằm giải quyết giới hạn tính toán trên chuỗi: các mạng như Ethereum giới hạn lượng tính toán mỗi giao dịch, khiến phân tích phức tạp, suy luận mô hình hoặc tổng hợp chuỗi chéo khó thực hiện trên chuỗi. Thực thi ngoài chuỗi và xác minh trên chuỗi giúp tách quy mô tính toán khỏi giới hạn Gas của khối.
| Thành phần cốt lõi |
Vai trò |
Chức năng chính |
| Pico zkVM |
zkVM mô-đun mã nguồn mở |
Viết logic bằng Rust, tạo bằng chứng |
| ZK Data Coprocessor |
Động cơ tính toán dữ liệu ngoài chuỗi |
Truy cập dữ liệu lịch sử/chuỗi chéo, đính kèm bằng chứng |
| coChain |
Lớp bảo mật kinh tế tiền mã hóa |
Đảm bảo tin cậy qua stake và slashing |
| Pico Prism |
Bằng chứng khối thời gian thực |
Bằng chứng thời gian thực cho Ethereum |
| Vera |
Bằng chứng xác thực nội dung |
Bằng chứng ZK xác thực phương tiện |
| ProverNet |
Thị trường bằng chứng phi tập trung |
Kết nối cung và cầu bằng chứng |
Bảng này tóm tắt ngăn xếp kỹ thuật: Pico zkVM và ZK Data Coprocessor xử lý tính toán, coChain đảm bảo tin cậy, còn Pico Prism, Vera và ProverNet cung cấp bằng chứng thời gian thực, xác thực nội dung và thị trường bằng chứng.
ZK Coprocessor của Brevis hoạt động như thế nào?
Hợp đồng thông minh gần như “mù với lịch sử”—đọc và xử lý nhiều giao dịch lịch sử trực tiếp trên chuỗi rất tốn kém. Để hợp đồng có thể quyết định dựa trên hành vi dài hạn trên chuỗi của người dùng, cần một cơ chế không yêu cầu phát lại toàn bộ dữ liệu trên chuỗi.
ZK Data Coprocessor được thiết kế để truy cập dữ liệu lịch sử hoặc chuỗi chéo và thực hiện tính toán ngoài chuỗi, trả về “kết quả cùng bằng chứng mật mã rằng dữ liệu tồn tại và phép tính đúng”. Hợp đồng thông minh xác minh và tin tưởng kết quả trên chuỗi trong mili giây.
Luồng dữ liệu tính toán xác minh gồm bốn bước: ứng dụng gửi yêu cầu; coprocessor tính toán ngoài chuỗi dựa trên dữ liệu thực trên chuỗi; tạo bằng chứng ZK; hợp đồng thông minh xác minh và chấp nhận kết quả.
Hình 1. Luồng dữ liệu tính toán xác minh của Brevis: yêu cầu ứng dụng → tính toán ngoài chuỗi (Pico zkVM và ZK Data Coprocessor dùng dữ liệu thực trên chuỗi) → tạo bằng chứng ZK → hợp đồng thông minh xác minh và trả kết quả.
Pico zkVM đóng vai trò gì trong kiến trúc Brevis?
Pico zkVM là máy ảo zero-knowledge mô-đun mã nguồn mở của Brevis. Nó cho phép nhà phát triển viết logic tính toán bằng Rust và tạo bằng chứng. Là lớp thực thi đa năng cho tính toán xác minh, Pico zkVM hợp nhất “viết chương trình” và “bằng chứng thực thi đúng” trong một công cụ duy nhất.
Kiến trúc “kết dính và đồng xử lý” sử dụng lõi RISC-V đa năng để chạy chương trình Rust, còn các thao tác như băm Keccak-256, xác thực chữ ký, suy luận máy học được chuyển đến các precompile chuyên dụng để tăng tốc. Theo Brevis, thiết kế này tăng tốc tạo bằng chứng khoảng 10 – 80 lần.
coChain và mô hình bảo mật kinh tế tiền mã hóa đảm bảo tính tin cậy cho tính toán như thế nào?
Brevis có hai mô hình bảo mật: pure-ZK và OP / coChain. Khác biệt chính là “nguồn tạo tin cậy”—pure-ZK chỉ dựa vào bằng chứng mật mã, còn OP / coChain bổ sung lớp kinh tế tiền mã hóa. Với Brevis SDK, bạn có thể viết logic một lần và triển khai cho cả hai mô hình.
coChain là Blockchain PoS với staking và slashing trên Ethereum. Trình xác thực tạo kết quả dựa trên dữ liệu node lưu trữ, đạt đồng thuận PoS và gửi chữ ký tổng hợp như “đề xuất” lên chuỗi yêu cầu, bước vào “cửa sổ thử thách”.
Nếu có ai đó “thử thách” thành công kết quả sai bằng bằng chứng ZK trong cửa sổ này, stake của trình xác thực bị slashing trên Ethereum. Nếu không có thử thách, kết quả được dApp sử dụng mà không tốn phí bằng chứng. coChain dự kiến tích hợp EigenLayer để điều chỉnh bảo mật động.
| Khía cạnh |
pure-ZK |
OP / coChain |
| Nguồn tin cậy |
Bằng chứng mật mã |
Staking & slashing + thử thách tùy chọn |
| Độ trễ kết quả |
Đợi tạo bằng chứng |
Dùng sau cửa sổ thử thách |
| Chi phí tính toán |
Bằng chứng ZK mỗi lần |
Không tốn phí bằng chứng nếu không bị thử thách |
| Độ mạnh bảo mật |
Đảm bảo bởi ZK |
Điều chỉnh động qua EigenLayer |
Bảng này cho thấy pure-ZK phù hợp các trường hợp cần quyết định tối đa, coChain linh hoạt hơn về chi phí và thông lượng. Cả hai có thể dùng độc lập hoặc kết hợp.
Token BREV dùng để làm gì trong hệ sinh thái Brevis?
BREV là token tiện ích và quản trị gốc của mạng Brevis, cung cấp động lực cho nền kinh tế bằng chứng. Vai trò gồm: thanh toán, thế chấp và quản trị, gắn liền với động lực Prover và slashing, theo BREV Token và coChain.
| Chức năng |
Mô tả |
| Thanh toán phí bằng chứng |
Người dùng trả phí bằng chứng bằng BREV |
| Thế chấp cho Prover |
Prover khóa BREV để nhận nhiệm vụ; bị slashing nếu vi phạm |
| Quản trị giao thức |
Người nắm giữ BREV tham gia quản trị giao thức |
Ba chức năng này tạo thành vòng khép kín: người dùng trả phí, Prover stake nhận nhiệm vụ, cộng đồng quản trị tham số—liên kết chất lượng bằng chứng với bảo mật mạng.
Brevis khác gì Oracle và các ZK Coprocessor khác?
Brevis và oracle phục vụ các lớp khác nhau: oracle chủ yếu đưa dữ liệu ngoài chuỗi lên chuỗi, còn Brevis tập trung tính toán và chứng minh tính đúng đắn dữ liệu trên chuỗi và lịch sử. Hiểu rõ sự khác biệt giữa “truyền dữ liệu” và “tính toán xác minh” là chìa khóa cho phân biệt giữa Brevis và oracle.
Oracle thường dựa vào sự tin cậy vào node hoặc nhà cung cấp dữ liệu; Brevis dùng bằng chứng không tiết lộ để các tác nhân trên chuỗi xác minh trực tiếp. So với các ZK coprocessor khác, Brevis nổi bật nhờ Pico zkVM đa năng, ZK Data Coprocessor và mô hình pure-ZK/coChain kép.
Trường hợp ứng dụng thực tế (Real Adoption) của Brevis là gì?
“Real Adoption” của Brevis tập trung triển khai tính toán xác minh vào thực tiễn. Theo blog chính thức của Brevis (năm 2025), Brevis đã tạo hơn 340 triệu (340M+) bằng chứng, bao phủ hơn 50 giao thức trên 8+ Blockchain, với các chương trình thưởng và khuyến khích tổng hơn 300 triệu USD.
Khuyến khích dựa trên dữ liệu là trường hợp điển hình: giao thức phân phối phần thưởng dựa trên lịch sử thực tế trên chuỗi của người dùng (ví dụ: khối lượng giao dịch, thời gian nắm giữ), với bằng chứng ZK đảm bảo phần thưởng không bị chỉnh sửa. ProverNet là thị trường bằng chứng phi tập trung trên mainnet, Prover phải stake BREV để tham gia và bị slashing nếu vi phạm.
Pico Prism cung cấp bằng chứng khối thời gian thực cho Ethereum. Theo Brevis, nó đạt khoảng 99,8% độ phủ thời gian thực trên 16 GPU và đáp ứng mục tiêu phần cứng 100.000 USD của Ethereum Foundation. Sáng kiến On-Prem Proving (Ethproof) của Foundation đã chọn Brevis là một trong bốn nhóm vào tháng 3 năm 2026. Vera dùng bằng chứng ZK xác thực nguồn gốc và tính xác thực phương tiện, giải quyết truy xuất nội dung trong thời kỳ deepfake.
Hình 2. Tổng quan ngăn xếp công nghệ và hệ sinh thái Brevis: phân vai giữa Pico zkVM, ZK Data Coprocessor, Pico Prism, Vera, ProverNet, coChain và token BREV.
Ưu điểm, rủi ro và hạn chế khi sử dụng Brevis
Brevis vượt trội về mở rộng và tin cậy: thực thi ngoài chuỗi kết hợp xác minh trên chuỗi giúp tách biệt tính toán khỏi giới hạn Gas, bằng chứng ZK cho phép xác minh kết quả mà không cần bên thứ ba. SDK hỗ trợ viết một lần, triển khai đa mô hình linh hoạt.
Hạn chế chủ yếu do bản chất tính toán ZK—tạo bằng chứng cần phần cứng chuyên dụng và tỷ lệ băm, chứng minh đa năng vẫn đắt hơn thực thi gốc. Độ phức tạp và độ trễ của logic phức tạp là rào cản cấu trúc.
Rủi ro gồm bảo mật của coChain phụ thuộc vào người thử thách chủ động và staking đủ lớn; có thể có lỗi triển khai trong hợp đồng thông minh, SDK; nguồn cung bằng chứng của ProverNet dựa vào sự tham gia của Prover. Đây là hạn chế cơ chế, không phải lời khuyên đầu tư.
Tóm tắt
Brevis là nền tảng tính toán xác minh cho Web3, triển khai “chứng minh công việc thay vì lặp lại nó” bằng cách chuyển phép tính tốn kém ra ngoài chuỗi và xác minh bằng chứng ngắn gọn trên chuỗi trong mili giây. Ngăn xếp sử dụng Pico zkVM và ZK Data Coprocessor cho tính toán, đảm bảo tin cậy qua hai mô hình pure-ZK và coChain, kết nối phí, staking và quản trị qua token BREV, với các ứng dụng thực tế như Pico Prism, Vera và ProverNet.
Câu hỏi thường gặp
Brevis (BREV) là gì?
Brevis là nền tảng tính toán xác minh sử dụng bằng chứng không tiết lộ, được gọi là lớp tính toán không giới hạn của Web3. Nền tảng này thực thi phép tính phức tạp ngoài chuỗi và xác minh bằng chứng ngắn gọn trên chuỗi, loại bỏ nhu cầu trình xác thực lặp lại phép tính.
ZK Data Coprocessor khác gì Oracle?
Oracle chủ yếu đưa dữ liệu ngoài chuỗi lên chuỗi và vẫn cần tin tưởng nguồn dữ liệu. ZK Data Coprocessor thực hiện tính toán ngoài chuỗi với dữ liệu thực hoặc lịch sử trên chuỗi, đính kèm bằng chứng mật mã để xác minh trực tiếp trên chuỗi.
Vì sao Pico zkVM tăng tốc độ tạo bằng chứng?
Pico zkVM dùng kiến trúc “kết dính và đồng xử lý”: lõi RISC-V đa năng chạy chương trình Rust, còn các thao tác phổ biến chuyển tới mạch precompile chuyên dụng để tăng tốc. Theo Brevis, điều này giúp tăng tốc tạo bằng chứng khoảng 10 – 80 lần.
Nên chọn pure-ZK hay coChain?
pure-ZK chỉ dựa vào bằng chứng mật mã, mang lại quyết định tối đa nhưng cần bằng chứng cho mọi phép tính. coChain đảm bảo qua staking, slashing và cửa sổ thử thách trên Ethereum, có thể loại bỏ phí bằng chứng nếu không bị thử thách. Cả hai có thể viết một lần và triển khai linh hoạt với Brevis SDK.
Token BREV dùng để làm gì?
BREV là token tiện ích và quản trị của mạng Brevis, chủ yếu dùng để trả phí bằng chứng, làm tài sản thế chấp cho Prover (khóa để nhận nhiệm vụ, bị slashing nếu vi phạm) và tham gia quản trị thông số giao thức.
