深潮 TechFlow 消息，4 月 29 日，據The Block報道，由以太坊聯合創始人Vitalik Buterin和StarkWare共同投資的初創公司Kakarot已完成以太坊虛擬機(EVM)的工作實現，計劃到2025年底實現以太坊Layer 1區塊的實時ZK-STARK證明。Kakarot CTO Clement Walter表示，他們目標是在今年末將證明時間縮短至8秒，比以太坊12秒的出塊時間更快。該項目使用Cairo語言構建，提供了一個不依賴RISC-V、rust-evm和Plonky3的獨立ZK堆棧，以增強以太坊ZK驗證的多樣性和穩健性。以太坊基金會研究員Justin Drake稱這將有助於實現"零知識證明的穩健性"。Kakarot已獲600萬美元資金支持。