[Long tweet in English] Rapport de recherche Brevis : zkVM et la couche de calcul vérifiable infinie des coprocesseurs de données ZK

Introduction de Chainfeeds :

Brevis a construit une couche de calcul vérifiable multi-chaînes en intégrant une zkVM universelle (Pico/Prism) avec un coprocesseur de données (zkCoprocessor).

Source :

Jacob Zhao

Opinion :

Jacob Zhao : La « vérifiable computing » (calcul vérifiable) est déjà devenue le modèle de calcul universel de la blockchain, dont le principe central est « calcul off-chain + vérification on-chain ». Ce paradigme permet à la blockchain de conserver la décentralisation et la sécurité avec une confiance minimale, tout en obtenant une liberté de calcul quasi illimitée. La preuve à connaissance nulle (ZKP) est le pilier de ce système, avec des applications principales dans l’évolutivité, la protection de la vie privée, l’interopérabilité et l’intégrité des données. Parmi celles-ci, l’évolutivité est la première direction à être mise en œuvre, en déplaçant le calcul hors chaîne et en vérifiant des preuves succinctes sur la chaîne, réalisant ainsi une augmentation de la capacité de confiance avec un débit élevé et un faible coût. L’évolution de la technologie ZK peut être résumée ainsi : L2 zkRollup → zkVM → zkCoprocessor → L1 zkEVM. Le L2 zkRollup a permis pour la première fois l’exécution off-chain et la vérification on-chain, améliorant considérablement les performances ; la zkVM a ensuite étendu ce modèle à une couche de calcul vérifiable universelle, prenant en charge la vérification cross-chain, le raisonnement IA et les tâches cryptographiques ; le zkCoprocessor a modulé ce modèle, devenant un service de preuve plug-and-play pour DeFi, RWA et la gestion des risques ; enfin, le L1 zkEVM intègre la vérification à connaissance nulle dans la couche d’exécution d’Ethereum, réalisant la preuve en temps réel (Realtime Proving, RTP). Cette évolution marque la transition de la blockchain de « l’évolutivité » vers la « vérifiabilité », entrant dans l’ère du calcul sans confiance. Le parcours zkEVM d’Ethereum a connu deux phases : la première (2022–2024), où le L2 Rollup migre la couche d’exécution mais introduit la fragmentation de la liquidité et de l’état ; la seconde (2025–), où le L1 RTP remplace la vérification N-of-N par une preuve 1-of-N, augmentant le débit tout en maintenant la décentralisation. En dehors d’Ethereum, le calcul à connaissance nulle s’oriente vers un champ de calcul vérifiable plus vaste, avec pour noyau la zkVM et le zkCoprocessor. La zkVM (machine virtuelle à connaissance nulle) est un moteur d’exécution vérifiable universel, capable d’exécuter n’importe quel programme sur les jeux d’instructions RISC-V, MIPS ou WASM, dont les résultats de preuve peuvent être vérifiés on-chain, utilisés pour la validation de blocs, le raisonnement IA et les tâches cross-chain. Son avantage réside dans sa généralité et sa flexibilité, mais le coût de génération des preuves est élevé et l’optimisation du parallélisme est complexe. Les projets représentatifs incluent RiscZero, SP1 de SuccinctLabs et Pico zkVM de Brevis. En comparaison, le zkCoprocessor ressemble davantage à un « module vérifiable pour scénarios spécifiques », fournissant des interfaces standardisées de calcul et de preuve pour DeFi, RWA, etc. Les applications peuvent simplement appeler le SDK ou l’API pour obtenir les résultats et les preuves, avec une intégration rapide et un coût faible, mais une généralité limitée. Les deux partagent la logique « calcul off-chain + vérification on-chain » : le coût du calcul on-chain est bien supérieur au coût combiné de la génération off-chain et de la vérification on-chain. Sur le plan commercial, la zkVM relève du modèle « Proving-as-a-Service », fournissant un moteur de calcul pour l’infrastructure ; le zkCoprocessor est un « Proof-API-as-a-Service », offrant un service SaaS facturé à la tâche pour la couche applicative. Le premier construit un fossé technologique, le second favorise l’atterrissage commercial. Ensemble, ils forment les deux pôles du réseau de calcul décentralisé : la zkVM construit la base du calcul, le zkCoprocessor stimule la prospérité de l’écosystème. Brevis Network fusionne l’architecture de la zkVM et du zkCoprocessor pour créer une infrastructure de calcul vérifiable universelle et haute performance, appelée « couche de calcul infinie ». Sa Pico zkVM adopte une architecture modulaire, découplant la couche d’exécution générale de la couche coprocesseur accélérée matériellement, réalisant un système à double couche « General + Specialized », prenant en charge divers backends de preuve et modules de compression récursive. Les développeurs peuvent écrire la logique métier en Rust pour générer automatiquement des preuves, réduisant considérablement la barrière d’entrée. Pico Prism repousse encore les limites des performances sur clusters multi-GPU, atteignant une moyenne de 6,9 secondes de preuve et un taux de couverture RTP de 96,8 % dans un environnement 64×RTX5090, avec un rapport performance/coût 3,4 fois supérieur à la concurrence. Le zk Data Coprocessor de Brevis dote les smart contracts d’une « mémoire », leur permettant d’accéder à des données historiques et d’effectuer des vérifications sans confiance, pour des récompenses de liquidité, des identités cross-chain et du DeFi piloté par les données. Sa couche d’incitation Incentra réalise une distribution transparente on-chain via des preuves ZK, ayant déjà servi PancakeSwap, Euler, UsualMoney, Linea et d’autres protocoles. Selon Brevis Explorer, d’ici octobre 2025, le réseau aura généré 125 millions de preuves ZK, soutenu plus de 2.8 milliards de dollars de TVL et vérifié un volume de transactions supérieur à 1 milliard de dollars. Brevis s’appuie sur la couche de sécurité d’Ethereum et EigenLayer pour s’étendre à BNB, Linea, 0G et d’autres écosystèmes, fournissant un support de base pour les incitations on-chain, l’optimisation de la liquidité et la vérification cross-chain, construisant ainsi un réseau de calcul vérifiable à rétroaction technique et applicative en flywheel. [L’original est en anglais]