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
— Justin Ðrake
DM me about contributing to zkVM public goods(@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.
Read More
Bitmine’s Ethereum Treasury Surpasses $2 Billion as Holdings Cross 566,000 ETH
Sharplink Gaming Makes Bold Moves with Massive Ethereum Purchase
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
— Justin Ðrake
DM me about contributing to zkVM public goods
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.
Read More
Bitmine’s Ethereum Treasury Surpasses $2 Billion as Holdings Cross 566,000 ETH