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)
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 跌破 1,868 美元，主流 CEX 累计多单清算强度将达 8.32 亿美元
ChainCatcher 消息，据 Coinglass 数据显示，若 ETH 跌破 1,868 美元，主流 CEX 累计多单清算强度将达 8.32 亿美元。反之，若 ETH 突破 2,057 美元，主流 CEX 累计空单清算强度将达 7.38 亿美元。
GateNewsBotJust Now
BNP Paribas Launches Ethereum Money Market Fund Tokenization Pilot Project
ChainCatcher message: BNP Paribas Asset Management recently announced the issuance of tokenized shares of a French domestic money market fund on the Ethereum blockchain through its AssetFoundryTM platform.
The project adopts a "permissioned access model" to ensure that only qualified and authorized participants can hold and transfer assets, in compliance with relevant regulatory requirements. This is BNP Paribas's second issuance of a tokenized money market fund, aimed at testing the complete end-to-end process from issuance and transfer agency to tokenization and connection to public blockchains.
GateNewsBot19m ago
Bottoming out and aiming for a rebound by the end of the year! Standard Chartered predicts: Bitcoin may drop to $50,000, and Ethereum could fall to $1,400
Standard Chartered Bank has revised down its short-term outlook for the cryptocurrency market, predicting a potential wave of sell-offs in the coming months but remaining optimistic about a rebound by the end of the year. The Bitcoin target price has been lowered to $100,000, and Ethereum to $4,000, citing low confidence among ETF investors and economic uncertainties affecting market sentiment. Although the short-term outlook is bearish, the long-term market resilience remains positive.
区块客21m ago
The Clarity Act – a Potential ETH Super-Cycle Trigger As Prediction Markets Signal 90% Approval Odds
The crypto market is experiencing some serious sentiment shifts as legislators gain traction. After the Genius Act resulted in significant stablecoin inflows and boosted liquidity into 2025, focus has now shifted to the Digital Asset Market Clarity Act. According to Polymarket, there’s a 90%
BlockChainReporter1h ago
