According to Planet Daily, Web3 security company Certora has partnered with the smart contract language Vyper team to open its Prover tool to all users to help strengthen 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.