Brevis Rapport : ZKVM et la couche de calcul de confiance infinie avec les coprocesseurs de données

Auteur : JacobZhao Source : mirror

Le paradigme de calcul vérifiable (Verifiable Computing) « calcul hors chaîne + vérification sur chaîne » est devenu le modèle de calcul universel des systèmes blockchain. Il permet aux applications blockchain d'obtenir presque une liberté de calcul illimitée (computational freedom) tout en maintenant la décentralisation et la minimisation de la confiance (trustlessness) en termes de sécurité. La preuve à connaissance nulle (ZKP) est le pilier central de ce paradigme, et ses applications se concentrent principalement sur trois directions fondamentales : l'évolutivité (Scalability), la confidentialité (Privacy) et l'interopérabilité et l'intégrité des données (Interoperability & Data Integrity). Parmi celles-ci, l'évolutivité est le premier scénario dans lequel la technologie ZK a été mise en œuvre, permettant d'atteindre une évolutivité fiable à haut TPS et à faible coût en déplaçant l'exécution des transactions hors chaîne et en vérifiant les résultats sur chaîne avec de courtes preuves.

L'évolution du calcul fiable ZK peut être résumée par L2 zkRollup → zkVM → zkCoprocessor → L1 zkEVM. Les premiers L2 zkRollup ont déplacé l'exécution au niveau deux et soumis une preuve de validité (Validity Proof) au niveau un, permettant une scalabilité à haut débit et à faible coût avec peu de modifications. zkVM s'est ensuite étendu en tant que couche de calcul vérifiable général, prenant en charge la vérification inter-chaînes, le raisonnement AI et le calcul cryptographique (projets représentatifs : Risc Zero, Succinct, Brevis Pico). zkCoprocessor a évolué parallèlement, servant de module de vérification scénarisé, offrant des services de calcul et de preuve plug-and-play pour DeFi, RWA, gestion des risques, etc. (projets représentatifs : Brevis, Axiom). En 2025, le concept de zkEVM s'est étendu à la preuve en temps réel L1 (Realtime Proving, RTP), construisant des circuits vérifiables au niveau des instructions EVM, intégrant directement les preuves à divulgation nulle dans le processus d'exécution et de vérification du réseau principal Ethereum, devenant ainsi un mécanisme d'exécution vérifiable natif. Ce fil conducteur illustre le saut technologique de la blockchain, passant de “scalable” à “verifiable”, ouvrant une nouvelle phase de calcul fiable.

I. La voie d'extension de l'zkEVM d'Ethereum : du L2 Rollup à la preuve en temps réel L1

Le chemin d'extension de zkEVM d'Ethereum passe par deux étapes :

• Phase 1 (2022–2024) : L2 zkRollup effectuera le transfert au niveau deux, en soumettant des preuves de validité au niveau un ; cela réduit considérablement les coûts et augmente le débit, mais entraîne une fragmentation de la liquidité et de l'état, L1 reste soumis à la réexécution N-of-N.
• Phase deux (2025–) : Preuve L1 en temps réel (Realtime Proving, RTP) remplace la réexécution par “1-of-N preuve + validation légère sur l'ensemble du réseau”, améliorant le débit sans sacrifier la décentralisation, et est encore en cours d'évolution.

Phase L2 zkRollup : Équilibre entre compatibilité et performance d'expansion

En 2022, à l'étape où l'écosystème Layer2 fleurissait, le fondateur d'Ethereum, Vitalik Buterin, a proposé quatre catégories de ZK-EVM (Type 1-4), révélant de manière systématique le compromis structurel entre la compatibilité et la performance. Ce cadre a établi des coordonnées claires pour la future route technologique des zkRollup :

• Type 1 Équivalence parfaite : identique au bytecode Ethereum, coût de migration le plus bas, preuve la plus lente. Taiko.
• Type 2 entièrement compatible : très peu d'optimisation de bas niveau, compatibilité maximale. Scroll, Linea.
• Type 2.5 semi-compatible : légères modifications (gas/ précompilation, etc.) échangées contre performance. Polygon zkEVM, Kakarot.
• Type 3 Partiellement compatible : modifications plus importantes, capable de faire fonctionner la plupart des applications mais difficilement réutilisable complètement l'infrastructure L1. zkSync Era.
• Type 4 niveau de langage : abandon de la compatibilité du bytecode, compilation directe des langages de haut niveau en circuits, performance optimale mais nécessité de reconstruire l'écosystème (représentant : Starknet / Cairo).

Le mode L2 zkRollup est désormais mature : en transférant l'exécution au niveau deux et en soumettant une preuve de validité (Validity Proof) au niveau un, tout en conservant les écosystèmes et les outils d'Ethereum avec un minimum de modifications, il est devenu une solution de mise à l'échelle et de réduction des coûts mainstream. L'objet de la preuve est le bloc L2 et le transfert d'état, tandis que le règlement et la sécurité restent ancrés au niveau 1. Cette architecture améliore considérablement le débit et l'efficacité, tout en maintenant une grande compatibilité pour les développeurs, mais elle entraîne également une fragmentation de la liquidité et des états, et le niveau 1 reste limité par le goulet d'étranglement de la réexécution N-of-N.

L1 zkEVM : La preuve en temps réel redéfinit la logique de vérification légère d'Ethereum

En juillet 2025, la Fondation Ethereum a publié un article intitulé « Shipping an L1 zkEVM #1: Realtime Proving » qui propose officiellement la feuille de route L1 zkEVM. L1 zkEVM passe de la réexécution N-of-N d'Ethereum à une preuve 1-of-N + une vérification rapide sur l'ensemble du réseau : un petit nombre de proveurs génèrent de courtes preuves pour le transfert de l'état EVM complet, et tous les validateurs effectuent une vérification en temps constant. Ce schéma permet d'atteindre une preuve en temps réel de niveau L1 sans compromettre la décentralisation, tout en améliorant la limite de gaz et le débit du réseau principal, et en réduisant considérablement le seuil matériel des nœuds. Son plan de mise en œuvre consiste à remplacer le client d'exécution traditionnel par un client zk, fonctionnant d'abord en parallèle, et, une fois que les performances, la sécurité et le mécanisme d'incitation sont matures, à devenir progressivement la nouvelle norme au niveau du protocole.

• N of N ancien paradigme : tous les validateurs exécutent à plusieurs reprises l'ensemble des transactions pour vérifier, sécurisé mais avec un débit limité, des frais de pointe élevés.
• 1 of N Nouvelle Paradigme : un petit nombre de proveurs exécute le bloc entier et produit une courte preuve ; le réseau entier ne fait que des vérifications en temps constant. Le coût de vérification est bien inférieur à la réexécution, ce qui permet d'augmenter en toute sécurité la limite de gaz L1 et de réduire les exigences matérielles.

Les trois grandes lignes directrices de la feuille de route L1 zkEVM

1. Preuve en temps réel (Realtime Proving) : réaliser la preuve de bloc complète dans un délai de 12 secondes, en compressant le délai par parallélisation et accélération matérielle ;
2. Intégration du client et du protocole : interface de vérification de preuve normalisée, d'abord optionnelle, puis par défaut ;
3. Incitations et sécurité : établir un marché Prover et un modèle de frais, renforcer la résistance à la censure et l'activité du réseau.

La preuve en temps réel L1 d'Ethereum (RTP) utilise zkVM pour réexécuter hors chaîne l'ensemble des transactions et générer des preuves cryptographiques, permettant aux validateurs de ne pas avoir à recalculer, mais simplement de vérifier une petite preuve en moins de 10 secondes, réalisant ainsi une “vérification au lieu d'une exécution”, ce qui améliore considérablement l'évolutivité d'Ethereum et l'efficacité de la vérification sans confiance. Selon la page officielle du zkEVM Tracker de la fondation Ethereum, les principales équipes participant actuellement à la route de la preuve en temps réel L1 zkEVM incluent SP1 Turbo (Succinct Labs), Pico (Brevis), Risc Zero, ZisK, Airbender (zkSync), OpenVM(Axiom et Jolt(a16z).

II. Au-delà d'Ethereum : zkVM universel et zkCoprocessor

En dehors de l'écosystème Ethereum, la technologie des preuves à connaissance nulle (ZKP) s'étend également à des domaines plus vastes de l'informatique vérifiable (Verifiable Computing), formant deux types de systèmes technologiques centrés sur le zkVM et le zkCoprocessor.

zkVM : couche de calcul vérifiable universelle

Moteur d'exécution vérifiable orienté vers n'importe quel programme, les architectures de jeu d'instructions courantes incluent RISC-V, MIPS et WASM. Les développeurs peuvent compiler la logique métier dans zkVM, où le prover exécute hors chaîne et génère une preuve à connaissance nulle (ZKP) vérifiable sur la chaîne, pouvant être utilisée à la fois pour la preuve de bloc sur Ethereum L1 et pour des scénarios tels que la vérification inter-chaînes, le raisonnement AI, le calcul cryptographique et des algorithmes complexes. Ses avantages sont sa polyvalence et son large éventail d'adaptabilité, mais les circuits sont complexes et le coût de la preuve est élevé, nécessitant une parallélisation multi-GPU et une forte optimisation d'ingénierie. Les projets représentatifs incluent Risc Zero, Succinct SP1, Brevis Pico / Prism.

zkCoprocessor : module de vérification contextualisé

Fournir des services de calcul et de preuve “plug-and-play” adaptés à des scénarios commerciaux spécifiques. La plateforme est préconfigurée avec l'accès aux données et la logique des circuits (tels que la lecture des données historiques en chaîne, TVL, règlement des revenus, vérification d'identité, etc.), et les applications peuvent obtenir les résultats de calcul et la consommation de preuve sur la chaîne par des appels SDK / API. Ce modèle est rapide à mettre en œuvre, performant et peu coûteux, mais sa généralité est limitée. Des projets typiques incluent Brevis zkCoprocessor, Axiom, etc.

Dans l'ensemble, le zkVM et le zkCoprocessor suivent tous deux le paradigme de calcul fiable “calcul hors chaîne + vérification sur chaîne”, en vérifiant les résultats hors chaîne sur la chaîne grâce à des preuves à divulgation nulle de connaissance. Leur logique économique repose sur le postulat suivant : le coût d'exécution direct sur la chaîne est bien supérieur au coût combiné de la génération de preuves hors chaîne et de la vérification sur chaîne.

La différence clé entre les deux en termes de polyvalence et de complexité technique est :

• zkVM est une infrastructure de calcul général, adaptée aux scénarios complexes, interdomaines ou d'IA, offrant la plus grande flexibilité ;
• zkCoprocessor est un service de validation modulaire, fournissant des interfaces de validation à faible coût et directement appelables pour des scénarios à haute fréquence et réutilisables (DeFi, RWA, gestion des risques, etc.).

Dans le chemin commercial, la différence entre zkVM et zkCoprocessor est :

• zkVM utilise le modèle Proving-as-a-Service, facturé par preuve (ZKP), principalement destiné aux clients d'infrastructure tels que L2 Rollup. Ses caractéristiques incluent une grande taille de contrat, des cycles longs et une marge brute stable ;
• zkCoprocessor fonctionne principalement avec Proof API-as-a-Service, facturé par tâche via des appels API ou une intégration SDK, se rapprochant ainsi du modèle SaaS, destiné aux protocoles de couche d'application tels que DeFi, avec une intégration rapide et une grande évolutivité.

Dans l'ensemble, zkVM est le moteur sous-jacent du calcul vérifiable, tandis que zkCoprocessor est le module de validation au niveau des applications : le premier construit une barrière technologique, le second stimule la mise en œuvre commerciale, formant ensemble un réseau de calcul fiable et universel.

Trois, la carte des produits et le chemin technologique de Brevis

Partant de la preuve en temps réel (Realtime Proving) de l'Ethereum L1, la technologie ZK progresse progressivement vers une ère de calcul vérifiable centrée sur l'architecture zkVM universelle et le zkCoprocessor. Le Brevis Network est une fusion de zkVM et de zkCoprocessor, construisant une infrastructure de calcul vérifiable universelle centrée sur le calcul à connaissance nulle, alliant haute performance et programmabilité - la couche de calcul infinie pour tout.

( 3.1 Pico zkVM : architecture de preuve modulaire pour le calcul vérifiable général

En 2024, Vitalik a proposé l'architecture “couche d'exécution générale + couche d'accélération de coprocesseur” (glue & coprocessor) dans son ouvrage “Glue and Coprocessor Architectures”. Les calculs complexes peuvent être décomposés en logique métier générale et calculs intensifs structurés - la première recherche la flexibilité (tels que EVM, Python, RISC-V), tandis que la seconde vise l'efficacité (tels que GPU, ASIC, modules de hachage). Cette architecture devient une tendance commune dans la blockchain, l'IA et le calcul cryptographique : l'EVM accélère grâce aux précompilations, l'IA s'appuie sur le parallélisme des GPU, et les preuves ZK combinent VM générale et circuits spécialisés. La clé de l'avenir est de permettre à la “couche de colle” d'optimiser la sécurité et l'expérience de développement, tandis que la “couche de coprocesseur” se concentre sur l'exécution efficace, trouvant un équilibre entre performance, sécurité et ouverture.

![])https://img-cdn.gateio.im/webp-social/moments-c46288543a83af189338fd6a8ba5d1ef.webp###

Pico zkVM est le représentant emblématique de cette idée, développé par Brevis. Grâce à l'architecture “zkVM universel + accélérateur de coprocesseur”, il combine la programmabilité flexible avec le calcul haute performance des circuits dédiés. Son design modulaire prend en charge plusieurs backends de preuve (KoalaBear, BabyBear, Mersenne31) et permet de combiner librement des composants d'exécution, de récursion, de compression, formant ainsi ProverChain.

Le système modulaire de Pico permet non seulement de réorganiser librement les composants principaux, mais aussi d'introduire de nouveaux backends de preuve et des coprocesseurs au niveau des applications (comme les données on-chain, zkML, et la vérification inter-chaînes), réalisant ainsi une évolutivité en constante évolution. Les développeurs peuvent directement utiliser la chaîne d'outils Rust pour écrire la logique métier, sans avoir besoin d'une expérience préalable en matière de connaissances zéro, ce qui réduit considérablement les barrières à l'entrée au développement.

Comparé à l'architecture RISC-V zkVM relativement monolithique de Succinct SP1 et au modèle d'exécution RISC-V général de RISC Zero R0VM, Pico réalise le découplage et l'extension des phases d'exécution, de récursivité et de compression grâce à un système Modular zkVM + Coprocessor, prenant en charge le changement entre plusieurs backends et l'intégration de coprocesseurs, créant ainsi un avantage différencié en termes de performance et d'évolutivité.

( 3.2 Pico Prism : percée de performance pour les clusters multi-GPU

Pico Prism est une avancée importante de Brevis sur une architecture GPU multi-serveurs, et a établi un nouveau record dans le cadre du “Real-Time Proving (RTP)” de la Fondation Ethereum. Il a atteint un temps de preuve moyen de 6,9 secondes avec un taux de couverture RTP de 96,8 % sur un cluster de 64×5090 GPU, plaçant ses performances au sommet des zkVM de sa catégorie. Ce système a réalisé des optimisations au niveau de l'architecture, de l'ingénierie, du matériel et du système, marquant ainsi la transition des zkVM d'un prototype de recherche à une infrastructure de niveau production.

1. Conception de l'architecture : les zkVM traditionnels (comme SP1, R0VM) dépendent principalement de l'optimisation par GPU sur une seule machine. Pico Prism réalise pour la première fois la preuve parallèle sur un cluster multi-serveurs et multi-GPU (Cluster-Level zkProving), en étendant la preuve zk à un système de calcul distribué grâce à un ordonnancement multithread et par partition, ce qui augmente considérablement la parallélisation et l'évolutivité.
2. Mise en œuvre du projet : construire un pipeline asynchrone à plusieurs étapes (Exécution / Récursion / Compression) et un mécanisme de réutilisation des données inter-couches (cache proof chunk et réutilisation d'embedding), tout en prenant en charge le changement de plusieurs backends (KoalaBear, BabyBear, M31), ce qui améliore considérablement l'efficacité du débit.
3. Stratégie matérielle : Avec une configuration de 64×RTX 5090 GPU (environ 128K $), Pico Prism réalise un temps de preuve moyen de 6,0 à 6,9 secondes, une couverture RTP de 96,8 %, et un rapport performance/coût amélioré d'environ 3,4 fois, surpassant SP1 Hypercube (160×4090 GPU, 10,3 secondes).
4. Évolution du système : En tant que premier zkVM répondant aux critères RTP de la Fondation Ethereum (>96% sub-10s, <) coût), Pico Prism marque la transition des systèmes de preuve zk d'un prototype de recherche à une infrastructure de production de niveau mainnet, offrant des solutions de calcul à connaissance nulle plus économiques pour des scénarios tels que Rollup, DeFi, AI et validation inter-chaînes.

3.3 ZK Data Coprocessor : couche de coprocessing de données blockchain intelligente à preuve nulle

La “manque de mémoire” dans la conception native des contrats intelligents - incapacité à accéder aux données historiques, à reconnaître les comportements à long terme ou à effectuer des analyses inter-chaînes. Le coprocesseur ZK haute performance fourni par Brevis offre un accès aux données historiques inter-chaînes et des capacités de calcul fiable pour les contrats intelligents, permettant la vérification et le calcul de tous les états historiques, transactions et événements de la blockchain, et s'appliquant à des scénarios tels que la DeFi axée sur les données, la gestion proactive de la liquidité, l'incitation des utilisateurs et l'identification inter-chaînes.

Le flux de travail de Brevis comprend trois étapes :

1. Accès aux données : Les contrats intelligents lisent les données historiques de manière sans confiance via l'API ;
2. Exécution des calculs : Les développeurs utilisent le SDK pour définir la logique métier, qui est calculée hors chaîne par Brevis et génère des preuves ZK.

Validation des résultats : les résultats de preuve sont renvoyés sur la chaîne, vérifiés par le contrat et appelant la logique suivante.

![]$100K https://img-cdn.gateio.im/webp-social/moments-34c4b4cdde3635acaed075831947e4ae.webp###

Brevis prend en charge simultanément les modèles Pure-ZK et CoChain (OP) : le premier réalise une minimisation complète de la confiance, mais à un coût plus élevé ; le second permet des calculs vérifiables à un coût inférieur grâce à la validation PoS et au mécanisme de défi ZK. Les validateurs mettent en jeu sur Ethereum, et si le résultat est contesté avec succès par une preuve ZK, ils seront pénalisés, créant ainsi un équilibre entre sécurité et efficacité. Grâce à l'intégration de l'architecture ZK + PoS + SDK, Brevis atteint un équilibre entre sécurité et efficacité, construisant une couche de calcul de données de confiance évolutive. Actuellement, Brevis a servi des protocoles tels que PancakeSwap, Euler, Usual et Linea, toutes les collaborations zkCoprocessor étant basées sur le modèle **Pure-ZK**, fournissant un soutien de données fiables pour DeFi, la distribution de récompenses et les systèmes d'identité en chaîne, permettant aux contrats intelligents de posséder réellement “mémoire et intelligence”.

( 3.4 Incentra : Couche de distribution d'incitations vérifiables basée sur ZK

Incentra est une plateforme de distribution d'incitations fiable alimentée par le coprocesseur Brevis zk, qui fournit un mécanisme de calcul et de distribution des récompenses sécurisé, transparent et vérifiable pour les protocoles DeFi. Il vérifie directement les résultats d'incitation sur la chaîne via des preuves à connaissance nulle, réalisant ainsi une exécution des incitations sans confiance, à faible coût et inter-chaînes. Le système effectue le calcul et la vérification des récompenses dans le circuit ZK, garantissant que tout utilisateur peut vérifier indépendamment les résultats ; tout en prenant en charge les opérations inter-chaînes et le contrôle d'accès, réalisant une distribution d'incitations automatisée conforme et sécurisée.

Incentra prend principalement en charge trois types de modèles d'incitation :

• Détention de jetons : Calcul des récompenses de détention à long terme basé sur le solde pondéré dans le temps (TWA) d'Ethereum ERC-20 ;
• Liquidité Concentrée : Répartition des récompenses de liquidité selon le ratio des frais de l'AMM DEX, compatible avec les protocoles ALM tels que Gamma, Beefy, etc.
• Prêter & Emprunter : Calcul des récompenses de prêt basé sur la moyenne des soldes et des dettes.

Ce système a été appliqué à des projets tels que PancakeSwap, Euler, Usual et Linea, réalisant une boucle de confiance complète sur la chaîne allant du calcul des incitations à leur distribution, offrant aux protocoles DeFi une infrastructure d'incitation vérifiable de niveau ZK.

) Aperçu de la pile technologique du produit 3.5 Brevis

![]###https://img-cdn.gateio.im/webp-social/moments-52317d5796169cb68f9a65b545ce3b4c.webp###

Quatrième, Indicateurs techniques et percées de performance de Brevis zkVM

La norme de preuve en temps réel (Realtime Proving, RTP) du L1 zkEVM proposée par la Fondation Ethereum (EF) est devenue un consensus industriel et un seuil d'entrée pour savoir si le zkVM peut entrer dans la voie de validation du réseau principal Ethereum. Les principaux indicateurs d'évaluation incluent :

• Exigence de latence : P99 ≤ 10 secondes (correspond à un cycle de bloc Ethereum de 12 secondes) ;
• Contraintes matérielles : CAPEX ≤ 100 000 $, consommation d'énergie ≤ 10 kW (adapté pour les maisons/ petits centres de données) ;
• Niveau de sécurité : ≥128 bits (période de transition ≥100 bits) ;
• Taille de preuve : ≤300 KiB ;

Exigences système : ne doit pas dépendre des paramètres de confiance, le code source doit être entièrement open source.

En octobre 2025, Brevis publiera le rapport « Pico Prism — 99,6 % de preuve en temps réel pour 45 millions de blocs Ethereum sur matériel grand public », annonçant que son Pico Prism est le premier zkVM à avoir pleinement satisfait aux normes de preuve de bloc en temps réel (RTP) de la Fondation Ethereum (EF).

Avec une configuration de 64×RTX 5090 GPU (environ 128K $), Pico Prism a réalisé des performances avec un délai moyen de 6,9 secondes, 96,8 % <10s, 99,6 % <12s dans un bloc de 45M gas, surpassant de manière significative Succinct SP1 Hypercube (36M gas, délai moyen de 10,3s, 40,9 % <10s). Avec une réduction de la latence de 71 % et une réduction des coûts matériels de moitié, l'efficacité globale performance/coût a augmenté d'environ 3,4×. Ce résultat a été publiquement reconnu par la Fondation Ethereum, Vitalik Buterin et Justin Drake.

Cinq, Expansion de l'écosystème Brevis et mise en œuvre des applications

Le coprocesseur ZK de Brevis (zkCoprocessor) est responsable du traitement des calculs complexes que les dApps ne peuvent pas effectuer efficacement (comme le comportement historique, les données inter-chaînes, l'analyse agrégée) et génère des preuves à divulgation nulle de connaissance (ZKP) vérifiables. Il suffit de vérifier cette petite preuve en chaîne pour appeler les résultats de manière sécurisée, réduisant considérablement les coûts en Gas, les délais et les coûts de confiance. Par rapport aux oracles traditionnels, Brevis ne fournit pas seulement des “résultats”, mais également une “garantie mathématique de la correctitude des résultats”, et ses principaux scénarios d'application peuvent être classés en plusieurs catégories.

• DeFi intelligent (Intelligent DeFi) : réaliser des incitations intelligentes et une expérience différenciée basées sur le comportement historique et l'état du marché (PancakeSwap, Uniswap, MetaMask, etc.)
• Croissance des RWA et des stablecoins (Croissance des RWA & Stable Token) : automatisation de la distribution des revenus des stablecoins et des RWA grâce à la vérification ZK (OpenEden, Usual Money, MetaMask USD)
• Échange décentralisé privé (DEX avec Dark Pools) : Adoption d'un modèle de transaction privée avec appariement hors chaîne et validation sur chaîne, qui sera bientôt lancé.
• Interopérabilité inter-chaînes : prise en charge du re-staking inter-chaînes et de l'interopérabilité Rollup–L1, construction d'une couche de sécurité partagée (Kernel, Celer, 0G)
• Démarrage à froid de la blockchain (Blockchain Bootstrap) : Aider le démarrage à froid et la croissance de nouveaux écosystèmes de blockchain avec un mécanisme d'incitation ZK (Linea, TAC)
• Blockchains de haute performance (L1s 100× plus rapides) : Amélioration des performances des blockchains publiques comme Ethereum, grâce à la technologie de preuve en temps réel (RTP) (Ethereum, BNB Chain)

AI vérifiable (Verifiable AI) : fusion de la protection de la vie privée et du raisonnement vérifiable, offrant une puissance de calcul fiable pour AgentFi et l'économie des données (Kaito, Trusta)

Selon les données de Brevis Explorer, à partir d'octobre 2025, le réseau Brevis a généré plus de 125 millions de preuves ZK, couvrant près de 95 000 adresses et 96 000 demandes d'application, servant largement des scénarios tels que la distribution de récompenses, la validation des transactions et les preuves de mise. Sur le plan écologique, la plateforme a distribué environ 223 millions de dollars d'incitations, soutenant un TVL de plus de 2,8 milliards de dollars, avec un volume de transactions total dépassant 1 milliard de dollars.

Actuellement, les activités écologiques de Brevis se concentrent principalement sur deux axes : la distribution d'incitations DeFi et l'optimisation de la liquidité. La consommation de puissance de calcul est principalement fournie par quatre projets : Usual Money, PancakeSwap, Linea Ignition et Incentra, représentant ensemble plus de 85 %. Parmi ceux-ci,

• Usual Money (46,6M preuves) : montre sa stabilité à long terme dans la distribution d'incitations à grande échelle ;
• PancakeSwap (20,6M) : met en évidence la haute performance de Brevis dans le calcul des taux en temps réel et des remises ;
• Linea Ignition (20.4M) : Vérifiez sa capacité de traitement haute concurrence dans les activités de l'écosystème L2 ;
• Incentra (15,2 %) : marque l'évolution de Brevis d'un outil SDK vers une plateforme d'incitation standardisée.

Dans le domaine des incitations DeFi, Brevis s'appuie sur la plateforme Incentra pour soutenir plusieurs protocoles afin de réaliser une distribution de récompenses transparente et continue :

• La taille des incitations monétaires habituelles dépasse 300 millions de dollars, offrant des revenus continus aux utilisateurs de stablecoins et aux LP.
• OpenEden et Bedrock réalisent la distribution des revenus des obligations américaines et du Restaking sur la base du modèle CPI ;
• Les protocoles tels qu'Euler, Aave et BeraBorrow utilisent la vérification ZK pour le calcul des positions de prêt et des récompenses.

Dans le domaine de l'optimisation de la liquidité, PancakeSwap, QuickSwap, THENA, Beefy, etc. utilisent le tarif dynamique de Brevis et le plugin d'incitation ALM pour réaliser des réductions sur les transactions et l'agrégation des revenus inter-chaînes ; Jojo Exchange et Uniswap Foundation exploitent le mécanisme de vérification ZK pour construire un système d'incitation au trading plus sécurisé.

Dans la couche d'infrastructure et de chaîne croisée, Brevis s'est étendu d'Ethereum à BNB Chain, Linea, Kernel DAO, TAC et 0G, fournissant des capacités de calcul fiable et de validation inter-chaînes pour un écosystème multi-chaînes. Pendant ce temps, des projets tels que Trusta AI, Kaito AI et MetaMask utilisent le ZK Data Coprocessor pour construire des systèmes d'attribution, de notation d'influence et de récompenses axés sur la protection de la vie privée, favorisant le développement intelligent des données Web3. Au niveau du système, Brevis s'appuie sur le réseau EigenLayer AVS pour offrir une garantie de sécurité de re-staking et combine la technologie de preuve agrégée NEBRA (UPA) pour compresser plusieurs preuves ZK en une seule soumission, réduisant ainsi considérablement les coûts et les délais de validation on-chain.

Dans l'ensemble, Brevis a couvert l'ensemble du cycle d'application, allant des incitations à long terme, des récompenses d'activités, de la vérification des transactions aux services de plateforme. Ses tâches de vérification à haute fréquence et ses modèles de circuits réutilisables ont fourni à Pico/Prism une pression de performance réelle et des retours d'optimisation, promettant de nourrir en retour le système de preuve en temps réel L1 zkVM sur le plan technique et écologique, formant ainsi un volant d'inertie bidirectionnel entre la technologie et l'application.

VI. Contexte de l'équipe et financement du projet

Mo Dong｜Co-fondateur (Co-founder, Brevis Network)

Dr Mo Dong est le co-fondateur de Brevis Network, titulaire d'un doctorat en informatique de l'Université de l'Illinois à Urbana-Champaign (UIUC). Ses travaux de recherche ont été publiés dans des conférences académiques de premier plan et adoptés par des entreprises technologiques comme Google, recevant des milliers de citations académiques. Il est un expert dans le domaine de la théorie des jeux algorithmiques et de la conception de mécanismes de protocole, se concentrant sur la promotion de la combinaison de l'informatique à divulgation nulle de connaissances (ZK) et des mécanismes d'incitation décentralisés, s'engageant à construire une Verifiable Compute Economy fiable. En tant que partenaire de risque chez IOSG Ventures, il s'intéresse également depuis longtemps aux investissements précoces dans l'infrastructure Web3.

L'équipe de Brevis a été fondée par des docteurs en cryptographie et en informatique de l'UIUC, du MIT et de l'UC Berkeley, et ses membres clés possèdent plusieurs années d'expérience en recherche dans le domaine des systèmes de preuve à divulgation nulle de connaissance (ZKP) et des systèmes distribués, ayant publié de nombreux articles évalués par des pairs. Brevis a été reconnu techniquement par la Fondation Ethereum, et son module central est considéré comme une infrastructure clé pour l'évolutivité on-chain.

Brevis a terminé un financement de 7,5 millions de dollars lors de son tour de table de seed en novembre 2024, dirigé conjointement par Polychain Capital et Binance Labs, avec des participants tels que IOSG Ventures, Nomad Capital, HashKey, Bankless Ventures et des investisseurs stratégiques de Kyber, Babylon, Uniswap, Arbitrum, AltLayer.

Sept, Analyse de la concurrence sur le marché de ZKVM et ZK Coprocessor

Actuellement, ETHProofs.org, soutenu par la Fondation Ethereum, est devenu la plateforme de suivi centrale pour la voie de preuve en temps réel (Realtime Proving, RTP) de L1 zkEVM, utilisée pour montrer publiquement les performances, la sécurité et les progrès d'adaptation au mainnet de chaque zkVM.

Dans l'ensemble, la compétition dans la voie RTP se concentre sur quatre dimensions clés :

• Maturité : SP1 est la solution la plus mature pour le déploiement en production ; Pico offre des performances avancées et se rapproche des normes de la chaîne principale ; RISC Zero est stable mais les données RTP ne sont pas publiques.
• Performance : Le volume du témoin Pico est d'environ 990 kB, soit une réduction d'environ 33 % par rapport au SP1 (1,48 MB), à un coût inférieur ;
• Sécurité et audit : RISC Zero et SP1 ont tous deux passé un audit de sécurité indépendant ; Pico est en cours d'audit ;
• Développement de l'écosystème : les zkVM mainstream utilisent tous l'ensemble d'instructions RISC-V, SP1 s'appuie sur le Succinct Rollup SDK pour former un écosystème d'intégration large ; Pico prend en charge la génération automatique de preuves en Rust, le niveau de perfectionnement du SDK augmente rapidement.

D'après les dernières données, la piste RTP a déjà formé un “duopole”.

• La première équipe Brevis Pico (y compris Prism) et Succinct SP1 Hypercube visent tous deux la norme P99 ≤ 10s établie par EF. Le premier réalise une percée en performance et en coûts grâce à une architecture distribuée multi-GPU ; le second maintient la maturité technique et la robustesse écologique avec un système monolithique. Pico représente l'innovation en performance et en architecture, tandis que SP1 représente l'industrialisation et le leadership écologique.
• La deuxième vague RISC Zero, ZisK, ZKM continue d'explorer la compatibilité écologique et la légèreté, mais n'a pas encore rendu publics les indicateurs RTP complets (latence, consommation d'énergie, CAPEX, sécurité, taille de la preuve, reproductibilité). Scroll (Ceno) et Matter Labs (Airbender) tentent d'étendre la technologie Rollup au niveau de validation L1, illustrant la tendance évolutive du passage de l'extension L2 à un calcul vérifiable L1.

En 2025, le domaine du zkVM a formé un paysage technologique basé sur une évolution unifiée et modulaire de RISC-V, une normalisation récursive et un accélérateur matériel parallèle. La couche de calcul vérifiable (Verifiable Compute Layer) de zkVM peut être divisée en trois catégories :

• Orienté vers la performance : Brevis Pico, SP1, Jolt, ZisK se concentrent sur la faible latence et la preuve en temps réel, en améliorant le débit de calcul grâce à STARK récursif et à l'accélération GPU.
• Modularité et extensibilité : OpenVM, Pico, SP1 mettent l'accent sur la modularité et le plug-in, supportant l'accès des coprocesseurs.
• Écologie et développement général : RISC Zero, SP1, ZisK se concentrent sur la compatibilité des SDK et des langages, favorisant l'universalisation.

Comparaison des projets concurrents zkVM (jusqu'en octobre 2025)

Le secteur des zk-Coprocessors a formé une configuration représentée par Brevis, Axiom, Herodotus et Lagrange. Parmi eux, Brevis se distingue par son architecture intégrée « ZK Data Coprocessor + Generic zkVM », qui combine la lecture de données historiques, le calcul programmable et la capacité L1 RTP ; Axiom se concentre sur les requêtes vérifiables et les rappels de circuits ; Herodotus se spécialise dans l'accès à l'état historique ; Lagrange optimise les performances de calcul inter-chaînes avec une architecture hybride ZK+Optimistic. Dans l'ensemble, les zk-Coprocessors deviennent une interface de calcul de confiance reliant les applications DeFi, RWA, AI, identité, etc., sous la forme d'une « couche de services vérifiables ».

Huit, Résumé : Logique commerciale, mise en œuvre technique et risques potentiels

Logique commerciale : performance pilotée et double volant Brevis construit une couche de calcul de confiance multi-chaînes avec « zkVM universel (Pico/Prism) » et « coprocesseur de données (zkCoprocessor) » : le premier résout les problèmes de vérifiabilité des calculs arbitraires, le second permet la mise en œuvre des données historiques et inter-chaînes. Sa logique de croissance forme un cycle positif de « performance - écosystème - coût » : les performances RTP de Pico Prism attirent l'intégration des protocoles de premier plan, entraînant une augmentation de l'échelle de preuve et une diminution des coûts par transaction, formant un double volant renforcé en continu. L'avantage concurrentiel repose principalement sur trois points :

1. Performance reproductible —— Inclus dans le système ETHProofs RTP de la Fondation Ethereum ;
2. Barrières d'architecture - Conception modulaire et mise en œuvre parallèle multi-GPU pour une haute évolutivité ;
3. Validation commerciale - Mise en œuvre à grande échelle dans la distribution des incitations, les taux dynamiques et la validation inter-chaînes.

Mise en œuvre du projet : passer de “l'exécution lourde” à “la vérification au lieu de l'exécution”

Brevis réalise en moyenne 6,9 secondes, P99 < 10 secondes dans un bloc de 45M gas, grâce à Pico zkVM et au cadre parallèle Prism (64×5090 GPU, <(K CAPEX), avec des performances et des coûts de premier plan. Le module zkCoprocessor prend en charge la lecture des données historiques, la génération de circuits et la vérification des chaînes de blocs, et peut basculer de manière flexible entre les modes Pure-ZK et Hybrid, avec des performances globales alignées sur les normes rigides RTP d'Ethereum.

Risques potentiels et points d'attention

• Seuils techniques et de conformité : Brevis doit encore compléter la divulgation et la vérification par des tiers des indicateurs rigides tels que la consommation d'énergie, la sécurité, la taille des preuves et les dépendances des paramètres de confiance. L'optimisation des performances en longue traîne reste essentielle, et les ajustements EIP pourraient modifier les goulets d'étranglement en matière de performance.
• Risques de concurrence et de substitution : Succinct (SP1/Hypercube) reste en tête en matière d'intégration des chaînes d'outils et des écosystèmes, la compétitivité des équipes comme Risc Zero, Axiom, OpenVM, Scroll et zkSync ne doit pas être sous-estimée.
• Concentration des revenus et structure commerciale : La preuve de volume actuelle est fortement concentrée (les quatre principales applications représentent environ 80 %), il est nécessaire d'élargir par le biais de plusieurs secteurs, de plusieurs chaînes publiques et de plusieurs cas d'utilisation pour réduire la dépendance. Le coût des GPU pourrait affecter la marge brute unitaire.

Dans l'ensemble, Brevis a déjà construit une première barrière de protection aux deux extrémités de “performance reproductible” et “business réalisable” : Pico/Prism occupe déjà la première équipe du circuit L1 RTP, tandis que le zkCoprocessor ouvre des scénarios commerciaux à haute fréquence et réutilisables. À l'avenir, il est suggéré de viser l'atteinte des indicateurs durs complets de la fondation Ethereum RTP comme objectif intermédiaire, en renforçant continuellement la standardisation des produits de coprocesseur et l'expansion de l'écosystème, tout en promouvant la reproduction par des tiers, les audits de sécurité et la transparence des coûts. En réalisant un équilibre structurel entre l'infrastructure et les revenus SaaS, il est possible de former une boucle de croissance commerciale durable.