TechFlame 消息，據 The Block 報道，Vitalik 與 StarkWare 支持的 Kakarot 宣佈開發出獨立的以太坊零知識證明（ ZK ）堆棧，計劃在 2025 年底前實現實時 Layer 1 區塊證明。Kakarot 基於 Cairo 語言構建，採用 STARK 系統，避免對現有主流 ZK 技術棧的依賴，旨在增強以太坊 ZK 驗證的多樣性與系統韌性，助力實現以太坊2028年全面 ZK 化目標。