L’annonce d’hier est une étape importante, et @VitalikButerin soulève de bons points sur le travail supplémentaire qui sera nécessaire. MAIS je pense que nous sommes plus proches sur tous ces points que les gens ne le pensent... 1. La preuve en temps réel dans le pire des cas peut être résolue avec de simples modifications du calendrier de gaz d’Ethereum : Aujourd’hui, ~94 % des blocs peuvent être prouvés en < 12 secondes, 99 % des blocs peuvent être prouvés en < 13 secondes. Pour les valeurs aberrantes restantes, de simples ajustements au calendrier de gaz d’Ethereum devraient suffire (actuellement, les précompilés bn254, bls12-381 sont sous-évalués par rapport à leurs coûts de preuve). De plus, l’EIP limitant l’utilisation maximale de gaz d’une seule transaction aidera à garantir qu’il n’y a pas de vecteurs DDOS (puisque nous prouvons des sous-blocs de transactions en parallèle pour atteindre notre faible latence). 2. La vérification formelle pour SP1 est déjà en cours : Comme par hasard, nous avons eu 2 annonces la semaine dernière concernant la vérification formelle pour SP1, en collaboration avec @NethermindEth et @VeridiseInc ! Nous avons une ligne de mire claire pour vérifier officiellement tous nos DA de base au cours des prochains mois. 3. La preuve à domicile n’est pas nécessaire avec les réseaux de décentralisés : À l’heure actuelle, RTP nécessite ~160 GPU, ce qui est très petit pour n’importe quel centre de données, mais peut-être légèrement grand pour une configuration à domicile. Cependant, avec les lancements à venir de réseaux de démonte-conducteurs décentralisés, je ne suis pas sûr que nous devions viser à faire nos preuves chez nous. Le réseau incitera économiquement à ce qu’il y ait toujours des prouveurs en ligne prêts à prouver en temps réel. 4. La preuve parallélisée des sous-blocs signifie que 100x-ing la limite de gaz n’est pas un problème pour la latence : je suis tout à fait pour 100x-ing la limite de gaz et ce ne sera pas un problème pour nous. Notre implémentation de preuve en temps réel utilise une approche de sous-bloc, où nous prenons un bloc et le divisons en sous-blocs plus petits de quelques transactions. Ces sous-blocs sont prouvés en parallèle, puis agrégés en 1 preuve à la fin. Même si la limite de gaz augmente de 100x, nous pouvons toujours paralléliser la vérification des sous-blocs (il y en a juste plus), ce qui signifie que la latence ne sera pas affectée. Croyez en quelque chose de réel. Croyez en la preuve en temps réel.