Menurut Planet Daily, perusahaan keamanan Web3 Certora bekerja sama dengan tim bahasa kontrak pintar Vyper untuk membuka alat Prover bagi semua pengguna guna membantu memperkuat keamanan kode Vyper. Sebagai pemegang kunci komunitas Vyper, pengguna akan dapat menggunakan Certora Prover untuk memverifikasi kode Vyper hingga 31 Desember 2023.