Bitget App
Trade smarter
Buy cryptoMarketsTradeFuturesEarnWeb3SquareMore
Trade
Spot
Buy and sell crypto with ease
Margin
Amplify your capital and maximize fund efficiency
Onchain
Going Onchain, without going Onchain!
Convert
Zero fees, no slippage
Explore
Launchhub
Gain the edge early and start winning
Copy
Copy elite trader with one click
Bots
Simple, fast, and reliable AI trading bot
Trade
USDT-M Futures
Futures settled in USDT
USDC-M Futures
Futures settled in USDC
Coin-M Futures
Futures settled in cryptocurrencies
Explore
Futures guide
A beginner-to-advanced journey in futures trading
Futures promotions
Generous rewards await
Overview
A variety of products to grow your assets
Simple Earn
Deposit and withdraw anytime to earn flexible returns with zero risk
On-chain Earn
Earn profits daily without risking principal
Structured Earn
Robust financial innovation to navigate market swings
VIP and Wealth Management
Premium services for smart wealth management
Loans
Flexible borrowing with high fund security
Ethereum Bets Big on zkVMs: Formal Verification and Cryptanalysis in Focus

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

CoinEditionCoinEdition2024/11/28 16:00
By:Ikemefula Aruogu

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.

  • 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.

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 application of formal verification methods to zkEVMs.

Further details by the Ethereum Foundation show that the formal verification project aims to achieve the highest assurance level for zkEVMs. The Foundation plans to feature several grants and bounties for those contributing to the project within the next 18-24 months of its development.

Meanwhile, the Ethereum Foundation is exploring the Poseidon Cryptanalysis candidate for using Ethereum L1 for various protocols that employ ZK proofs. The Ethereum protocol uses the Poseidon hash function in numerous applications that involve verifiable computation. The Foundation rates it among the top performers at recent STARK benchmarks by StarkNet.

Read also: Plonky3 Achieves 2 Million Hashes Per Second, Vitalik Buterin Impressed

ETH Proofs Protocol Still Inactive

While the Ethereum Foundation has the Formal Verification and Poseidon Cryptanalysis projects running, the ETH Proofs protocol is not yet active. However, Drake is seeking interested developers who are willing to contribute to the project. Some respondents to Drake’s request have suggested that he reach out to experts with proven track records instead of waiting for volunteers.

This investment confirms the Ethereum Foundation’s commitment to enhancing the Ethereum ecosystem’s scalability and security. Blockchain analysts expect zkVMs to play crucial roles in improving transaction efficiency and privacy on the Ethereum network, ensuring the reliability and correctness of the virtual machines.

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.

0

Disclaimer: The content of this article solely reflects the author's opinion and does not represent the platform in any capacity. This article is not intended to serve as a reference for making investment decisions.

PoolX: Earn new token airdrops
Lock your assets and earn 10%+ APR
Lock now!

You may also like

Dogecoin News Today: Elon Musk's Lawyer to Lead Public Dogecoin Play for $200M in Crypto Confidence

- Alex Spiro, Elon Musk's lawyer, will chair a $200M Dogecoin treasury public company backed by House of Doge. - The firm aims to hold Dogecoin on its balance sheet, offering indirect crypto exposure through stock investments. - Musk's social media influence has historically driven Dogecoin's volatile prices, despite regulatory scrutiny over market manipulation claims. - Over 184 public companies have invested $132B in crypto assets in 2025, with Dogecoin-focused treasuries gaining institutional traction.

ainvest2025/08/31 22:03
Dogecoin News Today: Elon Musk's Lawyer to Lead Public Dogecoin Play for $200M in Crypto Confidence

XDC Network's Strategic Position in Global Trade Finance: Assessing 2026 Price Trajectory

- XDC Network leverages institutional adoption, regulatory alignment, and omnichain expansion to drive growth in blockchain-based trade finance. - Strategic partnerships with 21Shares, Utila, and MiCA Crypto Alliance enhance institutional access and compliance for global investors. - Cross-chain interoperability via LayerZero and RWA tokenization (e.g., $1B Brazil assets) expand utility in cross-border trade and SME liquidity. - Analysts project XDC price reaching $0.1004 by 2026, supported by BFT upgrades

ainvest2025/08/31 22:00
XDC Network's Strategic Position in Global Trade Finance: Assessing 2026 Price Trajectory

The S&P 500-to-Commodity Index Ratio: A Warning Bell for Equity Overextension and Commodity Rebalancing Opportunities

- S&P 500-to-CRB ratio hits 17.27, a decade high, signaling equity overextension and potential market correction. - Historical cycles show equities and commodities typically alternate leadership, with high ratios preceding shifts to commodity-driven growth. - Investors urged to rebalance portfolios toward energy and agricultural commodities to hedge inflation and diversify risk. - Dynamic hedging via commodity futures and sector rotation into industrials/energy sectors recommended to mitigate equity volati

ainvest2025/08/31 22:00
The S&P 500-to-Commodity Index Ratio: A Warning Bell for Equity Overextension and Commodity Rebalancing Opportunities

Crypto ETF Outflows Signal a Pivotal Shift in Investor Sentiment: What Comes Next?

- 2025 crypto markets show divergent ETF flows: Bitcoin ETFs lost $2B in August while Ethereum ETFs gained $4B in institutional inflows. - Bitcoin's 28% price drop and bearish indicators contrast with Ethereum's 68% institutional growth share driven by staking yields and blockchain upgrades. - Institutional investors are reallocating 60-70% to core assets (Bitcoin/Ethereum) and adopting risk tools like VaR analysis amid macroeconomic uncertainty. - Ethereum's validator exit queues and TVL growth signal ins

ainvest2025/08/31 22:00
Crypto ETF Outflows Signal a Pivotal Shift in Investor Sentiment: What Comes Next?