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