Web3 security company Certora has received funding from the Ethereum Foundation to support its development of formal verification tools that enhance smart contract security and reliability.

ETH4,47%

Odaily Planet Daily reports that Web3 security company Certora has announced funding from the Ethereum Foundation, with the specific amount not disclosed. The funds will be used to support its verification of the correctness of automatic pre-compilation, a key optimization technology in zero-knowledge computation developed by Powdr Labs for the Ethereum Foundation’s zkEVM project. It is reported that Certora plans to open-source its developed specifications, proofs, and verification framework. (Chainwire)

View Original
Disclaimer: The information on this page may come from third parties and does not represent the views or opinions of Gate. The content displayed on this page is for reference only and does not constitute any financial, investment, or legal advice. Gate does not guarantee the accuracy or completeness of the information and shall not be liable for any losses arising from the use of this information. Virtual asset investments carry high risks and are subject to significant price volatility. You may lose all of your invested principal. Please fully understand the relevant risks and make prudent decisions based on your own financial situation and risk tolerance. For details, please refer to Disclaimer.

Related Articles

Blackrock Ethereum Staking ETF Roars Into Market as Institutional Demand Surges

Blackrock’s new staking-enabled ethereum ETF opened with strong trading momentum, signaling rising institutional appetite for yield-generating crypto exposure while blending spot ether access with on-chain rewards in a structure designed for traditional market investors. Wall Street Enters

Coinpedia8m ago

Bitcoin Breaks Through $73,000, Ethereum Surges to $2,200! Tom Lee: Stock Market May Have Hit Bottom This Month, Rising Oil Prices Could Be Bullish

Bitcoin briefly broke through $73,200 this morning, while Ethereum similarly surpassed $2,200. The fear index rose to 23, indicating extreme panic. Tom Lee stated on CNBC that the U.S. stock market may have already formed a bottom, tech stocks are performing well, rising oil prices could be favorable for U.S. stocks, and he believes the current situation will not become a systemic issue.

動區BlockTempo14m ago

Vitalik Buterin Proposes Merging Two Core Layers of Ethereum to Simplify Node Operation

Vitalik Buterin proposes merging Ethereum's consensus and execution layers into a unified code structure, simplifying node setup and reducing complexity for developers and validators. This could enhance efficiency, lower maintenance costs, and improve compatibility among clients, fostering greater decentralization. The proposal is still under discussion.

TapChiBitcoin34m ago

ShapeShift Founder Erik Voorhees Purchases 13,986 ETH Worth $29.44M in 24 Hours

Gate News bot message, ShapeShift founder Erik Voorhees has acquired 13,986 ETH for $29.44M USDT in the past 24 hours. Over the past 6 days, Voorhees has accumulated a total of 21,293 ETH for $44.52M USDT at an average price of $2,091. The transactions were conducted through address 0x431dce06f8a098

GateNews1h ago

BTC broke through $73,000 this morning, ETH broke through $2,200

Gate News: On March 16, market data shows BTC broke through $73,000 this morning, currently trading at $72,941; ETH broke through $2,200, currently trading at $2,182.

GateNews1h ago

ETH Drops 1.07% in 15 Minutes: Large Transfers and Long Liquidations Drive Market Action

From 2026-03-15 23:15 to 2026-03-15 23:30 (UTC), ETH (Ethereum) experienced moderate-intensity price volatility, with a 15-minute interval return rate of -1.07%. The price fluctuated between 2172.55 and 2199.76 USDT, with amplitude reaching 1.24%. Market attention showed a phased increase, and short-term volatility noticeably intensified. The primary driver of this volatility stemmed from large on-chain fund transfers flowing into a mainstream exchange, with suspected institutional or whale activity completing multiple transactions exceeding 10,00

GateNews2h ago
Comment
0/400
No comments