Certora collaborates with Vyper to open the Prover tool for users to ensure the security of Vyper code
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.
Risk warning Risk warning
