Quelle est la différence entre le modèle "calcul off-chain et validation on-chain" de Brevis ?

Auteur : Blue Fox Notes ; Source : X, @lanhubiji

En voyant Vitalik mentionner Brevis, il semble y accorder une grande importance à l'extensibilité de L1. Dans la feuille de route d'Ethereum, il y a un concept : le modèle “calcul hors chaîne, validation sur chaîne”. Eigenlayer, Succinct et Zksync ont eu des idées similaires, ce qui montre qu'il y a un consensus dans l'industrie. Pour vraiment étendre L1 de manière décentralisée, on peut tirer parti des avantages hors chaîne ; Brevis a également utilisé ce modèle, alors qu'est-ce qui rend Brevis différent ?

Commençons par comprendre simplement ce qu'est le mode « calcul hors chaîne, validation sur chaîne ». Pour permettre à un plus grand nombre d'utilisateurs ordinaires de comprendre, nous pouvons faire une comparaison simplifiée : le « calcul hors chaîne, validation sur chaîne » peut être considéré comme la « concentration » des faits hors chaîne (résultats de calcul ou données) en une preuve ou un résumé concis, qui est ensuite validé sur la chaîne. À certains égards, cette approche est similaire à celle des Rollups L2 sur le plan abstrait, les Rollups L2 regroupant plusieurs transactions en un lot, soumis à la validation et à l'exécution sur L1. Bien que les mécanismes spécifiques soient différents, cela aide à comprendre la philosophie de conception ZkVM de Brevis : « concentration et validation ». Grâce aux mathématiques, un grand nombre de travaux de calcul hors chaîne sont comprimés en petites informations, permettant un traitement efficace sur la chaîne, qui est coûteuse et a un faible débit, résolvant ainsi le problème de l'évolutivité de la blockchain.

Le mécanisme central de Brevis est de réaliser des calculs efficaces hors chaîne, de générer des preuves ZK, puis de valider rapidement et à faible coût sur la chaîne, sans avoir besoin de réexécuter l'ensemble des calculs complexes. Ce n'est pas nouveau, mais la différence avec Brevis réside dans :

Combinaison de polyvalence et d'optimisation spécifique

La pile technologique de Brevis est conçue de manière modulaire, avec Pico zkVM comme moteur de calcul vérifiable universel, prenant en charge la génération de preuves ZK pour tout calcul. Les développeurs écrivent du code en Rust sans avoir besoin de connaissances spécialisées en ZK, la plateforme gérant automatiquement la génération de preuves, abaissant ainsi le seuil d'entrée pour les développeurs souhaitant construire des applications cryptographiques complexes (l'abstraction technique de la complexité ZK permet aux développeurs de construire des applications comme s'ils écrivaient du code ordinaire). Son architecture modulaire permet d'ajouter des coprocesseurs spécifiques, en plus du règlement général, elle peut également optimiser des calculs complexes pour des scénarios spécifiques, permettant des améliorations plus ciblées.

Il dispose d'un processeur de protocole intégré, appelé ZK Data Coprocessor, conçu pour l'analyse des données historiques de la blockchain, capable de résoudre le problème de “l'amnésie” des contrats intelligents (l'impossibilité d'accéder à des données historiques à faible coût). Il est dans

Recherche et analyse de données hors chaîne, fournissant des résultats et des preuves, garantissant l'existence des données et la précision des calculs. Par exemple, Pancakeswap peut utiliser le hook Brevis pour réaliser des réductions de frais en fonction du volume de transactions des utilisateurs ; Uniswap utilise Brevis pour le remboursement de gas. Ils réalisent des fonctionnalités complexes grâce au zK Data Coprocessor tout en économisant une grande quantité de coûts.

Fournir un “accélérateur” pour Ethereum L1

Pico Prism est l'une des technologies clés de Brevis, et il a fait des percées dans les clusters GPU multi-serveurs, prenant en charge la “preuve en temps réel” de l'Ethereum L1. Cette “preuve en temps réel” peut être comprise comme chaque bloc de l'Ethereum L1 (une page d'enregistrements de transactions) pouvant être confirmé comme correct en quelques secondes par un “cachet” cryptographique, sans que tout le monde ait à recalculer pour vérifier sa fiabilité.

Selon les benchmarks du cadre de preuve en temps réel de la Fondation Ethereum, pour le bloc L1 actuel avec une limite de 45M de gas, un taux de couverture de 99,6 % est atteint (preuve en moins de 12 secondes), avec un taux de couverture en temps réel de 96,8 % (preuve en moins de 10 secondes) ; le temps moyen de preuve pour un bloc de 36M de gas est de 6,04 secondes, et pour un bloc de 45M de gas, de 6,9 secondes ; le matériel utilisé est de 64 GPU RTX 5090, coûtant 128K dollars.

Les données ci-dessus semblent très professionnelles, mais pour les utilisateurs ordinaires, ces données peuvent sembler sans intérêt.

Pour simplifier la compréhension, on peut comparer le Pico Prism à un accélérateur installé sur Ethereum L1. Auparavant, chaque bloc sur Ethereum nécessitait que tous les nœuds recalculent à chaque fois. Grâce à une technologie comme le Pico Prism, cela signifie qu'il peut “concentrer” (générer rapidement une preuve, super compresser un résumé), permettant au réseau de valider en quelques secondes, sans que chaque nœud ait à recalculer. En d'autres termes, cela signifie qu'Ethereum L1 deviendra plus rapide, moins cher et plus efficace, tout en étant capable de gérer des implémentations plus complexes, sans sacrifier la décentralisation et la sécurité. Si l'on considère qu'Ethereum auparavant ressemblait à un vieux vélo, avec la technologie Pico Prism de Brevis, Ethereum a été mis à niveau pour devenir une voiture.

Cet effet d'accélération peut débloquer davantage de scénarios, tels que les prêts DeFi alimentés par l'IA en temps réel, les jeux sur chaîne, les votes anonymes, etc.

Scénario DeFi : Sur l'ancienne L1 d'Ethereum, les contrats intelligents ne pouvaient que vérifier le solde pour emprunter de l'argent, sans pouvoir analyser le degré de solidité de l'utilisateur en fonction de ses données historiques de transactions (car une analyse de données historiques massives était impossible). Avec cet accélérateur, il est possible de soutenir une analyse en temps réel de ces données historiques massives sur L1 (preuve en quelques secondes), permettant ainsi de construire un “robot de prêt AI”. Le contrat déduit un score de crédit basé sur l'historique des transactions DeFi de l'utilisateur et propose un taux d'intérêt personnalisé. De plus, pour les scénarios à haute fréquence, comme les prêts instantanés, emprunter/investir/rembourser se fait dans un même bloc, l'IA optimise en temps réel le chemin pour éviter les pertes dues au “slippage”. Cela ressemble à un Robinhood décentralisé. Il peut également y avoir des enchères à haute fréquence, avec des centaines voire des milliers d'offres réalisées chaque minute.

Jeux sur blockchain : Auparavant, L1 voulait créer un jeu multijoueur (comme Axie Infinity sur blockchain), avec une confirmation de bloc de 12 secondes par tour, ce qui entraînait des ralentissements pour les joueurs et une flambée des frais ; grâce à Pico Prism, qui supporte le “jeu en temps réel simulé”, les serveurs hors chaîne calculent les dégâts et d'autres valeurs, et chaque tour utilise une preuve ZK pour se régler sur L1, simulant un jeu “en temps réel” pour offrir une meilleure expérience de jeu.

Scénario de vote anonyme sur la chaîne : actuellement, le vote L1 est transparent, facile à tracer ou à manipuler, et le coût de calcul complexe est élevé, avec une vitesse lente. Grâce à Pico Prism, nous pouvons réaliser un “calcul privé à connaissance nulle” et exécuter des applications privées à haute fréquence sur L1, permettant ainsi un vote anonyme à haute fréquence pour la gouvernance DAO, avec des résultats en temps réel.

Ce scénario signifie quoi pour Ethereum, cela peut débloquer davantage de DeFi et d'autres cas d'application, amener plus d'actifs à la L1, générer plus de transactions et de liquidités, et entraîner une plus grande activité.

En ce qui concerne les scénarios qui pourraient émerger à l'avenir, cela nécessite une vérification dans la pratique concrète.

Mise en œuvre progressive

Selon des informations publiques, Brevis est en cours de déploiement progressif, avec 147,5 millions de preuves ZK générées ; plus de 190 000 utilisateurs uniques ; prise en charge de 5 blockchains ; plus de 20 partenaires principaux (comme Metamask, Linea, etc.), actuellement intégré dans des applications déjà en fonctionnement, par exemple, grâce à la technologie Brevis, la plateforme Incentra distribue des récompenses annuelles ; PancakeSwap applique des réductions basées sur le volume des transactions et d'autres données ; Linea distribue 1 milliard de jetons LINEA en fonction des contributions des utilisateurs, etc.