Le défi central de la computation fiable sur la Blockchain consiste à démontrer « pourquoi le résultat peut être considéré comme fiable ». Les preuves cryptographiques offrent le plus haut niveau de déterminisme, mais leur génération nécessite un matériel spécialisé et un taux de hachage important, ce qui limite naturellement l’efficacité et augmente les coûts. Pour équilibrer déterminisme et performance, Brevis (BREV) introduit le modèle de sécurité crypto-économique coChain, qui exploite le staking Proof-of-Stake (PoS) et la slashing pour fournir une source alternative et fiable de résultats optimistes contestables.
Dans cette architecture, BREV joue le rôle d’actif de paiement, de collatéral et de gouvernance. Ses fonctionnalités, associées au fonctionnement opérationnel de coChain, constituent la base de la sécurité crypto-économique de Brevis.
Qu’est-ce que le token BREV ?
BREV est le token utilitaire et de gouvernance natif du réseau Brevis. Il dépasse la simple fonction de frais de transaction : c’est un instrument économique qui relie directement la qualité de l’offre de preuve à la sécurité du réseau.
Au sein de l’écosystème Brevis, BREV relie trois acteurs principaux : le demandeur de computation, le Prover qui génère des preuves à connaissance zéro, et le validateur chargé du consensus sur coChain. Les demandeurs paient pour les preuves, tandis que Provers et validateurs doivent verrouiller BREV comme collatéral pour garantir l’exécution ; la slashing est appliquée en cas de manquement, assurant que la circulation de BREV soit étroitement liée à l’activité du réseau.
Quelles sont les utilisations de BREV ?
BREV remplit trois fonctions majeures : paiement, collatéral et gouvernance. Ensemble, ces rôles soutiennent l’économie de l’offre de preuve de Brevis, visant à « produire une computation précise et pénaliser les comportements incorrects ».
| Fonction |
Rôle |
Description |
| Payer les frais de preuve |
Demandeur |
Utiliser BREV pour régler la computation off-chain et la génération de preuve |
| Collatéral de staking du Prover |
Prover |
Verrouiller BREV comme collatéral de staking pour recevoir des tâches ; slashing en cas de non-respect |
| Gouvernance du protocole |
Détenteur |
Participer aux décisions de gouvernance sur des paramètres critiques du protocole |
Ces trois utilités forment une boucle fermée : les demandeurs paient les frais de preuve en BREV ; les Provers doivent staker BREV pour accepter des tâches, transformant leur engagement en une promesse économiquement exécutable ; les détenteurs ajustent les paramètres du protocole, permettant au réseau d’évoluer en toute sécurité.
Figure 1. Les trois utilités principales du token BREV : paiement des frais de preuve, collatéral de staking du Prover et gouvernance du protocole.
Qu’est-ce que coChain et pourquoi est-il nécessaire ?
coChain est le modèle de sécurité crypto-économique de Brevis : une Blockchain PoS avec staking et slashing sur Ethereum, conçue pour offrir une computation vérifiable à faible latence, efficace et avec une confiance minimisée.
coChain a été développé pour pallier les limites du modèle pure-ZK. Dans une configuration pure-ZK, chaque résultat doit être accompagné d’une preuve à connaissance zéro avant d’être délivré, ce qui maximise le déterminisme mais entraîne des coûts élevés en matériel, taux de hachage et latence — en particulier pour les opérations complexes et les applications en temps réel. La couche d’exécution générale Pico zkVM soutient ce processus de génération de preuve.
coChain résout ce défi par une approche « proposition optimiste + challenge » : les résultats soumis par les validateurs sont considérés comme fiables par défaut, et les preuves à connaissance zéro ne sont requises qu’en cas de contestation. Dans la majorité des cas, cela élimine les coûts de génération de preuve, tout en conservant une solution cryptographique de secours pour corriger les erreurs. Ce modèle, comme la différence entre Brevis et les oracles, privilégie la computation vérifiable sur la Blockchain plutôt que la transmission de données externes, avec coChain fondant la confiance sur le staking et la slashing.
Le modèle coChain opère en trois étapes clés : proposition, challenge et slashing. Ce processus ancre la fiabilité des résultats dans le collatéral pouvant être slashed, en commençant par la computation off-chain et en concluant par une décision finale sur Ethereum.
- Les validateurs coChain génèrent des résultats de coprocessor à partir des données brutes des nœuds d’archive — reproduisant la logique des ZK data coprocessors qui accèdent et calculent des données off-chain — puis atteignent un consensus via PoS.
- Les validateurs soumettent le résultat et les signatures de quorum agrégées en tant que proposition à la chaîne demandeuse, déclenchant deux temporisateurs : une fenêtre de challenge configurable par l’application et une fenêtre de slashing coChain au niveau système.
- Pendant la fenêtre de challenge, toute partie peut soumettre une preuve à connaissance zéro pour contester une proposition erronée. Si le challenge est validé, le stake du validateur est slashed sur Ethereum ; en l’absence de challenge, le résultat est adopté par la DApp sans coût supplémentaire de preuve.
Brevis prévoit également d’intégrer EigenLayer, permettant aux développeurs d’ajuster dynamiquement les niveaux de sécurité lors de la phase de proposition — fusionnant les incitations crypto-économiques avec les preuves à connaissance zéro pour offrir des compromis flexibles entre sécurité et coût selon les cas d’usage.
Figure 2. Flux de sécurité crypto-économique coChain : résultat computation PoS → proposition (avec signatures de quorum agrégées) → fenêtre de challenge → challenge ZK déclenche la slashing sur Ethereum, ou le résultat est adopté par la DApp s’il n’est pas contesté.
La principale distinction entre pure-ZK et coChain réside dans le mécanisme de confiance : pure-ZK repose exclusivement sur des preuves cryptographiques, tandis que coChain ajoute une couche d’incitations crypto-économiques par le staking et la slashing. Ces modèles ne sont pas exclusifs ; ils répondent à des besoins différents en matière de déterminisme et de coût.
| Dimension |
pure-ZK |
coChain (Modèle OP) |
| Source de confiance |
Preuve cryptographique |
Staking, slashing et challenge ZK optionnel |
| Latence du résultat |
Attente de la preuve |
Utilisable après la fenêtre de challenge |
| Coût computationnel |
Preuve requise à chaque fois |
Aucun coût de preuve si non contesté |
| Niveau de sécurité |
Garanti par preuve ZK |
Ajustable dynamiquement via EigenLayer |
| Cas d’usage |
Déterminisme maximal |
Scénarios sensibles au coût et à la latence |
En résumé : pure-ZK offre simplicité et déterminisme maximal, mais avec des coûts et une latence plus élevés ; coChain utilise des propositions optimistes pour obtenir une latence et un coût réduits, avec une sécurité dépendant du processus de challenge et du volume du staking. Avec le SDK Brevis, les développeurs peuvent écrire une logique métier unique et la déployer sur les deux modèles.
Le mécanisme de staking et de slashing BREV garantit que les Provers livrent les preuves dans les délais. Pour accepter une tâche, les Provers doivent verrouiller BREV comme collatéral, transformant leur engagement en une obligation financière exécutable.
Ce mécanisme est implémenté dans ProverNet, le marché décentralisé de preuve ZK de Brevis, qui est en direct sur le mainnet et fonctionne sur un rollup dédié Brevis Chain pour la coordination des enchères. Les Provers stakent BREV pour participer aux enchères de tâches de preuve.
La contrainte principale est la date limite : si un Prover manque la date limite ou ne livre pas une preuve qualifiée à temps, son BREV staké est slashed. Cela relie directement la fiabilité de l’offre de preuve à un collatéral réel, incitant les Provers à n’accepter que les tâches qu’ils peuvent accomplir dans les délais, maintenant ainsi la qualité du service sur le marché de la preuve.
Quels sont les avantages, risques et limites de la détention ou de l’utilisation de BREV ?
La valeur de BREV repose sur l’utilité du réseau : en tant qu’actif de règlement, de collatéral et de gouvernance pour l’économie de la preuve, sa demande dépend directement de l’utilisation effective de la computation vérifiable de Brevis. Selon le blog officiel de Brevis (2025), le réseau a généré plus de 340 millions de preuves, couvrant plus de 50 protocoles sur plus de 8 Blockchains, avec une base opérationnelle robuste.
Les principales limites sont inhérentes à la conception du mécanisme. La sécurité de coChain dépend de challengers actifs et d’un staking suffisant des validateurs ; en l’absence de challengers ou si le staking est trop faible, la capacité de correction des erreurs des propositions optimistes est réduite. Les paramètres critiques tels que la durée de la fenêtre de challenge et les ratios de slashing sont fixés par la gouvernance, et leur pertinence a un impact direct sur la sécurité.
Les risques incluent la dépendance de BREV à l’adoption dans l’écosystème Brevis et à la demande de preuve, l’offre de ProverNet dépendant de la participation des Provers, et d’éventuelles failles d’implémentation dans les Smart Contracts et les intégrations SDK. Ce sont des contraintes objectives du mécanisme et ne constituent pas un conseil en investissement ni une prévision de prix.
Résumé
BREV, le token utilitaire et de gouvernance natif du réseau Brevis, relie la qualité de l’offre de preuve et la sécurité du réseau à travers trois fonctions principales : paiement des frais de preuve, collatéral de staking du Prover et gouvernance du protocole. coChain, une Blockchain PoS avec staking et slashing sur Ethereum, offre une voie « proposition optimiste + challenge » : les propositions erronées déclenchent la slashing sur Ethereum, tandis que les résultats non contestés évitent les coûts de preuve. Les deux modèles peuvent être déployés selon les besoins via le SDK Brevis, formant ensemble un cadre de sécurité flexible qui équilibre déterminisme et efficacité.
FAQ
Quels sont les cas d’usage du token BREV ?
En tant que token utilitaire et de gouvernance natif du réseau Brevis, BREV présente trois principaux cas d’usage : les demandeurs utilisent BREV pour payer les frais de preuve, les Provers verrouillent BREV comme collatéral de staking pour recevoir des tâches et sont soumis à la slashing en cas de violation, et les détenteurs participent à la gouvernance du protocole.
Quelle est la différence entre coChain et pure-ZK ?
pure-ZK repose entièrement sur des preuves cryptographiques pour la confiance, nécessitant une preuve à connaissance zéro pour chaque résultat, ce qui offre un déterminisme maximal mais implique des coûts et une latence plus élevés. coChain ajoute une couche de théorie des jeux avec le staking et la slashing, utilisant des propositions optimistes et un mécanisme de challenge pour réduire les coûts et la latence en l’absence de contestation.
Comment le modèle de sécurité crypto-économique coChain prévient-il les fautes des validateurs ?
coChain exige que les validateurs stakent sur Ethereum et soumettent les résultats de computation en tant que propositions à la chaîne demandeuse, initiant une fenêtre de challenge. Pendant cette fenêtre, toute personne peut soumettre une preuve à connaissance zéro pour contester une proposition défectueuse ; si le challenge aboutit, le stake du validateur est slashed sur Ethereum, dissuadant efficacement les comportements malveillants.
Quand le BREV staké d’un Prover sera-t-il slashed ?
Les Provers stakent BREV dans ProverNet pour remporter des tâches de preuve. Si un Prover manque la date limite ou ne fournit pas une preuve à connaissance zéro qualifiée dans les délais, son BREV staké sera slashed, garantissant une livraison fiable sur le marché décentralisé de la preuve.
