PANews 30 April melaporkan, menurut The Block, proyek zkEVM Kakarot yang didukung oleh salah satu pendiri Ethereum Vitalik Buterin dan StarkWare telah mengumumkan penyelesaian implementasi penuh Ethereum Virtual Machine (EVM), dan berencana untuk melakukan pembuktian real-time terhadap blok Ethereum Layer1 melalui sistem pembuktian STARK sebelum akhir 2025. Proyek ini dibangun menggunakan bahasa Cairo yang dikembangkan oleh StarkWare, bertujuan untuk memberikan solusi pembuktian nol pengetahuan yang independen dari tumpukan teknologi mainstream. Kakarot co-founder Clement Walter menyatakan bahwa sistem saat ini dapat menghasilkan bukti blok dalam 8 detik, lebih cepat dari interval pembuatan blok Ethereum yang 12 detik. Proyek ini mengimplementasikan diferensiasi tumpukan teknologi melalui bahasa Cairo, menghindari ketergantungan pada solusi arus utama (seperti Plonky3 prover dan set instruksi RISC-V). Peta jalan Ethereum untuk tahun 2028 bergantung pada ZK proof, sementara Kakarot mengklaim telah membangun “alternatif terpercaya pertama” untuk menghasilkan bukti nol-pengetahuan blok Ethereum dibandingkan dengan tumpukan arus utama. Rilis kemajuan ini datang saat komunitas Ethereum mendiskusikan alternatif arsitektur RISC-V yang diusulkan oleh Vitalik Buterin. Tim Kakarot menanggapi bahwa meskipun menggunakan set instruksi yang ramah ZK di lapisan eksekusi adalah wajar, tidak perlu terburu-buru beralih ke RISC-V.