Según Planet Daily, la empresa de seguridad Web3 Certora está trabajando con el equipo de lenguaje de contrato inteligente Vyper para abrir su herramienta Prover a todos los usuarios para ayudar a fortalecer la seguridad del código Vyper. Como titulares de claves de la comunidad Vyper, los usuarios podrán utilizar Certora Prover para verificar el código Vyper hasta el 31 de diciembre de 2023.