288 millions de preuves déployées : Brevis propulse le « calcul vérifiable » à la veille de son explosion
TechFlow SélectionTechFlow Sélection
288 millions de preuves déployées : Brevis propulse le « calcul vérifiable » à la veille de son explosion
En tant que couche de calcul infinie pour toutes choses, Brevis n'est pas construit uniquement pour Ethereum, mais possède une solide capacité de mise en œuvre dans des scénarios d'application de production diversifiés au sein de l'écosystème multi-chaînes.
Dédié à des analyses Web3 approfondiesRédaction : TechFlow
Être à la place de Vitalik, chaque geste est sous les projecteurs.
Si un jour il mentionne un projet sur les réseaux sociaux, les spéculations vont bon train sur ses motivations. Mais s'il partage et commente un projet à plusieurs reprises, allant jusqu'à utiliser l'expression « être excité », alors aucune spéculation n'est nécessaire : cela représente un suivi à long terme et une haute reconnaissance.
Vous connaissez probablement déjà ce projet : la plateforme de calcul vérifiable intelligent ZK, Brevis.
En octobre 2025, Brevis a annoncé le lancement de son zkVM Pico Prism, réalisant la preuve en temps réel d'Ethereum sur du matériel grand public. Avec le soutien et les partages de personnalités clés de l'écosystème Ethereum comme Vitalik Buterin, le compte officiel Ethereum et le chercheur OG Justin Drake, Brevis s'est officiellement positionné au cœur de la scène future de la scalabilité d'Ethereum.
Alors que l'écosystème Ethereum se réjouissait de la perspective d'une scalabilité multipliée par 100 d'ici 2026 grâce aux jalons technologiques de Brevis, ce dernier a également démontré, à travers une série de partenariats stratégiques avec Usual, PancakeSwap, Aster, Euler, Linea, Uniswap, etc., une capacité d'implémentation puissante :
En tant que couche de calcul infinie pour toutes choses, Brevis n'est pas construite uniquement pour Ethereum, mais possède une forte capacité de déploiement dans des scénarios d'applications de production diversifiés au sein d'un écosystème multi-chaînes.
Lors d'une interview publique en octobre, Michael, co-fondateur et CEO de Brevis, a déclaré :
Nous espérons que dans dix ans, 99% des calculs liés à l'EVM auront lieu hors chaîne et seront rendus vérifiables via Brevis.
De l'avenir de la scalabilité d'Ethereum aux 288 millions de preuves déjà générées dans des scénarios de production, de combien d'années la vague soulevée par Brevis va-t-elle accélérer le futur d'Ethereum ? Jusqu'où va-t-elle repousser les limites du calcul vérifiable ZK dans les applications de production ?
Marché en berne, mais Brevis est absolument incontournable
C'est un projet qui, sous tous les angles, rayonne d'un halo de star.
En 2023, alors que le récit ZK entrait dans une phase de rationalisation, un groupe de docteurs en informatique et de Crypto OG, diplômés d'universités prestigieuses comme UIUC, MIT, Berkeley, Princeton, et porteurs d'une vision de « rendre le calcul à grande échelle vérifiable », s'est lancé dans la course, donnant naissance à Brevis.
Le solide background académique des membres fondateurs a forgé le style rigoureux de Brevis dans la réalisation technique, et a également permis à Brevis de sortir fréquemment des cercles initiaux grâce à des percées technologiques majeures. L'épisode récent, où la réalisation de la preuve en temps réel d'Ethereum sur du matériel grand public a mobilisé des figures centrales comme Vitalik Buterin, le compte officiel Ethereum et le chercheur OG Justin Drake, est encore largement commenté par la communauté.
Vitalik Buterin a partagé en déclarant : C'est une étape importante pour la vitesse et la diversité de la vérification ZK-EVM.
Le compte officiel Ethereum a tweeté : C'est un grand pas vers l'avenir d'Ethereum.
Le chercheur OG Justin Drake a rédigé un long article présentant le zkVM Pico Prism et a affirmé : L'avenir d'Ethereum est radieux.
« Académique » était l'une des étiquettes les plus marquantes du ZK. Dans un contexte de scepticisme où le ZK restait longtemps au stade conceptuel sans déploiement concret, « académique » est parfois devenu une critique voilée pour le ZK.
En tant que pragmatiques académiques, les membres fondateurs de Brevis en ont bien sûr conscience. En poursuivant la rigueur technique, ils insistent toujours sur une approche produit guidée par la demande. Le ZK n'est pas une fin en soi, mais un moyen.
Cette philosophie a poussé Brevis à passer tôt du laboratoire à l'application pratique :
Selon la page écosystème de son site officiel, Brevis a établi des partenariats avec des dizaines de projets, couvrant les domaines DeFi, infrastructure, stablecoins, etc. Parmi eux, on remarque facilement des noms connus comme PancakeSwap, Metamask, Linea, Uniswap, Aster. Actuellement, Brevis a généré plus de 288 millions de preuves ZK, compte plus de 200 000 utilisateurs, a distribué 230 millions de dollars de récompenses de calcul vérifiable, et le TVL alimenté par Brevis dépasse 2,54 milliards de dollars.
Le marché du capital a également très tôt accordé sa confiance à Brevis :
En septembre 2024, Brevis a levé 7,5 millions de dollars, attirant Polychain Capital et Yzi Labs comme co-leaders du tour, avec la participation d'IOSG Ventures, Nomad Capital, Bankless Ventures, Hashkey et plusieurs business angels non divulgués.
Dire que Brevis est incontournable n'est donc pas exagéré.
Mais le poids réel d'un projet ne réside jamais seulement dans la reconnaissance qu'il obtient, mais fondamentalement dans sa capacité à apporter un changement tangible au monde réel. Le statut de projet star de Brevis est indissociable de la faisabilité technique de ses solutions et de leur capacité de déploiement à grande échelle.
Derrière le récit de la « couche de calcul infinie pour toutes choses » : comment Brevis y parvient-il ?
En résumé, le cœur de Brevis : calcul hors chaîne, vérification sur chaîne.
En tant que plateforme d'infrastructure spécialisée dans le calcul vérifiable par connaissance zéro (ZK), Brevis déplace les calculs coûteux et limités sur chaîne vers un environnement hors chaîne efficace, puis ramène les résultats en toute sécurité sur la chaîne via des preuves ZK, sans craindre l'explosion des coûts en Gas ni les problèmes de sécurité et de confiance.
Autour de la vision de « couche de calcul infinie pour toutes choses », l'écosystème Brevis possède trois composants produits : Pico zkVM, ZK Data Coprocessor et ProverNet.
Pico zkVM peut être vu comme le moteur de la vision « couche de calcul infinie » de Brevis. Conçu pour construire des applications décentralisées sécurisées, évolutives et performantes, il présente une série d'avantages clés par rapport aux autres zkVM :
Premièrement, Pico zkVM est flexible et à faible barrière d'entrée. Sa conception modulaire permet aux développeurs de personnaliser les fonctionnalités comme avec des blocs de construction, et il supporte l'écriture de programmes arbitraires en Rust tout en étant compatible RISC-V. Pas besoin d'apprendre des langages de circuits complexes ni d'optimiser manuellement la récursion. Les développeurs n'ont qu'à modifier quelques lignes de configuration pour optimiser performance, coût et sécurité pour leur application.
Plus important, Pico zkVM est plus rapide et peut prouver n'importe quel calcul, résolvant fondamentalement le défi du déploiement à grande échelle du ZK : la version multi-GPU de Pico Prism lancée en 2025 a atteint une couverture de preuve en temps réel de 99,6% des blocs du mainnet Ethereum sur du matériel grand public, faisant de Brevis le zkVM le plus rapide au monde. Comparé à la solution SP1 Hypercube (deuxième), Pico Prism est 32 fois plus rapide, tout en réduisant les coûts matériels GPU de 50%, permettant une génération de preuves à moindre coût et plus efficace.
De plus, grâce à la collaboration avec l'autre fonctionnalité clé, ZK Data Coprocessor, Pico zkVM verra une explosion de performance dans le traitement des données historiques sur chaîne, le rendant plus pratique et plus apte à une adoption massive en environnement de production.
ZK Data Coprocessor (Coprocesseur de données ZK) est probablement le produit le plus mature et le plus largement déployé de Brevis. Son rôle central : permettre aux smart contracts d'accéder et de calculer de manière sans confiance et à faible coût n'importe quelle donnée historique sur chaîne, comme doter les contrats d'une « base de données historique infinie ».
Auparavant, un contrat souhaitant lire des données historiques avait généralement deux choix : soit les chercher lentement lui-même, mais le Gas était prohibitif ; soit passer par un oracle centralisé, avec des risques de confiance et de sécurité.
ZK Data Coprocessor offre une troisième option : non seulement accéder à presque toutes les informations historiques sur chaîne, mais avec une barrière d'utilisation très basse. Les développeurs n'ont pas besoin de comprendre les circuits ZK pour appeler les données. Brevis récupère automatiquement en arrière-plan les données historiques réelles de la chaîne, génère efficacement des preuves ZK et les vérifie. Le coût en Gas de tout le processus est extrêmement faible et totalement sans confiance.
Le dernier module produit clé est ProverNet : un marché décentralisé de génération de preuves ZK, où toute application peut soumettre une demande de preuve, et tout prouveur professionnel peut soumissionner pour accomplir la tâche.
On sait que les besoins en preuves varient énormément selon les projets et les scénarios. Si chaque application construit sa propre infrastructure de preuve, c'est non seulement coûteux, mais aussi inefficace.
ProverNet vise à placer la génération de preuves dans un marché ouvert : les applications expriment leurs besoins, les prouveurs professionnels font des offres et y répondent. Les tâches complexes peuvent être décomposées en sous-tâches, accomplies en collaboration par différents prouveurs. Une fois générées, les preuves peuvent être vérifiées sur n'importe quelle chaîne cible.
Les tâches sont appariées via le Truthful Online Double Auction (TODA) de Brevis, et ProverNet s'exécute sur Brevis Chain, le Rollup dédié lancé par Brevis, garantissant davantage d'efficacité. Actuellement, ProverNet est disponible en version Mainnet Beta.
Ces trois composants produits s'emboîtent : ZK Data Coprocessor s'occupe de « récupérer les données », Pico zkVM résout le problème de « génération de preuves sécurisée et efficace », et ProverNet détermine via le marché qui prouve et comment prouver de manière optimale, formant une boucle complète de « calcul vérifiable infini ».
Parler uniquement de technique peut rester abstrait pour beaucoup de novices.
Heureusement, Brevis possède des scénarios d'application très riches, aidant les utilisateurs à comprendre rapidement ses avantages clés et la valeur fondamentale de la réalisation de la « couche de calcul infinie pour toutes choses » à travers des cas concrets et vivants.
De la scalabilité d'Ethereum aux 288 millions de preuves : un déploiement à l'échelle réelle
Le scénario d'utilisation de Brevis le plus discuté est sans doute la scalabilité d'Ethereum.
En juillet 2025, la Fondation Ethereum a publié l'article « Shipping an L1 zkEVM #1: Realtime Proving », confirmant officiellement la feuille de route de scalabilité L1 zkEVM : un nœud génère une preuve ZK pour un bloc, cette preuve peut être vérifiée par des millions de nœuds du réseau, la puissance de calcul requise pour la vérification n'étant qu'un dix-millième, voire moins, de celle du calcul du bloc lui-même.
Cela correspond parfaitement à l'orientation technologique de Brevis, et a été complètement enflammé par le lancement de Brevis zkVM Pico Prism.
Le 15 octobre 2025, Brevis a annoncé que son zkVM Pico Prism avait réalisé la preuve en temps réel d'Ethereum sur du matériel grand public : en utilisant 64 cartes graphiques RTX 5090, il a prouvé 99,6% des blocs L1 d'Ethereum en 12 secondes, dont 96,8% des preuves de blocs ont été réalisées en moins de 10 secondes, le standard défini par la Fondation Ethereum. Lors d'un test le 1er septembre 2025, avec la limite actuelle de gas d'Ethereum à 45M, le temps de preuve moyen de Pico Prism n'était que de 6,9 secondes.
Cela signifie qu'en théorie, via zkVM Pico Prism, Ethereum pourrait immédiatement réaliser une scalabilité par 10, voire 100. Et comme Pico zkVM supporte le calcul parallèle multi-GPU, Brevis pourrait même réaliser une scalabilité véritablement infinie sans ajouter massivement de ressources de calcul supplémentaires.
Lors de la conférence ETH Devconnect en novembre 2025, le chercheur OG Justin Drake a effectué en direct une démo montrant le Pico ZKVM de Brevis accomplissant un nouvel algorithme de consensus. Peu après, Vitalik a également tweeté partageant les améliorations potentielles qu'Ethereum pourrait entreprendre dans cette direction. Les avancées révolutionnaires de Brevis Pico ZKVM ont transformé la feuille de route de scalabilité L1 zkEVM d'Ethereum d'un plan en un futur réalisable.
Bien que la réalisation de la preuve en temps réel d'Ethereum par Brevis ait suscité un vif débat, la valeur de Brevis ne se limite absolument pas à Ethereum.
Théoriquement, la logique « calcul hors chaîne, vérification sur chaîne » de Brevis s'applique à tout scénario, et sa stack technologique est multi-chaînes, visant à réaliser le « calcul infini pour toutes choses ». C'est un autre avantage clé de Brevis au-delà de la technologie : le déploiement à grande échelle dans des scénarios réels.
Si vous êtes un participant actif du monde crypto, vous avez probablement déjà expérimenté les services de Brevis sans le savoir.
L'année dernière, Brevis a établi des partenariats approfondis avec des dizaines de protocoles leaders, couvrant presque tous les projets majeurs des domaines DeFi, stablecoins, DEX, écosystème L2, démontrant davantage la reconnaissance de l'industrie pour Brevis. Chaque partenariat n'est pas une « intégration conceptuelle » superficielle, mais une application à grande échelle dans des environnements de production, montrant l'énorme valeur du calcul vérifiable dans des scénarios multiples.
La collaboration entre Brevis et PancakeSwap est l'un des cas les plus typiques : les DEX traditionnels ne peuvent pas accéder à faible coût aux données historiques, rendant difficile une expérience personnalisée. En collaborant avec Brevis, la logique complexe s'exécute hors chaîne, est vérifiée sur chaîne, puis génère une preuve de volume de transactions pour l'utilisateur. Le smart contract applique différents taux de frais en fonction de la preuve, offrant une gestion d'expérience utilisateur plus fine, faisant évoluer PancakeSwap d'un DEX à frais uniformes vers une plateforme répondant intelligemment au comportement des utilisateurs.
De plus, le modèle d'incitation continue CPI co-créé par Brevis et Usual est considéré par beaucoup comme un nouveau paradigme remplaçant les airdrops traditionnels et les incitations par snapshot : Brevis ZK Coprocessor identifie les participants réellement contributeurs en suivant continuellement le comportement réel des utilisateurs dans l'écosystème Usual. La même chose se produit dans les écosystèmes Euler et Linea, où des modèles complexes de distribution d'incitations sont construits via des preuves ZK, garantissant équité, rationalité, sécurité et transparence.
De plus, le 24 octobre 2025, la Fondation Uniswap a officiellement annoncé l'octroi d'une subvention maximale de 9 millions de dollars à Brevis pour développer et opérer le Hooks Routing Rebate Program. Ce programme vise à utiliser les avantages d'efficacité, de faible coût et de confiance zéro des preuves ZK de Brevis pour inciter les produits d'agrégateurs DEX à intégrer plus rapidement les v4 hooked pools, bénéficiant finalement aux utilisateurs en termes de liquidité, slippage et frais de transaction.
Récemment, Brevis a également annoncé un partenariat avec le DEX multi-chaînes Aster, visant à optimiser la vitesse, la sécurité et la confidentialité du DEX perpétuel via la technologie de calcul vérifiable. Brevis peut migrer les calculs complexes sur chaîne vers hors chaîne et générer des preuves à connaissance zéro pour réduire les coûts de vérification sur chaîne. Les deux parties exploreront des solutions viables pour protéger la confidentialité des positions des utilisateurs tout en garantissant la transparence du marché.
Toutes ces fonctionnalités autrefois « trop chères, trop lentes » à réaliser sont désormais mises en œuvre une par une via Brevis, apportant une efficacité de transaction accrue, une distribution de valeur plus équitable et une meilleure expérience utilisateur.
À l'avenir, avec le développement de davantage de partenariats écosystémiques et la maturation du mécanisme de marché ProverNet, la valeur du calcul vérifiable de Brevis pénétrera plus profondément dans des scénarios encore plus vastes et riches.
Faire du calcul vérifiable la configuration par défaut des applications sur chaîne de nouvelle génération
Dans le cycle actuel quelque peu ennuyeux du marché crypto, l'attention devient plus honnête : ce qui ne livre pas de résultats continus est difficilement mentionné à répétition.
La « chaleur » de Brevis ne vient pas seulement de ses diplômes prestigieux, de sa liste d'investisseurs ou des retweets de Vitalik, mais du fait qu'elle touche un consensus plus solide : faire du calcul vérifiable la configuration par défaut des applications sur chaîne de nouvelle génération, et accélérer l'arrivée du futur du calcul vérifiable grâce à des scénarios de déploiement riches.
Et c'est précisément grâce aux 288 millions de preuves créées par Brevis dans des scénarios de déploiement réels que nous pouvons percevoir plus clairement : après des années d'exploration, le calcul vérifiable ZK est véritablement à la veille d'une explosion complète.
Bien sûr, avant cette véritable explosion, l'avenir de Brevis fait face à de nombreuses incertitudes. Par exemple, l'actuel Pico Prism a encore une marge d'optimisation. Brevis indique que la prochaine étape se concentrera sur la réduction des coûts de preuve, planifiant d'utiliser moins de 16 GPU RTX 5090 pour réaliser 99% de preuves en temps réel dans les prochains mois. De plus, la boucle économique de l'écosystème Brevis n'a pas encore vraiment démarré.
À l'avenir, avec les percées technologiques, le renforcement des modules économiques et l'atteinte de jalons, Brevis pourra-t-elle transformer les défis en opportunités de démontrer sa valeur, et continuer à produire des « résultats vérifiables » dans des scénarios multi-chaînes plus vastes ?
Dans la tendance du futur du calcul vérifiable, nous restons dans l'attente.
Bienvenue dans la communauté officielle TechFlow
Groupe Telegram :https://t.me/TechFlowDaily
Compte Twitter officiel :https://x.com/TechFlowPost
Compte Twitter anglais :https://x.com/BlockFlow_News
深潮TechFlow
