Ethereum Bets Big on zkVMs: Formal Verification and Cryptanalysis in Focus

• Ethereum Foundation is investing tens of millions in zkVMs.
• The Foundation invites contributors to zkVMs development.
• Massive investment highlights the Ethereum Foundation’s commitment to zkVMs.

Renowned Ethereum Foundation researcher Justin Drake has said that the Ethereum Foundation is investing tens of millions of dollars into Zero Knowledge Virtual Machines (zkVMs). In a recent post on X, Drake identified three protocols—zkRISC-V formal verification, Poseidon cryptanalysis, and L2beat for zkVMs—as the current focus of the Ethereum Foundation.

The EF is investing tens of millions into zkVMs:https://t.co/XDaHyurNK9—zkRISC-V formal verificationhttps://t.co/ML0PUqliRb—Poseidon cryptanalysishttps://t.co/0Qns6MCIuu—L2beat for zkVMs, soon

DM me about contributing to zkVM public goods

— Justin Ðrake (@drakefjustin) November 28, 2024

Ethereum Foundation’s zkVM Initiatives

In the meantime, Drake invited those who are willing to contribute to zkVM public goods to reach out to him, highlighting the Ethereum Foundation’s targets and goals for the various zkVMs. For example, the zkEVM formal verification project focuses on accelerating the applic…

The post Ethereum Bets Big on zkVMs: Formal Verification and Cryptanalysis in Focus appeared first on Coin Edition.