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.

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)

ETH-13,35%
View Original
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
  • Reward
  • Comment
  • Repost
  • Share
Related Topics
#
EthereumL2Outlook
Comment
0/400
No comments
Trade Crypto Anywhere Anytime
qrCode
Scan to download Gate App
Community
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)