La Fondation Ethereum a lancé un défi technique sur evm.fast visant à démontrer une limite finie du nombre de étapes nécessaires à la vérification d’un bloc Ethereum sur un modèle RISC-V 64 bits. Le score K correspond à cette borne supérieure certifiée et inclut les étapes de démarrage ; le meilleur score actuel est infini, faute de limite uniforme démontrée. Les participants doivent fournir une preuve vérifiée par machine, en utilisant le compilateur Flapjack, une adaptation de Pancake en Lean 4. Ce travail s’inscrit dans les objectifs de la Fondation pour 2025-2026, notamment la sécurité prouvable, la solidité de la récursivité et la prévisibilité des coûts de génération de preuves à connaissance zéro. Une borne certifiée permettrait aux générateurs de preuves de planifier leurs ressources et de réduire le risque de(block?) de denial-of-service.ctrl
Source: Lire l’article original
