Kakarot发布替代以太坊ZK的堆栈，拟于年底前在以太坊L1实现实时STARK证明

2025-04-30 00:00:13

摘要生成中

PANews 4月30日消息，据The Block报道，由以太坊联合创始人Vitalik Buterin和StarkWare支持的zkEVM项目Kakarot宣布完成以太坊虚拟机（EVM）的全功能实现，计划在2025年底前通过STARK证明系统对以太坊Layer1区块进行实时证明。该项目采用StarkWare开发的Cairo语言构建，旨在提供独立于主流技术栈的零知识证明方案。 Kakarot联合创始人Clement Walter表示，当前系统已能在8秒内生成区块证明，快于以太坊12秒的出块间隔。该项目通过Cairo语言实现技术栈差异化，避免依赖主流方案（如Plonky3证明器和RISC-V指令集）。以太坊的2028年路线图依赖于ZK证明，而Kakarot声称已经构建了与主流堆栈相比生成以太坊区块零知识证明的“第一个可信替代方案”。此次进展发布正值以太坊社区讨论Vitalik Buterin提出的RISC-V架构替代方案之际。Kakarot团队回应称，尽管执行层采用ZK友好指令集具有合理性，但无需急于转向RISC-V。

ETH0.97%

ZK5.28%

L1-1.6%

此页面可能包含第三方内容，仅供参考（非陈述/保证），不应被视为 Gate 认可其观点表述，也不得被视为财务或专业建议。详见声明。

2人点赞了这条动态

赞赏
2
1
转发
分享

0/400

星空V

· 04-30 00:18

Kakarot项目宣布完成以太坊虚拟机全功能实现，计划通过STARK证明系统实时证明以太坊Layer1区块。采用Cairo语言构建，提供独立零知识证明方案。项目能在8秒内生成区块证明，优于以太坊12秒出块时间。避免依赖主流方案，构建了生成以太坊区块零知识证明的替代方案。团队回应不急于转向RISC-V。