Thách thức trọng tâm của tính toán tin cậy trên chuỗi là xác lập "vì sao kết quả có thể tin cậy". Bằng chứng mật mã mang lại mức xác định tối đa, nhưng việc tạo ra các bằng chứng này đòi hỏi phần cứng chuyên dụng và tỷ lệ băm, khiến hiệu suất bị giới hạn và chi phí tăng cao. Để cân bằng giữa xác định và hiệu suất, Brevis (BREV) giới thiệu mô hình bảo mật kinh tế tiền mã hóa coChain, ứng dụng cơ chế Stake và slashing Proof-of-Stake (PoS) nhằm cung cấp nguồn kết quả lạc quan có thể thách thức, thay thế và đáng tin cậy.
Trong thiết kế này, BREV là tài sản thanh toán, thế chấp và quản trị. Các đặc tính này cùng với quy trình vận hành coChain tạo thành nền tảng bảo mật kinh tế tiền mã hóa của Brevis.
BREV là token tiện ích và quản trị gốc của mạng Brevis. Đây không chỉ là token phí giao dịch, mà còn là công cụ kinh tế kết nối trực tiếp chất lượng cung cấp bằng chứng với bảo mật mạng lưới.
Trong hệ sinh thái Brevis, BREV liên kết ba thành phần chính: người yêu cầu tính toán, Prover (người tạo bằng chứng zero-knowledge) và validator chịu trách nhiệm duy trì đồng thuận coChain. Người yêu cầu thanh toán bằng chứng; Prover và validator phải khóa BREV làm tài sản thế chấp để đảm bảo thực hiện, nếu vi phạm sẽ bị slashing, đảm bảo lưu thông BREV gắn liền với hoạt động mạng.
BREV có ba chức năng chính: thanh toán, thế chấp và quản trị. Ba vai trò này củng cố kinh tế cung cấp bằng chứng của Brevis, hướng đến mục tiêu "tạo ra tính toán chính xác và xử phạt hành vi sai lệch".
| Chức năng | Vai trò | Mô tả |
|---|---|---|
| Thanh toán phí chứng minh | Người yêu cầu | Sử dụng BREV để trả cho tính toán ngoài chuỗi và tạo bằng chứng |
| Prover staking collateral | Prover | Khóa BREV làm tài sản stake để nhận nhiệm vụ; bị slashing nếu vi phạm |
| Quản trị giao thức | Người nắm giữ | Tham gia quyết định các tham số giao thức quan trọng |
Ba tiện ích này tạo thành một vòng khép kín: người yêu cầu thanh toán phí chứng minh bằng BREV; Prover stake BREV để nhận nhiệm vụ, biến cam kết thành nghĩa vụ tài chính; người nắm giữ điều chỉnh tham số giao thức, giúp mạng phát triển an toàn.

Hình 1. Ba tiện ích cốt lõi của token BREV: thanh toán phí chứng minh, Prover staking collateral và quản trị giao thức.
coChain là mô hình bảo mật kinh tế tiền mã hóa của Brevis—Blockchain PoS với staking và slashing trên Ethereum, thiết kế để cung cấp tính toán có thể xác minh với độ trễ thấp, chi phí tối ưu và tối giản niềm tin.
coChain ra đời để khắc phục hạn chế của mô hình thuần ZK. Trong thiết lập thuần ZK, mọi kết quả đều phải có bằng chứng zero-knowledge trước khi chuyển giao, đảm bảo xác định tối đa nhưng phát sinh chi phí phần cứng, tỷ lệ băm và độ trễ lớn—đặc biệt với các thao tác phức tạp, ứng dụng thời gian thực. Lớp thực thi đa năng Pico zkVM hỗ trợ quá trình tạo bằng chứng này.
coChain giải quyết vấn đề bằng phương pháp "đề xuất lạc quan + thách thức": kết quả validator gửi mặc định được tin cậy, chỉ cần bằng chứng zero-knowledge khi có tranh chấp. Phần lớn trường hợp, điều này loại bỏ chi phí tạo bằng chứng, vẫn giữ cơ chế dự phòng mật mã để sửa lỗi. Mô hình này, giống sự khác biệt giữa Brevis và oracles, tập trung vào tính toán có thể xác minh trên chuỗi thay vì truyền dữ liệu ngoài chuỗi, với coChain neo giữ niềm tin ở cơ chế Stake và slashing.
Mô hình coChain vận hành qua ba giai đoạn: đề xuất, thách thức và slashing. Quy trình này neo giữ độ tin cậy của kết quả vào tài sản thế chấp có thể bị slashing, bắt đầu từ tính toán ngoài chuỗi và kết thúc bằng phán quyết trên Ethereum.
Brevis còn có kế hoạch tích hợp EigenLayer, cho phép nhà phát triển điều chỉnh động mức bảo mật ở giai đoạn đề xuất—kết hợp động lực kinh tế tiền mã hóa với bằng chứng zero-knowledge để cung cấp bảo mật và chi phí linh hoạt cho nhiều nhu cầu.

Hình 2. Quy trình bảo mật kinh tế tiền mã hóa coChain: kết quả PoS → đề xuất (với chữ ký tổng hợp của quorum) → cửa sổ thách thức → thách thức ZK kích hoạt slashing trên Ethereum, hoặc kết quả được dApp chấp nhận nếu không bị thách thức.
Khác biệt chính giữa thuần-ZK và coChain là cơ chế tin cậy: thuần-ZK dựa hoàn toàn vào bằng chứng mật mã, còn coChain bổ sung động lực kinh tế tiền mã hóa với staking và slashing. Hai mô hình này không loại trừ nhau—mỗi mô hình phù hợp với nhu cầu xác định và chi phí khác nhau.
| Phương diện | thuần-ZK | coChain (Mô hình OP) |
|---|---|---|
| Nguồn tin cậy | Bằng chứng mật mã | Staking, slashing, thách thức ZK tùy chọn |
| Độ trễ kết quả | Chờ bằng chứng | Có thể sử dụng sau cửa sổ thách thức |
| Chi phí tính toán | Luôn yêu cầu bằng chứng | Không phát sinh chi phí nếu không bị thách thức |
| Mức độ bảo mật | Đảm bảo bằng chứng ZK | Điều chỉnh động qua EigenLayer |
| Trường hợp sử dụng | Tối đa xác định | Nhạy cảm về chi phí và độ trễ |
Tóm lại: thuần-ZK đơn giản, xác định tối đa, đổi lại chi phí và độ trễ cao hơn; coChain dùng đề xuất lạc quan để giảm độ trễ và chi phí, bảo mật phụ thuộc quy trình thách thức và quy mô staking. Với Brevis SDK, nhà phát triển chỉ cần viết logic một lần và triển khai cả hai mô hình.
Cơ chế stake và slashing BREV đảm bảo Prover giao bằng chứng đúng hạn. Để nhận nhiệm vụ, Prover phải khóa BREV làm tài sản thế chấp, biến cam kết thành nghĩa vụ tài chính.
Cơ chế này triển khai trong ProverNet, thị trường bằng chứng ZK phi tập trung của Brevis, vận hành trên mainnet và chạy trên rollup Brevis Chain chuyên biệt để điều phối đấu giá. Prover stake BREV để tham gia đấu giá nhiệm vụ bằng chứng.
Yếu tố then chốt là thời hạn: nếu Prover trễ hạn hoặc không giao bằng chứng hợp lệ, BREV stake sẽ bị slashing. Điều này liên kết trực tiếp độ tin cậy cung cấp bằng chứng với tài sản thế chấp thực, thúc đẩy Prover chỉ nhận nhiệm vụ có thể hoàn thành đúng hạn, duy trì chất lượng thị trường bằng chứng.
Giá trị của BREV đến từ tiện ích mạng: là tài sản thanh toán, thế chấp và quản trị cho kinh tế bằng chứng, nhu cầu của nó gắn trực tiếp với mức sử dụng thực tế của tính toán có thể xác minh Brevis. Theo blog chính thức Brevis (2025), mạng đã tạo hơn 340 triệu bằng chứng, phủ hơn 50 giao thức trên hơn 8 Blockchain, với nền tảng hoạt động vững chắc.
Hạn chế chính đến từ thiết kế cơ chế. Bảo mật coChain phụ thuộc vào các bên thách thức tích cực và lượng staking validator đủ lớn; nếu thiếu thách thức hoặc staking thấp, khả năng sửa lỗi đề xuất lạc quan bị suy yếu. Các tham số như thời lượng cửa sổ thách thức và tỷ lệ slashing do quản trị xác lập, mức độ phù hợp ảnh hưởng trực tiếp bảo mật.
Rủi ro gồm sự phụ thuộc của BREV vào mức độ chấp nhận trong hệ sinh thái Brevis và nhu cầu bằng chứng, nguồn cung ProverNet tùy thuộc vào Prover tham gia, cùng các lỗi triển khai tiềm ẩn trong hợp đồng thông minh và tích hợp SDK. Đây là các hạn chế cơ chế khách quan, không phải lời khuyên đầu tư hay dự báo giá.
BREV, token tiện ích và quản trị gốc của mạng Brevis, liên kết chất lượng cung cấp bằng chứng với bảo mật mạng qua ba chức năng: thanh toán phí chứng minh, Prover staking collateral và quản trị giao thức. coChain, Blockchain PoS với staking và slashing trên Ethereum, cung cấp lộ trình "đề xuất lạc quan + thách thức": đề xuất sai bị slashing trên Ethereum, kết quả không bị thách thức không phát sinh chi phí bằng chứng. Cả hai mô hình có thể triển khai linh hoạt bằng Brevis SDK, tạo nên khung bảo mật cân bằng giữa xác định và hiệu quả.
BREV, token tiện ích và quản trị gốc của mạng Brevis, có ba trường hợp sử dụng chính: người yêu cầu dùng BREV để thanh toán phí chứng minh, Prover khóa BREV làm tài sản stake để nhận nhiệm vụ và có thể bị slashing nếu vi phạm, người nắm giữ tham gia quản trị giao thức.
thuần-ZK dựa hoàn toàn vào bằng chứng mật mã để đảm bảo niềm tin, yêu cầu bằng chứng zero-knowledge cho mọi kết quả, mang lại xác định tối đa nhưng đi kèm chi phí và độ trễ cao. coChain bổ sung lớp lý thuyết trò chơi với staking và slashing, sử dụng đề xuất lạc quan và cơ chế thách thức để giảm chi phí, độ trễ khi không bị thách thức.
coChain yêu cầu validator stake trên Ethereum và gửi kết quả tính toán lên chuỗi yêu cầu dưới dạng đề xuất, mở cửa sổ thách thức. Bất kỳ ai cũng có thể nộp bằng chứng zero-knowledge để thách thức đề xuất sai trong cửa sổ này; nếu thách thức thành công, stake của validator bị slashing trên Ethereum, ngăn chặn hiệu quả hành vi ác ý.
Prover stake BREV trong ProverNet để đấu giá nhiệm vụ bằng chứng. Nếu Prover trễ hạn hoặc không giao bằng chứng zero-knowledge hợp lệ đúng hạn, BREV đã stake sẽ bị slashing, đảm bảo chất lượng giao dịch trên thị trường bằng chứng phi tập trung.





