Menurut situs resmi Ethereum Foundation, perusahaan keamanan blockchain CertiK baru-baru ini dianugerahi dua hibah penelitian untuk kuartal pertama tahun 2025 oleh Ethereum Foundation, dengan fokus pada peningkatan metode formal untuk alat pengembang dan verifikasi sirkuit zkVM:

  1. Evaluasi Alat Verus: CertiK akan menilai kepraktisan Verus (alat verifikasi Rust) dalam memverifikasi sirkuit yang ditulis dalam Rust dan modul pra-kompilasi EVM.

  2. Penyederhanaan Verifikasi Sirkuit zkVM: Proyek ini bertujuan untuk mengembangkan strategi untuk menyederhanakan verifikasi sirkuit zkVM, dengan fokus pada penanganan aritmatika modul dan pengemasan beberapa nilai ke dalam satu elemen bidang.

Dilaporkan bahwa teknologi verifikasi formal CertiK telah banyak diterapkan dalam proyek Web3 terkemuka seperti zkWasm, kontrak rantai utama TON, Cosmos SDK, serta HyperEnclave TEE dari Ant Group, Asterinas OS, dan lainnya.