Menurut laporan Foresight News, dalam seminar yang diselenggarakan bersama oleh Yayasan Ethereum dan ZKProof, Dr. Vilhelm Sjöberg, Kepala Ilmuwan Senior CertiK, memberikan pidato yang fokus pada hasil verifikasi zkWasm dan rencana perluasan Ethereum.
Sjöberg memperkenalkan terobosan yang dicapai CertiK dalam verifikasi formal zkWasm, zkVM umum pertama di dunia, dan membahas teknologi verifikasi untuk mesin virtual zero knowledge, mendukung rencana zkEVM Yayasan Ethereum.
Rencana ini berlangsung selama bertahun-tahun, dengan total investasi mencapai 20 juta dolar AS, merupakan kunci untuk mencapai perluasan lapisan L1 dan L2 Ethereum. CertiK akan bekerja sama dengan Yayasan Ethereum dan komunitas untuk mewujudkan verifikasi lengkap zkEVM Ethereum.
