Vitalik和StarkWare支持的Kakarot计划2025年底实现以太坊实时零知识证明

深潮 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万美元资金支持。