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 accorder une grande importance à l'extension L1. Dans la feuille de route d'Ethereum, il y a un concept : le modèle “calcul hors chaîne, vérification 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 adopté 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 et validation sur chaîne” ? Pour que davantage d'utilisateurs ordinaires puissent comprendre, on peut faire une analogie simplifiée : le “calcul hors chaîne et 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, puis validé sur la chaîne. D'une certaine manière, cette pensée est similaire à celle des Rollups L2 à un niveau abstrait, où les Rollups L2 regroupent plusieurs transactions en un lot et les soumettent à L1 pour validation et exécution. Bien que les mécanismes soient différents, cela aide à comprendre la philosophie de conception ZkVM de Brevis : “concentration et validation”. Grâce aux mathématiques, une grande quantité de travail de calcul hors chaîne est compressée en petites informations, permettant un traitement efficace sur la chaîne coûteuse et à 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 compléter la vérification sur la chaîne à faible coût et rapidement, sans avoir à réexécuter l'ensemble des calculs complexes. Ce n'est pas nouveau, mais ce qui distingue Brevis, c'est que :

Combinaison de la polyvalence et de l'optimisation spécialisée

La pile technologique de Brevis est conçue de manière modulaire, avec Pico zkVM comme moteur de calcul vérifiable générique, 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, ce qui réduit la barrière à l'entrée pour les développeurs souhaitant construire des applications cryptographiques complexes (la technologie abstrait la complexité du ZK, permettant aux développeurs de construire des applications comme s'ils écrivaient du code ordinaire). Son architecture modulaire permet d'ajouter des coprocesseurs spécifiques, et en plus du règlement général, elle peut également être optimisée pour des calculs complexes dans des scénarios spécifiques, permettant ainsi des améliorations plus ciblées.

Il a 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'incapacité d'accéder à des données historiques à faible coût). Il est dans

Recherche et analyse des données hors chaîne, fournissant des résultats et des preuves, garantissant l'existence des données et l'exactitude des calculs. Par exemple, pancakeswap peut utiliser le crochet 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 via le 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, ayant réalisé des percées dans les clusters de GPU multi-serveurs, supportant 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 grâce à un “cachet” cryptographique, évitant ainsi à chacun de recalculer pour vérifier la fiabilité.

Selon le cadre de référence en temps réel de la Fondation Ethereum, la couverture actuelle de L1 avec une limite de 45M de gaz est de 99,6 % (preuve en <12 secondes), avec une couverture en temps réel de 96,8 % (<10 secondes) ; le temps moyen de preuve est de 6,04 secondes pour un bloc de 36M de gaz et de 6,9 secondes pour un bloc de 45M de gaz ; le matériel comprend 64 GPU RTX 5090, coûtant 128K dollars.

Les données ci-dessus semblent très professionnelles, mais pour un utilisateur ordinaire, ces données peuvent sembler insignifiantes.

Pour une compréhension simple, on peut simplifier et comparer Pico Prism à un accélérateur installé sur Ethereum L1. Auparavant, Ethereum devait recalculer chaque bloc par tous les nœuds, mais avec une technologie comme Pico Prism, cela signifie qu'il peut “concentrer” (générer rapidement une preuve, super compresser le résumé), permettant au réseau de vérifier 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 pouvant gérer des mises en œuvre plus complexes, sans sacrifier la décentralisation et la sécurité. Si l'on disait 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 le prêt DeFi alimenté par l'IA en temps réel, les jeux sur chaîne, le vote anonyme, etc.

Scénario DeFi : Sur l'ancienne L1 d'Ethereum, les contrats intelligents ne pouvaient que consulter le solde pour emprunter de l'argent, sans pouvoir analyser le niveau de robustesse des utilisateurs en fonction de leurs données de transactions historiques (car l'analyse d'un volume massif de données historiques n'était pas possible). Avec cet accélérateur, il est possible de soutenir une analyse en temps réel des données historiques massives sur L1 (preuve en quelques secondes), permettant ainsi de construire un “robot de prêt AI”. Le contrat détermine un score de crédit basé sur l'historique de transactions DeFi de l'utilisateur et propose des taux d'intérêt personnalisés. De plus, pour les scénarios à haute fréquence, comme les prêts éclair, emprunter/investir/rembourser se fait dans un seul bloc, l'IA optimisant en temps réel le chemin pour éviter les pertes dues au “glissement”. C'est similaire à un Robinhood décentralisé. De plus, il peut y avoir des enchères à haute fréquence, permettant de réaliser des centaines voire des milliers d'enchères par minute.

Jeux en chaîne : Auparavant, L1 voulait créer un jeu multijoueur (comme Axie Infinity en chaîne), avec une confirmation de bloc toutes les 12 secondes, provoquant des ralentissements pour les joueurs et une montée des frais ; grâce à Pico Prism, le support des jeux “en temps réel simulé”, le serveur hors chaîne calcule les dommages et autres valeurs, chaque tour utilisant une preuve ZK pour le règlement sur L1, simulant un jeu “en temps réel” pour offrir une meilleure expérience de jeu.

Scénario de vote anonyme sur la blockchain : actuellement, le vote L1 est transparent, facile à suivre ou à manipuler, et les coûts de statistiques complexes sont élevés et la vitesse lente. Grâce à Pico Prism, on peut réaliser un “calcul de confidentialité à zéro connaissance”, permettant des applications de confidentialité à haute fréquence sur L1, ce qui rend possible le vote anonyme à haute fréquence pour la gouvernance DAO, avec des résultats en temps réel.

Ce que ces scénarios signifient pour Ethereum, c'est qu'ils peuvent débloquer davantage de DeFi et d'autres cas d'utilisation, amenant plus d'actifs à la couche 1, entraînant plus de transactions et de liquidité, et une plus grande activité.

Quant à ce que l'avenir pourra offrir comme scénarios, cela devra encore être vérifié dans la pratique concrète.

Mise en œuvre progressive

Selon les informations publiques, Brevis est en cours de déploiement progressif, ayant généré 147,5 millions de preuves ZK ; plus de 190 000 utilisateurs indépendants ; supporte 5 blockchains ; plus de 20 partenaires principaux (comme Metamask, Linea, etc.), et est actuellement intégré dans des applications fonctionnelles, par exemple, grâce à la technologie Brevis, la plateforme Incentra distribue des récompenses annuelles ; PancakeSwap réalise des remises basées sur des données telles que le volume des transactions ; Linea distribue 1 milliard de jetons LINEA en fonction de la contribution des utilisateurs, etc.