Ethereum mise gros sur les zkVM : vérification formelle et cryptanalyse en ligne de mire

Last Updated:
Ethereum Foundation Invests Massively in zkVM Development
  • La Fondation Ethereum investit des dizaines de millions dans les zkVM.
  • La Fondation invite les contributeurs au développement de zkVMs.
  • Cet investissement massif souligne l’engagement de la Fondation Ethereum envers les zkVM.

Le célèbre chercheur de la Fondation Ethereum, Justin Drake, a déclaré que la Fondation Ethereum investit des dizaines de millions de dollars dans des machines virtuelles à connaissance zéro (zkVM). Dans un article récent sur X, Drake a identifié trois protocoles – la vérification formelle zkRISC-V, la cryptanalyse Poséidon et L2beat pour les zkVM – comme l’objectif actuel de la Fondation Ethereum.

Les initiatives zkVM de la Fondation Ethereum

En attendant, Drake a invité ceux qui sont prêts à contribuer aux biens publics zkVM à le contacter, en soulignant les cibles et les objectifs de la Fondation Ethereum pour les différents zkVM. Par exemple, le projet de vérification formelle zkEVM se concentre sur l’accélération de l’application des méthodes de vérification formelle aux zkEVM.

De plus amples détails de la Fondation Ethereum montrent que le projet de vérification formelle vise à atteindre le niveau d’assurance le plus élevé pour les zkEVM. La Fondation prévoit d’offrir plusieurs subventions et primes à ceux qui contribuent au projet dans les 18 à 24 prochains mois de son développement.

Pendant ce temps, la Fondation Ethereum explore le candidat à la cryptanalyse de Poséidon pour l’utilisation d’Ethereum L1 pour divers protocoles qui utilisent des preuves ZK. Le protocole Ethereum utilise la fonction de hachage Poséidon dans de nombreuses applications qui impliquent un calcul vérifiable. La Fondation le classe parmi les plus performants lors des récents benchmarks STARK de StarkNet.

Lisez aussi : Plonky3 atteint 2 millions de hachages par seconde, Vitalik Buterin impressionné

Le protocole ETH Proofs toujours inactif

Alors que la Fondation Ethereum a les projets de vérification formelle et de cryptanalyse de Poséidon en cours, le protocole ETH Proofs n’est pas encore actif. Cependant, Drake est à la recherche de développeurs intéressés qui sont prêts à contribuer au projet. Certains répondants à la demande de Drake ont suggéré qu’il fasse appel à des experts ayant fait leurs preuves au lieu d’attendre des volontaires.

Cet investissement confirme l’engagement de la Fondation Ethereum à améliorer l’évolutivité et la sécurité de l’écosystème Ethereum. Les analystes de la blockchain s’attendent à ce que les zkVM jouent un rôle crucial dans l’amélioration de l’efficacité et de la confidentialité des transactions sur le réseau Ethereum, garantissant la fiabilité et l’exactitude des machines virtuelles.

Disclaimer: The information presented in this article is for informational and educational purposes only. The article does not constitute financial advice or advice of any kind. Coin Edition is not responsible for any losses incurred as a result of the utilization of content, products, or services mentioned. Readers are advised to exercise caution before taking any action related to the company.