certo

Web3 security company Certora announced that it has received funding from the Ethereum Foundation, with the specific amount not disclosed. The funding will be used to support the verification of the correctness of its automatic precompilation, which is a key optimization technique 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.

ChainCatcher news, the centralized stablecoin lending protocol Certo has announced the addition of support for USD Coin (USDC) deposits and loans on its testnet platform.stUSD is a stablecoin that generates interest through Certo. With the addition of USDC, participants in the Certo ecosystem can now flexibly deposit USDT and USDC to receive stUSD. This enhancement allows users to preview how their investments generate interest over time directly within the Certo interface.

ChainCatcher news, Web3 security company Certora announced a collaboration with the smart contract language Vyper team to make its Prover tool available to all users, helping to enhance the security of Vyper code.As key holders of the Vyper community, users will be able to use Certora Prover to verify Vyper code until December 31, 2023.

ChainCatcher message, Israeli security company Certora has publicly released an audit report on the Lido V2 smart contract. Certora pointed out that a total of 23 issues were found during the audit, including 2 critical issues and 5 severity issues. The Lido team responded quickly and thoughtfully to these issues. (source link)

ChainCatcher news, the decentralized trading protocol Balancer and the smart contract security analysis tool Certora have partnered to launch the Balancer Certora Security Accelerator, which provides code reviews and grants access to Certora's formal verification proof program. This initiative aims to help projects built on Balancer enhance their code security, strengthen the security of their codebase, and streamline the upcoming project launch process. (Source link)