Secondo Planet Daily, la società di sicurezza Web3 Certora sta lavorando con il team Vyper del linguaggio smart contract per aprire il suo strumento Prover a tutti gli utenti per contribuire a rafforzare la sicurezza del codice Vyper. In qualità di possessori delle chiavi della community Vyper, gli utenti potranno utilizzare Certora Prover per verificare il codice Vyper fino al 31 dicembre 2023.