Ethereum a une limite de gaz. Mais pouvons-nous prouver mathématiquement le travail computationnel maximal requis pour vérifier n'importe quel bloc valide ? Étonnamment, nous ne disposons pas encore d'une borne supérieure finie certifiée pour le modèle complet de défi. C’est précisément le problème que @yukonresearch, @zksecurityXYZ et @Veritylab abordent avec https://t.co/w9Ti86Tqsj. Actuellement, les validateurs Ethereum exécutent indépendamment les transactions pour vérifier les blocs. Alors qu’Ethereum évolue vers une validation basée sur zkEVM, le défi dépasse la simple exécution correcte des transactions. Nous devons également comprendre le coût computationnel dans le pire des cas. Pourquoi est-ce important ? Un bloc Ethereum peut être valide tout en nécessitant un calcul anormalement coûteux. Si les coûts de preuve deviennent imprévisibles, la preuve ZK en temps réel pourrait devenir un goulot d’étranglement pour l’évolutivité d’Ethereum. https://t.co/w9Ti86Tqsj lance un concours ouvert visant à établir des bornes supérieures certifiées mathématiquement pour le calcul de validation des blocs. Les implications sont importantes : → Des charges de travail d’exécution et de preuve plus prévisibles. → Des fondations plus solides pour la preuve ZK en temps réel. → Une confiance accrue dans l’augmentation des limites de gaz d’Ethereum. → Une voie vers la validation sur du matériel plus accessible. Bien sûr, borner le nombre d’étapes d’exécution ne garantit pas automatiquement des preuves ZK rapides. Mais c’est une base essentielle. Le prochain défi d’évolutivité d’Ethereum ne consiste pas seulement à accélérer l’exécution. Il s’agit de rendre le coût computationnel dans le pire des cas prévisible et prouvable. Et alors que les rollups Ethereum comme @puffer_unifi avancent vers une latence plus faible et une composable synchronisée, ce type de recherche devient de plus en plus pertinent. https://t.co/SwPS2w3ic1