Kakarot完成独立ZK技术栈,计划于2025年底实现对以太坊Layer1区块的实时STARK证明
由Vitalik Buterin和StarkWare支持的Kakarot项目近日宣布,已完成独立ZK技术栈的开发,并计划在2025年底前实现对以太坊Layer1区块的实时STARK证明。Kakarot指出传统ZK-EVM存在结构性局限,并提出通过新语言和基础设施来提供替代方案。
技术突破与战略规划
当地时间29日,据The Block报道,总部位于巴黎的区块链初创公司Kakarot已完成基于STARK证明系统的独立ZK技术栈开发,该系统能够实现对以太坊Layer1区块的实时证明。该项目获得了以太坊联合创始人Vitalik Buterin和区块链扩展性企业StarkWare的支持,目标是到2025年底,实现每12秒生成的以太坊区块在8秒内完成STARK证明。
Kakarot是基于ZK原生语言Cairo构建的zkEVM,采用自有的证明基础设施来验证所有智能合约的有效性,从而提升效率。公司指出,目前大多数ZK-EVM都依赖于相同的技术栈(rust-evm、RISC-V、Plonky3),存在战略脆弱性。
行业评价与发展前景
对此,以太坊基金会研究员Justin Drake评价道:"Kakarot的反向技术栈将促进ZK-EVM的多样性和实验创新。"StarkWare联合创始人Eli Ben-Sasson也表示:"Kakarot是为以太坊带来实质性客户端多样性的首个替代方案。"
关于Vitalik Buterin提出的基于RISC-V的EVM转型建议,Kakarot方面表示:"相较于重复利用现有技术栈,直接构建一个针对以太坊优化的性能导向系统将更为有效。"
目前,Kakarot团队由10名成员组成。该项目最初是以太坊指令在Cairo语言上的实现社区项目,现已发展成为一家致力于开发下一代区块链基础设施的公司。