Brevis démontre la validation par preuve de connaissance nulle lors d'Ethereum Devconnect 2025

iconBlockbeats
Partager
Share IconShare IconShare IconShare IconShare IconShare IconCopy
AI summary iconRésumé

expand icon
Les actualités d'Ethereum provenant du Devconnect 2025 en Argentine montrent que Brevis démontre un nouveau processus de validation de blocs en utilisant le client zkLighthouse. Les nouvelles de l'écosystème Ethereum mettent en évidence la manière dont les preuves à divulgation nulle de connaissance (ZK proofs) de la Pico zkVM de Brevis permettent la validation sans réexécuter les calculs. Brevis, une couche de calcul vérifiable, permet l'exécution hors chaîne et retourne les résultats via des preuves ZK. Les outils clés incluent le ZK Data Coprocessor, la Pico zkVM et ProverNet. La Pico-GPU et la Pico Prism accélèrent la vitesse de preuve. Brevis a généré plus de 280 millions de preuves et a généré un TVL (Total Value Locked) de 2,5 milliards de dollars. Des protocoles majeurs tels que PancakeSwap, Usual et Linea utilisent déjà la plateforme.

Lors de l'événement Devconnect en Argentine en novembre 2025, le chercheur du fondation Ethereum, Justin Drake, a démontré un processus de validation de blocs différent. Son nœud de validation utilisait le client zkLighthouse, et n'a nécessité que des preuves de connaissance nulle générées par des protocoles tels que le Pico zkVM de Brevis, pour déterminer la validité d'un bloc. Cela pourrait très probablement indiquer la direction future d'Ethereum en matière d'évolutivité. Cela démontre une chose : une chaîne de blocs n'a pas besoin de réexécuter tous les calculs, il suffit de pouvoir vérifier des preuves générées à l'extérieur.


Qu'est-ce que Brevis : Une couche de calcul vérifiable utilisée par le protocole et les développeurs Ethereum


Brevis ne se positionne pas seulement comme une application spécifique, mais comme une couche de calcul vérifiable. En tant que couche de calcul infini (Infinite Compute Layer), elle permet d'exécuter des calculs complexes hors chaîne, puis de ramener les résultats sur la chaîne via des preuves de connaissance nulle. Ces preuves sont ensuite vérifiées à très faible coût par des contrats intelligents. Cela est important car le modèle de sécurité par défaut d'Ethereum repose fondamentalement sur le recalcul complet par l'ensemble du réseau. En effet, chaque nœud validateur, après avoir reçu un nouveau bloc, doit généralement réexécuter toutes les transactions incluses dans ce bloc pour confirmer que le résultat est correct. Bien que cela garantisse la justesse, cela signifie aussi que la consommation de puissance de calcul et de ressources augmente continuellement avec la charge. Grâce à Brevis, ce calcul lourd et répétitif est transformé en un calcul unique, vérifiable par tout le réseau : le calcul est effectué hors chaîne et une preuve est générée. La chaîne et les nœuds n'ont alors plus qu'à vérifier une preuve très petite.


Contrairement à de nombreuses applications zk qui se concentrent uniquement sur la confidentialité ou l'évolutivité, Brevis s'attaque directement aux problèmes structurels du secteur Web3. Lorsque les calculs sur la chaîne deviennent de plus en plus complexes et fréquents, est-il nécessaire que chaque nœud exécute indépendamment les mêmes calculs pour maintenir la confiance ? La solution de Brevis consiste à déplacer ces calculs hors de la chaîne, les exécutant dans un zkVM et générant des preuves. Les contrats sur la chaîne n'ont alors qu'à vérifier ces preuves, ce qui permet aux contrats de s'appuyer de manière fiable sur des données historiques, des états inter-chaînes ou des résultats d'algorithmes complexes, sans introduire d'hypothèses de confiance supplémentaires. Dans le cadre de la mise en œuvre de cet objectif, le ZK Data Coprocessor, le Pico zkVM et le ProverNet constituent actuellement les trois piliers technologiques centraux de Brevis.


Dépassez les limites avec des contrats intelligents : Les superpouvoirs apportés par le coprocesseur de données ZK


La première percée technologique de Brevis est le ZK Data Coprocessor. Il permet aux contrats intelligents de consulter des données historiques sur la chaîne, d'effectuer des calculs hors chaîne et de générer des preuves de connaissance nulle, afin de fournir les résultats des calculs comme entrées fiables au contrat. Le ZK Data Coprocessor peut interroger et calculer le volume des transactions ou le comportement des utilisateurs sur la chaîne, et générer des preuves de connaissance nulle pour validation par le contrat. Cela permet aux contrats, qui ne pouvaient auparavant accéder qu'au bloc actuel, d'utiliser à présent des données sur une longue période et des états inter-chaînes.


Après avoir développé un prototype de coprocesseur en 2023, Brevis a continué à itérer et a lancé la version 2 (v2) en janvier 2025, accompagnée du déploiement de la blockchain principale. Les changements clés de la v2, sans se préoccuper nécessairement du nom spécifique du système de preuve, peuvent être résumés en trois points abstraits : plus rapide (accomplir les mêmes tâches en utilisant moins de ressources et en moins de temps), plus général (pouvoir couvrir un plus grand éventail de types de données et de besoins de calcul), et plus facile à utiliser (simplifier les processus et encapsuler la complexité).


En regardant en arrière sur la feuille de route technologique de Brevis avant 2025, on s'aperçoit qu'il n'y a en réalité qu'une seule ligne directrice : d'abord explorer les limites de performance du système de preuve, puis concevoir un co-processeur fonctionnel basé sur le calcul hors-chaine et la vérification sur la chaine, tout en poursuivant des itérations d'ingénierie continues, et enfin explorer des formes d'exécution plus systématiques.Ce qui est encore plus précieux, c'est la nature fondamentale de l'équipe : elle maîtrise à la fois la cryptographie et l'ingénierie des grands systèmes. Elle ne s'appuie pas sur des démonstrations théoriques, mais a identifié dès le début les problèmes majeurs du secteur et s'engage activement pour une large adoption de ses technologies.


Quand la puissance de preuve pénètre le niveau système : Pico zkVM et ProverNet


En 2025, Brevis a également comblé les deux autres éléments de sa triade : le premier est Pico zkVM, un moteur d'exécution de preuves plus généraliste et davantage orienté production, et le second est ProverNet, un réseau de preuves ouvert permettant de générer des preuves de manière continue et à grande échelle, passant ainsi d'une simple capacité de preuve à une fourniture durable et à grande échelle de preuves.


On peut considérer que la Pico zkVM est un moteur de preuve générique pour Brevis. Elle évolue le domaine des preuves à connaissance nulle (zero-knowledge proofs) depuis les circuits spécialisés et l'adaptation manuelle vers une forme plus proche de l'ingénierie logicielle : les développeurs écrivent leur logique avec les méthodes familières, et cette logique est ensuite convertie en résultats de preuve vérifiables par la couche inférieure. Ce qui est encore plus important, la Pico a été conçue dès le départ pour répondre aux exigences de débit et de coût des applications réelles. Selon les mêmes critères de comparaison, Brevis a montré que la Pico présente une avantage de performance marqué par rapport aux autres zkVM principales, tout en permettant, grâce à des composants ou co-processeurs plug-and-play, d'optimiser davantage les calculs de certains types.


En juin 2025, Brevis lance la Pico-GPU, portant la vitesse de génération de preuves en temps réel à un tournant crucial, non seulement pour le protocole, mais pour l'industrie dans son ensemble.Pico-GPU déplace systématiquement le processus central de génération de preuve vers le parallélisme GPU. Selon les chiffres officiels, cette amélioration atteint 10 à 20 fois celle des solutions précédentes, représentant ainsi une avancée qualitative majeure.


Le Pico Prism, lancé en octobre, a poussé cette direction jusqu'à un seuil très intuitif. Avec une configuration comprenant 64 GPU grand public, il a atteint 99,6 % des blocs Ethereum avec 45 millions de gas prouvés en moins de 12 secondes, 96,8 % prouvés en moins de 10 secondes, pour un temps moyen de preuve d'environ 6,9 secondes, se rapprochant ainsi de manière presque parfaite de l'objectif fixé par la fondation Ethereum.Pour la première fois, la vitesse de génération de preuves en temps réel est presque parvenue à suivre la vitesse de création des blocs sur Ethereum, tout en utilisant moins de ressources par rapport aux solutions concurrentes.


Ces progrès ont également suscité une réponse directe de la communauté centrale d'Ethereum. Vitalik a mentionné directement dans un tweet que l'entrée de Pico Prism dans la course aux preuves ZK-EVM constituait une étape importante en matière de vitesse et de diversité. Justin Drake, quant à lui, a évoqué dans un tweet antérieur, avec un ton très clair, que les progrès de Pico Prism en matière de preuves en temps réel étaient exceptionnels. Il convient de rappeler qu'en mai de cette année, SP1 Hypercube avait besoin de 160 cartes graphiques RTX 4090 pour prouver environ 94 % des blocs de L1 en 12 secondes. L'avance spectaculaire de Pico Prism en matière de vitesse de preuve en temps réel a fait de cette solution la plus prometteuse, celle de Brevis, l'option la plus remarquée.


Après avoir réussi le développement d'une machine virtuelle zkVM universelle et d'une technologie de preuve en temps réel, Brevis s'est tourné vers la résolution du problème de l'approvisionnement en preuves. En novembre 2025, Brevis a annoncé sa vision ProverNet, visant à marchandiser la capacité de preuve : n'importe quelle application peut soumettre des tâches de preuve, et ces tâches sont attribuées aux nœuds prover par un mécanisme d'enchères sur le marché. En décembre, le lancement de la version Beta de la blockchain principale a mis en œuvre concrètement cette vision sous une forme fonctionnelle. Le marché continue de fonctionner, les demandes de preuve peuvent être soumises directement, les prover peuvent s'inscrire et commencer à enchérir pour accepter des commandes, et les applications n'ont plus besoin de construire leurs propres infrastructures de preuve.


Grâce à ses trois piliers, Brevis transforme la preuve de calcul d'un simple outil en infrastructure, intégrant à la fois un moteur de preuve échelonnant et un réseau ouvert d'approvisionnement en preuves, permettant aux applications d'obtenir, sur demande, des calculs vérifiables. Son importance ne se limite pas à l'Ethereum : ce modèle de calcul hors-chaine et de vérification sur la chaine s'étendra au-delà de Web3, et influencera d'autres secteurs tels que l'intelligence artificielle et les jeux.


Le protocole ne ment pas : ce qui compte, c'est l'utilisation.


La valeur technique de Brevis se révèle finalement dans ses applications concrètes. Ce n'est pas simplement un concept exposé dans des supports de communication, mais une solution intégrée au fonctionnement quotidien des protocoles : comment extraire les données, calculer les indicateurs, distribuer les récompenses, ajuster les taux – des tâches qui, jusqu'à présent, étaient soit impossibles à réaliser, soit dépendaient de scripts centralisés. Aujourd'hui, une approche plus protocolisée commence à émerger. Au cours de ce processus, Brevis a déjà généré plus de 280 millions de preuves pour les utilisateurs, distribué plus de 230 millions de dollars de récompenses, et a contribué à une croissance sécurisée de 2,5 milliards de dollars de TVL (Total Value Locked).



Pour comprendre intuitivement Brevis, on peut commencer par l'aspect le plus familier pour les utilisateurs : les échanges. Brevis permet aux échanges décentralisés (DEX) d'offrir des fonctionnalités comparables à celles des échanges centralisés (CEX), tout en garantissant la confidentialité et l'authenticité des données, améliorant ainsi l'expérience d'échange des utilisateurs de DEX. PancakeSwap Infinity utilise les hooks pour rendre possible la différenciation des frais de transaction : des actions historiques comme la détention de jetons ou le volume d'échanges influencent le taux appliqué à une transaction donnée. Cependant, ces évaluations dépendent de l'agrégation de données historiques. Stocker ces données sur la chaîne est trop coûteux, tandis que le stockage hors chaîne soulève des problèmes de confiance. Ce que fait Brevis, c'est calculer clairement ces comportements historiques hors chaîne, puis utiliser des preuves pour ramener ces données sur la chaîne. Cela permet d'intégrer les taux différenciés directement dans les contrats intelligents, contrairement aux CEX, où ces règles sont définies dans des scripts back-end.


Si PancakeSwap correspond à une expérience plus personnalisée, proche de celle d'une CEX, Usual illustre plutôt un mécanisme de croissance à plus long terme, transformant les incitations ponctuelles (comme les airdrops) en un CPI (Coefficient de Performance Incentivé) opérationnel et continu. Les récompenses sont ainsi liées à long terme aux comportements tels que le détenu de jetons ou les interactions. Grâce à Brevis, ces indicateurs deviennent des entrées vérifiables, rendant la distribution automatisée et auditable, sans que la communauté ait à se reposer sur un tableau de gestion ou un distributeur centralisé. En utilisant Incentra, l'émission de récompenses devient une capacité standardisée : les protocoles souhaitant offrir des récompenses pour le trading, l'emprunt ou le détenu de jetons, calculent les indicateurs hors chaîne, puis effectuent les paiements sur la chaîne selon les preuves fournies. L'activité d'Euler sur Arbitrum en est un exemple représentatif : les récompenses ne reposent pas sur un calcul manuel ou une distribution via signature multiple, mais sur des règles et des preuves, permettant une distribution continue et automatisée.


Lorsque l'on élargit le cadre à l'échelle écologique, le programme Ignition de Linea illustre bien ce point : le défi ne réside plus dans la distribution d'incentifs, mais dans la manière de la réaliser. Brevis permet de traiter les calculs d'incentifs à grande échelle hors chaîne, puis de ramener la vérification de leur authenticité sur la chaîne, transformant ainsi les incitations, autrefois dépendantes d'une gestion centralisée, en capacités systémiques réutilisables. Un exemple similaire est le programme de remboursement de routage (Routing Rebate Program) de Uniswap v4. Le fait qu'un routage ait eu lieu, la manière de mesurer la consommation de gas, ou encore le calcul du montant à rembourser, forment une chaîne de données, de calculs et de règlements. Ici, Brevis assure le calcul hors chaîne et la génération de preuves, permettant ainsi à ce système de remboursement de s'appuyer sur des règles et des vérifications, plutôt que sur la confiance en un tiers statisticien.


En observant ces cas d'utilisation de manière globale, la collecte de données, le calcul des indicateurs et la génération de preuves de Brevis permettent au protocole d'implémenter davantage de logiques sur la chaîne, sans sacrifier la décentralisation, des logiques qui ne pouvaient auparavant être réalisées qu'avec un backend centralisé. Cela ouvre ainsi davantage de possibilités pour les protocoles de l'industrie cryptographique, et redéfinit l'espace de conception.


Qui soutient la technologie du long terme ?


L'équipe centrale de Brevis est composée de chercheurs issus des meilleures universités et d'ingénieurs en systèmes opérationnels, et présente des caractéristiques très marquées. Elle est capable non seulement de mener des recherches à long terme sur les systèmes de preuve et les algorithmes, mais aussi de transformer des technologies complexes en solutions réelles, les affiner dans des environnements de production, jusqu'à ce que leurs performances, leur stabilité et leur coût atteignent les normes nécessaires pour une mise à l'échelle. Plus important encore, ce n'est pas un simple groupe de laboratoires spécialisé uniquement en technologie : l'équipe comprend parfaitement le fonctionnement de l'industrie de la cryptographie. Elle saisit les besoins réels des équipes de protocoles, le rythme des collaborations écosystémiques, et dispose d'une solide expérience dans les domaines de la finance et des communautés. Cela lui permet de transformer des trajectoires techniques en partenariats concrets et durables ainsi qu'en dynamisme pour les développeurs.


Cela se reflète clairement dans le soutien à long terme apporté par le capital et la communauté à Brevis. En novembre 2024, Brevis a levé un financement de type « seed round », mené par des institutions de premier plan telles que Polychain et Yzi Labs, ce qui lui a permis de financer la poursuite de ses travaux sur la zkVM, le réseau de preuves et la mise en œuvre de ses produits. En parallèle, la communauté de Brevis a connu une croissance significative en 2025, grâce à des initiatives comme les Proving Grounds, le système de rôles et les mécanismes de missions, qui ont permis d'attirer et de maintenir les développeurs et les utilisateurs. Ajoutons à cela les éloges publics de Vitalik Buterin et l'intérêt porté par Justin Drake du fonds Ethereum lors d'expérimentations et de discussions, ce qui constitue ensemble un soutien externe et un capital de confiance solides pour que Brevis continue d'étendre son infrastructure.


D'Ethernet vers un monde plus vaste


Ethereum est resté bloqué à long terme dans un dilemme structurel : soit tous les nœuds recalculent les mêmes opérations pour garantir la sécurité et l'absence de confiance, mais cela limite alors le débit et augmente les coûts dus à la redondance des calculs ; soit les calculs sont délégués à l'extérieur pour améliorer l'efficacité, mais cela exige alors une confiance supplémentaire envers une entité externe. Brevis propose une troisième voie : déplacer les calculs complexes hors de la chaîne, puis utiliser des preuves pour ramener la vérifiabilité sur la chaîne, permettant ainsi de passer d'un système basé sur des calculs redondants à un modèle collaboratif de vérification des résultats. La valeur de Brevis ne réside donc pas dans un point de produit isolé, mais dans l'achèvement d'une chaîne complète de calculs vérifiables.


Brevis n'est pas la seule solution au problème d'évolutivité d'Ethereum, mais il illustre la valeur fondamentale d'une couche de calcul vérifiable, qui découple le calcul de la vérification, tout en préservant la sécurité et la décentralisation, tout en réduisant la pression sur l'exécution en chaîne. Plus important encore, l'efficacité d'une couche de calcul infinie ne se limite pas à Ethereum. Pour l'ensemble de l'industrie cryptographique, cela signifie que davantage d'applications en chaîne peuvent obtenir une complexité et une expérience proches de celles de Web2, sans compromettre la sécurité. Dans un contexte plus large, le monde traditionnel, le calcul vérifiable basé sur le principe de « calculer d'abord, vérifier ensuite » offre une nouvelle méthode de collaboration : lorsqu'il est nécessaire de partager des résultats entre plusieurs parties, mais pas de confiance, la preuve peut devenir un nouveau langage universel. Avec le développement d'un réseau de preuves ouvert comme ProverNet, ce que construit Brevis ne sera pas seulement une amélioration de la capacité d'une chaîne, mais une offre de calcul fiable pouvant être appelée à travers différents écosystèmes et secteurs.



Cliquez ici pour en savoir plus sur les postes à pourvoir chez BlockBeats.


Rejoignez la communauté officielle de Lüdòng BlockBeats :

Groupe d'abonnement Telegram :https://t.me/theblockbeats

Groupe de discussion Telegram :https://t.me/BlockBeats_App

Compte officiel Twitter :https://twitter.com/BlockBeatsAsia

Clause de non-responsabilité : les informations sur cette page peuvent avoir été obtenues auprès de tiers et ne reflètent pas nécessairement les points de vue ou opinions de KuCoin. Ce contenu est fourni à titre informatif uniquement, sans aucune représentation ou garantie d’aucune sorte, et ne doit pas être interprété comme un conseil en investissement. KuCoin ne sera pas responsable des erreurs ou omissions, ni des résultats résultant de l’utilisation de ces informations. Les investissements dans les actifs numériques peuvent être risqués. Veuillez évaluer soigneusement les risques d’un produit et votre tolérance au risque en fonction de votre propre situation financière. Pour plus d’informations, veuillez consulter nos conditions d’utilisation et divulgation des risques.