jakiro
Auteur : Notes de Blue Fox ; Source : X, @lanhubiji
En voyant Vitalik mentionner Brevis, il semble qu’il attache une grande importance à l’expansion de la L1. Dans la feuille de route d’Ethereum, il y a un concept : le modèle « informatique hors chaîne et vérification en chaîne ».Eigenlayer, Succinct et Zksync ont des idées similaires, indiquant qu’il existe un consensus dans l’industrie selon lequel si vous souhaitez véritablement décentraliser l’expansion L1, vous pouvez profiter des avantages hors chaîne ; Brevis n’a utilisé que ce modèle, alors, en quoi Brevis est-il différent ?
Tout d’abord, comprenons brièvement ce qu’est le modèle de « calcul hors chaîne et vérification en chaîne » ? Pour que les utilisateurs plus ordinaires comprennent, une métaphore simplifiée peut être utilisée.Le « calcul hors chaîne et la vérification en chaîne » peuvent être considérés comme une « condensation » de faits hors chaîne (résultats ou données de calcul) en une preuve ou un résumé concis, puis une vérification en chaîne.Dans une certaine mesure, son idée est similaire à L2 Rollup à un niveau abstrait. L2 Rollup regroupe et condense plusieurs transactions en un lot et les soumet à L1 pour vérification et exécution. Bien que le mécanisme spécifique soit différent, il est utile de comprendre la philosophie de conception ZkVM de Brevis : « condensation et vérification ».Grâce aux mathématiques, une grande quantité de travail informatique hors chaîne est compressée en petits morceaux d’informations, permettant un traitement efficace sur des chaînes coûteuses et à faible débit, résolvant ainsi le problème d’évolutivité de la blockchain.
Le mécanisme de base de Brevis consiste à effectuer des calculs efficaces hors chaîne, à générer des preuves ZK, puis à effectuer une vérification en chaîne rapidement et à faible coût sans réexécuter l’intégralité du calcul complexe.Ce n’est pas nouveau, ce qui différencie Brevis c’est :
Une combinaison d’optimisation à usage général et spécialisée
La pile technologique de Brevis est une conception modulaire, dans laquelle Pico zkVM est son moteur de calcul universel vérifiable, prenant en charge la génération de preuves ZK pour tout calcul. Les développeurs écrivent du code dans Rust sans expertise ZK.La plate-forme gère automatiquement la génération de preuves, abaissant ainsi le seuil permettant aux développeurs de créer des applications de chiffrement complexes (la technologie élimine la complexité ZK et permet aux développeurs de créer des applications comme si elles écrivaient du code ordinaire).Son architecture modulaire supporte l’ajout de coprocesseurs spécifiques. En plus du règlement général, il peut également être optimisé pour des calculs complexes dans des scénarios spécifiques afin d’obtenir des améliorations plus ciblées.
Il dispose d’un processeur de protocole intégré appelé ZK Data Coprocessor, qui est conçu pour l’analyse des données historiques de la blockchain et peut résoudre le problème « d’amnésie » des contrats intelligents (l’incapacité d’accéder aux données historiques à moindre coût).c’est dans
Récupérez et analysez les données hors chaîne, fournissez des résultats et des preuves, et garantissez l’existence des données et l’exactitude des calculs.Par exemple, pancakeswap peut utiliser les crochets Brevis pour obtenir des réductions de frais en fonction du volume de transactions des utilisateurs ;Uniswap utilise Brevis pour les remboursements de gaz.Ils réalisent des fonctions complexes via le coprocesseur de données zK tout en économisant beaucoup de coûts.
Fournir un « accélérateur » pour Ethereum L1
Pico Prism est l’une des technologies clés de Brevis. Il a fait des percées dans les clusters GPU multi-serveurs et prend en charge la « preuve en temps réel » d’Ethereum L1.Cette « preuve en temps réel » peut être comprise comme chaque bloc (une page d’enregistrements de transaction) dans Ethereum L1, qui peut être « estampillé » cryptographiquement pour confirmer son exactitude en quelques secondes.Vous n’avez pas besoin de le recalculer pour vérifier s’il est fiable.
Selon le référentiel actuel du cadre de preuve en temps réel de la Fondation Ethereum, pour le bloc L1 actuel avec une limite de gaz de 45 millions, une couverture de 99,6 % (<12 secondes de preuve) et une couverture de 96,8 % en temps réel (<10 secondes) sont atteintes ; le temps de preuve moyen est de 6,04 secondes pour les blocs de gaz de 36 millions et de 6,9 secondes pour les blocs de gaz de 45 millions ; le matériel est constitué de 64 GPU RTX 5090 et coûte 128 000 $.
Les données ci-dessus semblent très professionnelles, mais pour les utilisateurs ordinaires, ces données peuvent ne pas être pertinentes.
Pour une compréhension facile, l’analogie peut être simplifiée lorsque Pico Prism installe un accélérateur pour Ethereum L1. Dans le passé, Ethereum exigeait que tous les nœuds recalculent chaque bloc lors du traitement de chaque bloc.Grâce à une technologie telle que Pico Prism, cela signifie qu’il peut « condenser » (générer rapidement une preuve, un résumé super-compressé), permettant au réseau de vérifier en quelques secondes seulement, sans avoir besoin de calculs répétés par chaque nœud.En d’autres termes, cela signifie qu’Ethereum L1 deviendra plus rapide, moins cher, plus efficace et pourra gérer des implémentations plus complexes sans sacrifier la décentralisation et la sécurité.Si l’Ethereum précédent ressemblait à un vélo à l’ancienne, avec la technologie Pico Prism de Brevis, l’Ethereum a été amélioré pour devenir une voiture.
Cet effet d’accélération peut débloquer davantage de scénarios, tels que les prêts DeFi en temps réel basés sur l’IA, les jeux en chaîne, le vote anonyme, etc.
Scénario DeFi : les contrats intelligents précédents sur Ethereum L1 ne pouvaient emprunter de l’argent qu’en fonction du solde et ne pouvaient pas analyser la stabilité de l’utilisateur sur la base des données de transaction historiques de l’utilisateur (car une analyse massive des données historiques ne pouvait pas être effectuée). Grâce à cet accélérateur, L1 peut être aidé à analyser des données historiques massives en temps réel (preuve de quelques secondes), construisant ainsi un « robot de prêt IA ».Le contrat calcule un score de crédit basé sur l’historique des transactions DeFi de l’utilisateur et donne un taux d’intérêt personnalisé.De plus, pour les scénarios à haute fréquence, tels que les prêts flash, les emprunts/investissements/remboursements d’argent sont tous effectués en un seul bloc, et l’IA optimise le chemin en temps réel pour éviter les pertes par « glissement ».Semblable au Robinhood décentralisé. Il peut également y avoir des enchères à haute fréquence, où des centaines ou des milliers d’offres peuvent être complétées par minute.
Jeux en chaîne : auparavant, L1 voulait créer un jeu multijoueur (comme Axie Infinity sur la chaîne), mais la confirmation du blocage prenait 12 secondes, les joueurs étaient bloqués et les frais montaient en flèche ;Pico Prism prend en charge les jeux « simulés en temps réel », et les serveurs hors chaîne calculent les dégâts et d’autres valeurs, et utilisent la preuve ZK pour régler le règlement en L1 à chaque tour, simulant des jeux « en temps réel » pour obtenir une meilleure expérience de jeu.
Scénario de vote anonyme en chaîne : actuellement, le vote L1 est transparent, facile à suivre ou à manipuler, et les statistiques complexes sont coûteuses et lentes.Grâce à Pico Prism pour réaliser « l’informatique de confidentialité sans connaissance », L1 peut exécuter des applications de confidentialité à haute fréquence, qui peuvent réaliser un vote anonyme à haute fréquence dans la gouvernance DAO et produire des résultats en temps réel.
Ce que le scénario ci-dessus signifie pour Ethereum, c’est qu’il peut débloquer davantage de DeFi et d’autres scénarios d’application, apporter plus d’actifs à L1, apporter plus de transactions et de liquidités et une plus grande activité.
Quant aux scénarios qui pourront être exécutés à l’avenir, ils doivent encore être testés dans la pratique spécifique.
Progressivement mis en œuvre
Selon les informations publiques, Brevis est progressivement déployé, avec 147,5 millions de certificats ZK générés ; plus de 190 000 utilisateurs indépendants ; prenant en charge 5 blockchains ; plus de 20 partenaires majeurs (tels que Metamask, Linea, etc.), et est actuellement intégré dans des applications déjà en cours d’exécution, par exemple via la technologie Brevis, Incentra Platform délivre des récompenses annuelles ; PancakeSwap met en œuvre des remises basées sur le volume des transactions et d’autres données ; Linea distribue 1 milliard de LINEA sur la base des contributions des utilisateurs, des jetons, etc.
