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.

ETH1,13%

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

ETH Breaks Through 2100 USDT

Gate News bot notification: According to Gate market data, ETH has broken through 2100 USDT, currently trading at 2104.69 USDT.

CryptoRadarJust Now

Oil prices soar past $100, U.S. stocks hit new lows for the year, Bitcoin holds steady at 70k

Due to the ongoing Iran conflict, oil prices have surged significantly, with Brent crude breaking $100 per barrel for the first time. U.S. stock indices' three major indexes hit new lows since 2026. The crypto market remained relatively stable, with Bitcoin holding around $70,000. Goldman Sachs warned that if oil supply remains weak, prices could spike to 2008 highs.

ChainNewsAbmedia31m ago

ETH 15-minute rise of 0.72%: Whale capital inflow and institutional buying resonance driving gains

From 2026-03-12 23:00 to 2026-03-12 23:15 (UTC), ETH experienced significant price volatility with short-term returns reaching +0.72%. The K-line range was 2064.94-2085.0 USDT with an amplitude of 0.97%. Market volatility intensified, with increased attention and rising discussion of ETH topics on-chain and across social platforms, indicating upward resonance between capital flow and market sentiment. The primary driver of this volatility was whale fund inflow and institutional buying. On-chain monitoring data showed at least two transactions exceeding 5,000 ET

GateNews59m ago

Crypto Social Buzz: Bitcoin, Ethereum, and Emerging Coins Lead Discussion

Bitcoin hits 20M mined coins, fueling debates on supply, institutional buys, and market control. Zcash seed round and privacy tech drive social buzz, while Tether gains attention via USAT launch. Ethereum staking, Dogecoin rumors, and TRON AI partnerships dominate crypto social

CryptoFrontNews2h ago
Comment
0/400
No comments