Kakarot完成以太坊虚拟机实现,计划2025年底前实现实时证明
由以太坊联合创始人Vitalik Buterin和区块链可扩展性公司StarkWare支持的初创公司Kakarot,已完成以太坊虚拟机(EVM)的工作实现,并计划在2025年底前使用STARK证明系统开始对以太坊第一层区块进行实时证明。
Kakarot联合创始人兼首席技术官Clement Walter表示:“我们已经完成了一种新的证明以太坊区块的方式——独立、零知识原生,并准备好实现实时性能。以太坊每12秒生成一个区块。到今年年底,我们计划在8秒内发布STARK证明——比链本身更快。这是以太坊所需的速度和弹性。”
Kakarot的技术架构与目标
Kakarot是一个使用StarkWare的开源零知识原生语言Cairo构建的zkEVM(零知识以太坊虚拟机)。它利用StarkWare基于STARK的证明基础设施,创建并提交加密证明到以太坊第一层。Kakarot的目标是使以太坊智能合约运行更高效,同时证明所有交易的有效性。
以太坊的2028年路线图依赖于零知识证明,Kakarot声称已构建了“首个可信的替代方案”,用于生成以太坊区块的零知识证明,与主流技术栈相比具有优势。
Kakarot团队在一份声明中解释道,目前大多数ZK-EVM依赖于相同的EVM实现(rust-evm)、相同的指令集(RISC-V)和相同的证明器(Plonky3)。Kakarot旨在通过使用Cairo来减少对单一系统的依赖,从而解决这一“战略漏洞”。
行业专家评价
以太坊基金会研究员Justin Drake表示:“Kakarot的另类技术栈——不使用Plonky3、revm或RISC-V——对ZK-EVM的多样性和实验性是一大福音。类似于共识层和执行层的客户端多样性,ZK-EVM多样性是一种强大的技术,即使假设个别ZK-EVM实现存在缺陷,也能实现稳健性。”
StarkWare联合创始人兼首席执行官Eli Ben-Sasson预测:“在以太坊实时零知识证明的竞赛中,Kakarot将开辟一条领先的道路,因为它拥有零知识原生语言的超能力。另一个令人兴奋的方面是,以太坊将迎来至关重要的客户端多样性。每个人都在谈论零知识准备,但如果没有客户端多样性,这只是一个脆弱的承诺。Kakarot提供了以太坊的首个替代ZK技术栈——另一条路径。”
Vitalik Buterin的提议与Kakarot的回应
Kakarot的公告紧随Vitalik Buterin最近的提议,即通过用开源RISC-V架构替换以太坊虚拟机的字节码来提升以太坊的可扩展性。Buterin表示,这一“激进”且“雄心勃勃”的想法可能是显著扩展以太坊执行层的“唯一可行路径”,在某些情况下可以将链上执行成本降低多达100倍。Buterin指出:“旧式EVM合约将继续工作,并将与新式RISC-V合约完全双向互操作。”
对此,Walter在周二回应称,虽然对执行层来说,零知识友好的指令集是有意义的,但无需急于采用RISC-V。“我们今天的公告表明,我们不应局限于重复使用现有技术栈,而是可以构建一个针对以太坊性能需求的高性能系统。”
Kakarot的背景与发展
Kakarot总部位于巴黎,团队由10人组成,获得了包括Buterin和StarkWare在内的加密原生投资者的600万美元资金支持。该公司从一个在Cairo中编写以太坊操作码的社区项目,发展成为下一代区块链基础设施开发者。
以太坊基金会在周一发布的论坛帖子中透露了其新的管理和董事会结构,这是在协议计划于5月7日进行Pectra主网升级之前。该升级旨在改善用户体验,提升Rollup的可扩展性,并提高验证者质押的上限。

交易所
交易所排行榜
24小时成交排行榜
人气排行榜
交易所比特币余额
交易所资产透明度证明
资金费率
资金费率热力图
爆仓数据
清算最大痛点
多空比
大户多空比
币安/欧易/火币大户多空比
Bitfinex杠杆多空比
新闻
文章
大V快讯
财经日历
专题
ETF追踪
比特币持币公司
加密资产反转
以太坊储备
HyperLiquid钱包分析
Hyperliquid鲸鱼监控
索拉纳ETF
大额转账
链上异动
比特币回报率
稳定币市值
合约计算器
期权分析
账号安全
资讯收藏
自选币种
我的关注