Cours de Eigen

En voyant Vitalik mentionner Brevis, il semble accorder une grande importance à l'extension 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 décentraliser l'extension de L1, on peut tirer parti des avantages hors chaîne ; Brevis utilise également ce modèle, alors qu'est-ce qui le rend différent ? Commençons par comprendre simplement ce qu'est le modèle "calcul hors chaîne, validation sur chaîne". Pour que davantage d'utilisateurs ordinaires puissent comprendre, on peut faire une analogie simplifiée : "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, puis validé sur la chaîne. Dans une certaine mesure, sa logique est similaire à celle des Rollups L2 au niveau abstrait, où les Rollups L2 regroupent plusieurs transactions en un lot, soumis à L1 pour validation et exécution. Bien que les mécanismes spécifiques diffèrent, cela aide à comprendre la philosophie de conception de Brevis concernant le ZkVM : "concentration et validation". Grâce aux mathématiques, une grande quantité de travail de calcul hors chaîne est compressée en petits morceaux d'information, permettant un traitement efficace sur la chaîne, qui est coûteux 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, générant des preuves ZK, puis validant rapidement et à faible coût sur la chaîne, sans avoir à réexécuter l'ensemble des calculs complexes. Ce n'est pas nouveau, mais la différence avec Brevis réside dans : * La combinaison de la généralité et de l'optimisation spécialisée. La pile technologique de Brevis est conçue de manière modulaire, où le Pico zkVM est son moteur de calcul vérifiable général, prenant en charge la génération de preuves ZK pour tout type de 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 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. Elle dispose d'un coprocesseur 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 recherche et analyse des 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 des hooks Brevis pour offrir des réductions de frais en fonction du volume de transactions des utilisateurs ; Uniswap utilise Brevis pour le remboursement des frais de gaz. Ils réalisent des fonctions complexes grâce au ZK Data Coprocessor tout en économisant des coûts considérables. * Fournir un "accélérateur" pour Ethereum L1. Pico Prism est l'une des technologies clés de Brevis, ayant fait des percées dans les clusters GPU multi-serveurs, prenant en charge la "preuve en temps réel" pour Ethereum L1. Cette "preuve en temps réel" peut être comprise comme la capacité de chaque bloc d'Ethereum L1 (une page d'enregistrements de transactions) à être "tamponné" et confirmé comme correct en quelques secondes, sans que tout le monde ait à recalculer pour vérifier sa fiabilité. Selon les normes actuelles du cadre de preuve en temps réel de la Fondation Ethereum, pour le bloc L1 actuel avec une limite de 45M de gaz, un taux de couverture de 99,6 % est atteint (<12 secondes de preuve), avec un taux de couverture en temps réel de 96,8 % (<10 secondes) ; le temps moyen de preuve pour un bloc de 36M de gaz est de 6,04 secondes, et pour un bloc de 45M de gaz, de 6,9 secondes ; le matériel utilisé est de 64 GPU RTX 5090, coûtant 128K dollars. Ces données peuvent sembler très techniques, mais pour les utilisateurs ordinaires, elles peuvent sembler abstraites. Pour simplifier la compréhension, on peut dire que Pico Prism est comme un accélérateur pour Ethereum L1. Auparavant, Ethereum devait recalculer chaque bloc par tous les nœuds, mais grâce à une technologie comme Pico Prism, cela signifie qu'il peut "concentrer" (générer rapidement une preuve, un résumé super compressé), permettant au réseau de valider en quelques secondes, sans que chaque nœud ait à recalculer. 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'ancien Ethereum était comparable à un vieux vélo, avec la technologie Pico Prism de Brevis, Ethereum a été mis à niveau en une voiture. Cet effet d'accélération peut débloquer davantage de scénarios, comme le prêt DeFi alimenté par l'IA en temps réel, les jeux sur chaîne, le vote anonyme, etc. Scénario DeFi : Auparavant, les contrats intelligents sur Ethereum L1 ne pouvaient que vérifier les soldes pour emprunter, sans pouvoir analyser la solidité des utilisateurs en fonction de leurs données de transactions historiques (car l'analyse de données historiques massives était impossible). Avec cet accélérateur, il peut prendre en charge l'analyse en temps réel de données historiques massives (preuves en quelques secondes), permettant de construire un "robot de prêt AI". Le contrat, basé sur l'historique des transactions DeFi de l'utilisateur, attribue un score de crédit et propose un taux d'intérêt personnalisé. De plus, pour des scénarios à haute fréquence, comme les prêts flash, emprunter/investir/rembourser se fait dans un seul bloc, l'IA optimisant en temps réel le chemin pour éviter les pertes dues au "slippage". C'est similaire à un Robinhood décentralisé. Il pourrait également y avoir des enchères à haute fréquence, avec des centaines voire des milliers d'enchères par minute. Jeux sur chaîne : Auparavant, pour créer un jeu multijoueur sur L1 (comme Axie Infinity sur chaîne), la confirmation des blocs prenait 12 secondes par tour, entraînant des ralentissements pour les joueurs et des coûts élevés ; grâce à Pico Prism, il est possible de soutenir des jeux "simulés en temps réel", où les serveurs hors chaîne calculent des valeurs comme les dégâts, chaque tour étant réglé sur L1 avec une preuve ZK, simulant un jeu "en temps réel" pour une meilleure expérience de jeu. Scénario de vote anonyme sur chaîne : Actuellement, le vote sur L1 est transparent, ce qui le rend facile à suivre ou à manipuler, et le coût de statistiques complexes est élevé et lent. Grâce à Pico Prism, il est possible de réaliser des "calculs de confidentialité à connaissance nulle", permettant d'exécuter des applications de confidentialité à haute fréquence sur L1, rendant possible le vote anonyme à haute fréquence pour la gouvernance DAO, avec des résultats en temps réel. Ces scénarios signifient pour Ethereum la possibilité de débloquer davantage d'applications DeFi et autres, apportant plus d'actifs à L1, générant plus de transactions et de liquidités, et une plus grande activité. Quant à ce que l'avenir pourrait révéler, cela devra ê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 ; prenant en charge 5 blockchains ; plus de 20 partenaires principaux (comme Metamask, Linea, etc.), et est 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 réalise des réductions basées sur le volume de transactions et d'autres données ; Linea distribue 1 milliard de jetons LINEA basés sur la contribution des utilisateurs, etc.