Hier, Ethereum a fêté ses 10 ans. Aujourd'hui, Ethereum lean est dévoilé comme une vision—et une mission personnelle—pour les 10 prochaines années. Nous sommes à l'aube d'une nouvelle ère. Des millions de TPS. Des adversaires quantiques. Comment Ethereum marie-t-il une performance extrême avec une sécurité et une décentralisation sans compromis ? TLDR : la cryptographie de nouvelle génération est centrale pour gagner à la fois en attaque et en défense. Avertissement : Ceci est une prise de position de Drake™ destinée à un large public. Une plongée technique dans les signatures post-quantiques basées sur le hachage et les SNARKs suivra. Une diversité saine de points de vue à travers le Protocole, l'EF et la communauté Ethereum au sens large est attendue et bienvenue. Cela nous renforce. défense—mode fort Ethereum est spécial. 100 % de disponibilité depuis la genèse. Une diversité de clients inégalée. 130 milliards de dollars en sécurité économique (35,7 millions d'ETH stakés × 3,7K $)—peut-être bientôt 1 trillion de dollars. Ethereum est prêt à devenir le socle de l'internet de la valeur, sécurisant des centaines de trillions sur des décennies, voire des siècles. Ethereum doit survivre à tout : États-nations, ordinateurs quantiques. Quoi qu'il arrive. Appelez cela le mode fort. Si l'internet est en ligne, Ethereum est en ligne. Si le monde est connecté, le monde est sur la chaîne. attaque—mode bête Ethereum a faim. "Échelle L1, échelle blobs" est une urgence stratégique au sein du cluster Protocole de l'EF. Attendez-vous à des gains de performance faciles au cours des 6 à 12 prochains mois. À plus long terme ? Pensez gigagas L1, teragas L2. Appelez cela le mode bête. → 1 gigagas/sec sur L1 : 10K TPS, échelle verticale ambitieuse → 1 teragas/sec sur L2 : 1M TPS, échelle horizontale tentaculaire Échelle contre décentralisation ? Pourquoi pas les deux. Les mathématiques lunaires dont nous avons besoin sont maintenant apprivoisées : → zkVMs en temps réel pour une exécution lean → échantillonnage de disponibilité des données (DAS) pour des données lean Une délicieuse cerise sur le gâteau : vérification complète de la chaîne sur chaque navigateur, portefeuille, téléphone. mises à jour lean Lean Ethereum propose des mises à jour audacieuses à travers les trois sous-couches L1 : → le consensus lean est la chaîne de balises 2.0 : durcie pour une sécurité et une décentralisation ultimes, plus une finalité en quelques secondes ; anciennement appelée "chaîne de faisceau" → les données lean sont les blobs 2.0 : blobs post-quantiques, plus un dimensionnement granulaire des blobs pour une expérience développeur semblable à celle des calldata → l'exécution lean est l'EVM 2.0 : un ensemble d'instructions minimal, compatible avec les SNARK (possiblement RISC-V ; prononcé "risque cinq"), boostant la performance tout en préservant la compatibilité EVM et ses effets de réseau La couche de consensus (CL), la couche de données (DL), la couche d'exécution (EL) ont chacune été réimaginées à partir des premiers principes. Ensemble, elles débloquent le mode fort et le mode bête. L'objectif : une abondance de performance sous la contrainte d'une continuité non négociable, d'une dureté maximale et d'une simplicité rafraîchissante. cryptographie lean La cryptographie basée sur le hachage émerge comme le fondement idéal pour Ethereum lean. Elle offre une réponse unifiée convaincante à deux mégatendances qui redéfinissent l'écosystème : → l'essor explosif des SNARKs → la menace quantique imminente Imaginez la brique cryptographique la plus lean—la fonction de hachage—alimentant à elle seule L1 : → CL : les signatures agrégées basées sur le hachage améliorent les signatures BLS → DL : les engagements DAS basés sur le hachage améliorent les engagements KZG → EL : les zkVMs en temps réel basées sur le hachage améliorent la réexécution de l'EVM Un bijou cryptographique dans chacune des CL lean, DL lean, EL lean. artisanat lean Lean Ethereum est plus qu'un plan pour durcir et faire évoluer Ethereum. Plus qu'un simple renforcement de la sécurité, de la décentralisation et de la cryptographie de pointe. C'est une esthétique. Une forme d'art. Un artisanat. Pensez à Jiro dans Les rêves de sushi. Quand nous pouvons faire un effort supplémentaire, nous le faisons. Minimalisme. Modularité. Complexité encapsulée. Vérification formelle. Sécurité prouvable. Optimalité prouvable. Ce sont des considérations techniques subtiles mais importantes. Restez à l'écoute pour le post sur la cryptographie post-quantique qui les rendra explicites. héritage lean Après 10 années fantastiques, lean Ethereum est un serment générationnel. Pour garder Ethereum en ligne quoi qu'il arrive. Pour le faire évoluer sans compromis. Pour le rendre digne de ceux qui viendront après. Il s'agit d'héritage. Nous sommes des bâtisseurs, nous sommes des missionnaires. Nous sommes Ethereum. J'espère que vous nous rejoindrez.

Chez @ziskvm, nous prouvons désormais les blocs Ethereum en temps réel — open source et fonctionnant sur une infrastructure de plus en plus efficace. C'est une étape précoce mais significative. Rejoignez-moi aujourd'hui à 13h00 @ EthCC, Redford Stage pour en savoir plus. #EthCC #ZK #Ethereum #zkVM @eth_proofs

Q&R de preuve en temps réel :) Qu’est-ce que c’est? ELI12. R : Une armée de nerds vient de résoudre un problème de science-fiction : prouver chaque bloc de réseau principal Ethereum en temps réel. Ces preuves zk sont exponentiellement moins chères à vérifier que de réexécuter des transactions – quelques millisecondes seulement, quel que soit le gaz utilisé. Des blocs Thicc, de minuscules validateurs. Décentralisation maxis réjouissez-vous. N’était-ce pas prouver en temps réel que les mathématiques de la lune étaient impossibles ? R : C’était le cas. Il y a cinq ans, nous étions à cinq ordres de grandeur. Mais la technologie a continué à s’accumuler 10 fois par an, et maintenant nous en sommes là. Ne faiblir pas les exponentielles. Aussi, sur les exponentielles : → ne s’estompent pas, les ordinateurs quantiques cassant l’ECDSA → ne pas effacer les moitiés en brisant la sécurité du bitcoin Comment Ethereum L1 devient-il un « rollup basé et natif » ? R : Décomposons-le. → : transactions de commande des proposants L1. Ethereum L1 est la couche de base, c’est-à-dire qu’il est basé sur la tautologie. → natif : L1 exécute les transactions via la fonction de transition d’état EVM intégrée. Par définition, Ethereum L1 est natif. Ce sera toujours. → rollup : un rollup contient des données onchain et une exécution offchain. En snarker les blocs EVM du réseau principal, Ethereum L1 se transforme en un rollup zk. Les rollups débloquent de grandes limites de gaz. La base est déjà à 35 mégagas/s, soit 20x Ethereum L1. Base vise 1 gigagas/sec, Ethereum L1 peut y arriver aussi. Wen gigagas L1 ? R : L’appel #3 d’Ethproofs sera consacré aux gigagas L1 – connectez-vous. Avec l’EIP-9698, Dankrad propose des bosses de gaz de ~3x/an, ou ~10x tous les 2 ans. C’est 1 000 fois en 6 ans. Respectable, mais toujours un nombre de recrues. Mon point de vue optimiste ? Maintenant que les zkVM correspondent aux performances EVM, les limites de gaz peuvent suivre les améliorations de zkVM. Si nous continuons à atteindre 10x/an, cela fait 1 gigagas/sec dans 3 ans. J’ai travaillé avec Dankrad pendant plus d’une décennie – la réalité se situe généralement entre sa prudence et mon hopium. Les zkVM ne sont-ils pas bogués ? Qu’en est-il de la vérification formelle ? R : La vérification formelle est la fin du jeu, et non la première étape. La stratégie à court terme : la diversité zkVM. D’ici la fin du deuxième trimestre, une poignée de zkVM seront testées en temps réel. Tout comme les clients CL et EL, tout client individuel est supposé bogué. La sécurité vient de la diversité. Les preuves à faible latence peuvent-elles s’adapter aux gigagas ? R : Oui. La preuve SNARK est massivement parallélisable. Seules l’exécution et le découpage x86 initiaux sont séquentiels. L’EIP-7825 propose de plafonner la quantité maximale de gaz utilisée par transaction. Cela permet de segmenter facilement les limites des transactions. Échelles de parallélisme. La latence reste faible. Quel est le prochain goulot d’étranglement de zkVM ? Pouvoir. La vivacité crédible de l’étalon 1 sur n signifie que la preuve à domicile devrait être accessible aux passionnés. Un objectif raisonnable peut être de 10 kW ou moins par grappe d’essais. Comment multiplier par 1 000 la limite de gaz avec un budget de 10 kW ? → logiciel : systèmes d’épreuve, circuits, algos ne cessent de s’accumuler → matériel : loi de Moore + ASIC SNARK → preuve distribuée : répartissez la charge, sans confiance

🤯 La preuve en temps réel est arrivée 🤯 Les blocs EVM du réseau principal ont fait leurs preuves dans moins d’un emplacement Ethereum (12s). Chair de poule. Succinct prouve chaque bloc Ethereum L1 : → 94 % chez les <12 ans → 99 % chez les <13 ans → 99,9 % chez les <12 ans, bientôt™ Hier, RISC Zero a dévoilé un cluster de GPU domestiques de 120 000 dollars, dont les preuves sont attendues en 9,25 secondes. Brevis, OpenVM, Snarkify, ZisK, ZKM sont à quelques semaines de rejoindre le club du temps réel. Bientôt,™ mon validateur vérifiera les blocs EVM sur un Rasberry Pi Pico, une carte à 5 $ qui consomme <1W. Je vais abandonner mon client EL au profit d’un zkEL. Pas de NVMe de 1 To. Au revoir Geth, bonjour zkReth. Vérification sans état et sans RAM en millisecondes sur un seul cœur de processeur. Avec la preuve en temps réel, 1 gigagas/sec (10K TPS) est à portée de main, sans compromettre la décentralisation du validateur. À partir de maintenant, attendez-vous à des augmentations régulières des limites de gaz. 10 % de la participation vote déjà pour une limite de 60 millions – vos validateurs peuvent le faire aussi. La snarkification du réseau principal transforme Ethereum L1 en le premier rollup natif et basé sur le virus. Étape 2. Sans bug. Séquençage décentralisé. Pas de conseil de sécurité. Pas de gouvernance. La L1 montrera l’exemple. Ce vendredi, nous célébrons. Rejoignez-nous pour l’appel Ethproofs #2, le 23 mai à 14h UTC. 25 intervenants, 2 heures de contenu. Les appels sont ouverts : le DM @corcoranwill pour une invitation dans le calendrier. Nous sommes témoins de l’histoire. Croyez en quelque chose de réel. Croyez en la preuve en temps réel.

Les développeurs de l’ETH Core ne tweetent pas beaucoup sur la difficulté du travail qu’ils font, alors parlons-en : 1. Chaque ligne de code qu’ils fusionnent peut déplacer plus d’argent que la plupart des banques n’en traitent en un trimestre. Il n’y a pas de serveur de staging pour cela. 2. Ils échangent la logique de consensus contre une économie de 400B + dollars sans planifier de temps d’arrêt. jamais. 3. Ils coordonnent des centaines de chercheurs, d’auditeurs et d’équipes de clients à travers les fuseaux horaires, les cultures et les philosophies, tout en livrant comme un seul esprit. 4. Ils font tout cela en public, chaque décision étant disséquée par la galerie de cacahuètes la plus bruyante d’Internet, et gardent toujours l’ambiance collaborative. 5. Ils conçoivent pour les attaquants qui ont des incitations à neuf chiffres et une patience infinie. Ensuite, ils dorment quand même. 6. Ils gardent six clients indépendants en parfaite synchronisation afin que le même bloc vive à la même hauteur pour chaque nœud dans le monde. 7. Ils transforment la recherche de pointe en code de production tout en préservant la rétrocompatibilité pour les machines qui se sont connectées avant même que la DeFi n’ait un nom. 8. Ils déboguent des problèmes qui ne se produisent qu’une fois par an sur un seul nœud d’archive, car quelqu’un quelque part s’appuiera sur ce cas limite. 9. Ils écrivent de la cryptographie qui doit rester ininterrompue pendant des décennies pendant que les mathématiques elles-mêmes évoluent sous leurs pieds. 10.Lorsque la mise à niveau atterrit en douceur, le monde extérieur hausse les épaules. À l’intérieur d’Ethereum, nous savons que c’était un petit miracle. Chaque fork réussi prouve que la coordination décentralisée peut surpasser les meilleures hiérarchies du monde et montre que les marchés de capitaux de l’Internet ouvert sont désormais la valeur par défaut. Merci, vraiment. Nous vous devons tout.

configuré mon validateur pour une limite ⛽ de gaz de 60M → augmentation de 66 % par rapport à 36M est sans danger après Pectra → validateurs fixent la limite, votez avec la vôtre → instructions sur PumpTheGas[.]Org wen 1 gigagas/sec (10K TPS) sur Ethereum L1 ? → a besoin de preuves zkEVM pour les appareils grand public → Ethproofs call #2 : la preuve en temps réel → Ethproofs appel #3 : gigagas L1 croire en quelque chose

Simplification de la L1

Présentation d’Ethereum R1 — Le rollup neutre conçu pour Ethereum Pas de jeton. Pas de ventes privées. Pas de culte de la gouvernance. Juste les valeurs d’Ethereum, le financement public et le contrôle de la communauté. 🧵 Pourquoi R1 est important et comment vous pouvez nous rejoindre :

1 gigagas/sec (10K TPS) sur Ethereum L1 avec zkVMs Aucun compromis : → matériel grand public (zkVMs) → l’Internet domestique (DAS) → résistance à la censure (FOCIL) → 100 % de disponibilité (diversité des clients) → nœuds de consensus 8K Conçu pour la finance sur Internet. Croyez en quelque chose de réel.

trois nouvelles zkVM dévoilées lors de l’appel #1 d’Ethproofs → ix (Lean 4) par @argumentxyz → StarkV (RISC-V) par @StarkWareLtd → zCray (inspiré de RISC-V) par @IrreducibleHW