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

LIVE NOW - Le pivot stratégique d’Ethereum : le plan pour restaurer la domination @ethereumfndn chercheurs @dankrad et @adietrichs se joindre à @TrustlessState et à @MikeIppolito_ pour discuter de la crise d’identité de @ethereum et de la façon dont elle fait basculer le navire. Ils décomposent les défis culturels et organisationnels d’Ethereum, le pivot vers la croissance de L1 et l’évolution du rôle de la Fondation Ethereum sous la nouvelle direction. La conversation porte sur l’avenir des rollups de base et natifs, l’alignement L2 et pourquoi les valeurs uniques d’Ethereum sont toujours importantes dans un paysage concurrentiel. -------------- TIMESTAMPS 0:00 Présentation 5:42 Principaux problèmes avec Ethereum 12:33 Manque de croissance dans la couche 1 d’Ethereum 27:49 Le dilemme de la feuille de route d’Ethereum 38:08 Progression de la mise à l’échelle de la couche 1 39:08 La proposition de valeur d’Ethereum L1 pour les L2 48:44 Explication des rollups de base et natifs 57:25 L’EVM canonique dans un monde de rollup 1:01:26 La vision de Vitalik pour la mise à l’échelle L1 1:05:59 La mise à l’échelle ZK devient réelle 1:08:12 Temps de bloc rapides et DeFi 1:16:59 L’évolution de la culture de base d’Ethereum 1:22:38 Autres changements intéressants 1:26:41 La direction d’Ethereum est différente maintenant 1:30:09 Clôture et divulgation