La Fondation Ethereum lance le défi evm.fast pour vérifier les limites de blocs

加载图片中

Dado Ruvic 2

Un défi ouvert invite les contributeurs à prouver une borne finie du nombre d'étapes dans le pire des cas pour la vérification des blocs Ethereum sur un modèle RISC-V

Lun 2 nov. 2026 · 23:34 HNE · 3 min de lecture

Dans la rubrique Technologie

Partager

La Fondation Ethereum a lancé un défi technique sur evm.fast avec un objectif inhabituel. Le meilleur score actuel est l'infini.

La tâche consiste à prouver une limite dans le pire des cas sur la quantité de calcul nécessaire pour vérifier un bloc Ethereum. Toute réponse finie, étayée par une preuve vérifiée par machine, bat le record existant.

Comment le score est calculé

Le défi mesure un nombre appelé K. K est la borne supérieure certifiée du nombre d'étapes d'exécution pour un modèle RISC-V 64 bits, appliquée à chaque entrée couverte par le défi. Les étapes de démarrage comptent dans le total, de sorte que les participants ne peuvent pas discrètement sauter l'échauffement.

Le modèle s'exécute via Flapjack. Flapjack est une adaptation en Lean 4 du compilateur Pancake, conçue pour une architecture RISC-V 64 bits. Lean 4 est un assistant de preuve, un logiciel qui vérifie les preuves mathématiques ligne par ligne. RISC-V est un jeu d'instructions ouvert, le vocabulaire de base qu'un processeur comprend.

Le programme de référence, compilé par le compilateur Flapjack vérifié, prouve déjà que la vérification de bloc s'arrête tôt ou tard. Ce qu'il ne prouve pas, c'est une borne uniforme, un plafond fixe qui tient pour toutes les entrées. Le programme de référence revendique donc un score de ∞.

Le défi est présenté comme ouvert aux contributeurs. Aucun prix en argent, aucune date limite ni plateforme de soumission n'ont été annoncés.

Pourquoi les bornes du pire cas importent pour la preuve zk

Ce travail s'inscrit dans le programme plus large de la Fondation en matière de preuves à divulgation nulle de connaissance. Une preuve à divulgation nulle de connaissance permet à une partie de démontrer qu'un calcul a été effectué correctement sans que le vérificateur ne le refasse entièrement. Les systèmes qui génèrent ces preuves pour des programmes généraux sont appelés zkVM. Beaucoup d'entre eux compilent le code jusqu'au jeu d'instructions RISC-V.

Les objectifs de la Fondation pour 2025 à 2026 incluent la sécurité prouvable, la solidité de la récursion et des coûts de preuve prévisibles. La solidité de la récursion désigne les preuves qui vérifient d'autres preuves, lesquelles doivent rester correctes à mesure qu'elles s'empilent. Les coûts de preuve prévisibles sont le domaine auquel ce défi se rattache le plus directement.

Les performances se sont déjà nettement améliorées dans ce domaine. La latence est passée d'environ 16 minutes à moins de 10 secondes pour 99 % des blocs du réseau principal sur le matériel cible, dans le contexte de preuves en temps réel de blocs Ethereum complets.

Contexte sur la vérification formelle dans Ethereum

Ce défi s'inscrit aux côtés d'autres travaux en cours de la Fondation sur l'estimation de la sécurité, la vérification des programmes invités et la sémantique RISC-V dans l'exécution d'Ethereum. Un programme invité est le code qu'un zkVM exécute et prouve, en l'occurrence la logique qui vérifie un bloc Ethereum.

Ce que cela signifie

La preuve en temps réel de blocs complets ne fonctionne que si les proveurs peuvent budgétiser le bloc le plus difficile possible, et non seulement le bloc typique. Un K prouvé confère à ce budget un fondement mathématique plutôt qu'une estimation empirique.

Il existe également un angle de déni de service. Si un attaquant pouvait fabriquer un bloc nécessitant bien plus d'étapes de vérification que prévu, les proveurs pourraient prendre du retard. Un plafond certifié rend ce type de surprise beaucoup plus difficile à concevoir, car le pire cas est déjà connu et documenté.

Comme la valeur de référence se situe à l'infini, la première entrée valide l'emporte par défaut, même avec une borne permissive. Ensuite, la véritable compétition consiste à resserrer K vers une valeur sur laquelle les prouveurs peuvent réellement planifier.

Divulgation : Cet article a été édité par Estefano Gomez. Pour plus d'informations sur notre façon de créer et de réviser les contenus, consultez notre Politique éditoriale.