作者:cookies,风投分析师;翻译:金色财经xiaozou
Kakarot zkEVM是什么?为什么它能得到V神和StarkWare的支持?Kakarot把EVM带到Starknet之上,促进了EVM dApp的扩展。让我们深入了解一下吧!
我们已经启动并进入了超级赛亚人模式。Kakarot Labs已经正式成立并完成了与顶级投资者的pre-seed早期融资。
让我们来展望发展愿景、明确当前地位、期待美好的未来吧。
本文将主要介绍以下内容:1、什么是CairoVM?2、什么是Cairo?3、EVM架构;4、Kakarot架构;5、zkEVM的Type分型;6、Kakarot路线图;7、个人想法。
Kakarot zkEVM是使用Cario语言部署的EVM,通过增强EVM兼容性来扩展Starknet生态系统的可靠性。让我们来一步一步理解。
1、什么是CairoVM?
Kakarot运行在虚拟机CairoVM之上,是Starknet的基础架构。CairoVM的主要特性如下:
Kakao子公司Ground X与1inch达成战略合作伙伴关系:金色财经报道,Kakao子公司Ground X宣布与去中心化交易所(DEX)聚合平台1inch Network达成战略合作伙伴关系。通过此次合作,Ground X计划将1inch Network提供的应用程序编程接口(API)应用到Ground X数字资产钱包Klip中。[2023/8/3 16:16:37]
· 将执行表示为多项式方程,以实现可证明的执行。
· 允许所有Starknet交易使用STARK验证。
2、什么是Cario?
Cario是图灵完备的STARK友好的CPU架构。
· 图灵完备:系统能够计算任何可能的计算/程序。
· Stark友好:StarkWare的验证系统。链下计算完整性由证明者证明,由链上验证者验证。
那么,Cario是如何运作的?开发人员可以在CaroVM中使用Cairo编写程序,用高级语言描述statement语句(待证明)。这改善了开发体验,因为开发人员可以利用ZK证明(ZKP)的可扩展性,而无需学习如何编写复杂的电路。
Kakao旗下公链平台Klaytn今日将进行Cypress硬分叉升级:3月31日消息,韩国科技巨头Kakao旗下公共区块链平台Klaytn宣布将于今日12:00~13:00(北京时间)进行Cypress硬分叉升级。升级后预计在87091200区块高度(预计4月3日16:30-18:30)进行Cypress Gas费用调整。[2022/3/31 14:28:56]
3、EVM架构
EVM架构是成熟且定义良好的VM(虚拟机)架构,具有:
· 142个操作码:EVM用于执行交易和智能合约(SC)的指令。需要gas费才能执行。
· 9个预编译:内置于以太坊中的智能合约用于处理常见操作。可通过标准gas费调用。
4、Kakarot架构
Kakarot基于CairoVM开发,它是:
· EVM字节码解释器
· 部署在Starknet上的智能合约
· 使用Cario语言
Kakarot支持:
· 原样部署EVM智能合约
Kakarot不是:
· 区块链
· 编译器:不将Solidity代码转换为Cairo
漫威NFT平台KAKA与Dematrix达成战略合作伙伴关系:据官方消息,5月27日,NFT+DeFi游戏平台KAKA宣布与OKexChain生态NFT平台Dematrix达成战略合作伙伴关系,将重组NEMDA并更名为NFT生态矩阵联盟(NFTMA)。
据悉,KAKA NFT WORLD 是一个游戏类NFT+DEFI 生态平台,垂直于电竞市场的预测协议,将于5月28日开启漫威NFT卡牌全球售卖。
Dematrix是基于OKexChain生态链的NFT与衍生品平台,倡议并发起了NEMDA,经过联盟成员KaKa、Cryptofifa、OVR、TrustBase、Dematrix、Kiswap、iNFT的一致决定,将在NEMDA基础上联合发起国际NFT生态矩阵联盟(NFTMA)。
截至目前,NFTMA社区成员已达五万人。[2021/5/27 22:49:58]
截至2023年5月:
· 已实现100%字节码架构(Type 3 zkEVM)
· 9个EVM预编译实现了8个
在实现全部9个EVM预编译后,Kakarot将成为Type 2.5 zkEVM。
声音 | Kakao CEO:区块链项目Klaytn有信心成为全球最大的公共区块链联盟:本周四,韩国互联网巨头Kakao首席执行官Yeo Min-soo在首尔举行的第一届Klaytn治理委员会峰会上表示:“旗下区块链项目Klaytn有信心成为全球最大的公共区块链联盟。目前,Klaytn集中在亚洲进行扩张,但将逐步扩张至其他区域,最终成为最优秀的全球区块链平台。 为此,我们将继续投资并要求理事会成员积极参与生态系统的发展。”Ground X首席执行官Han Jae-sun表示,Klaytn已经稳定运行了五个月,在这期间没有出现任何错误,明年Klaytn将成为亚洲最大的区块链联盟。”(koreaherald)[2019/11/28]
5、zkEVM的Type分型
(1)Type 1 zkEVM | 完全等效于以太坊
不改变以太坊系统以支持更容易的证明生成。
优点:
· 以太坊扩展的终极解决方案
缺点:
· 计算密集
· 证明时间长(需要数小时)
举例:
· Scroll
· Taiko
(2)Type 2 zkEVM | 完全等效于EVM
韩国KakaoTalk与Upbit交易所合作,在KakaoTalk平台可以看到加密货币的行情:韩国KakaoTalk与Upbit交易所进行合作,并于今日开始Upbit交易所向KakaoTalk提供加密货币行情信息服务。从今日开始提供的Kakao“#”搜索行情信息服务,是指利用Kakao的对话框里#功能可以进行查看加密货币的行情。如果按下对话框旁边“#”按钮并搜索‘瑞波’的话,能会出现Upbit交易所中瑞波币现在的行情和最近的价格波动和交易模式。[2018/3/7]
对以太坊系统进行微小修改(不同的哈希函数)让开发更加容易,且证明生成速度更快。
优点:
· 支持大多数以太坊dApp
· EVM的低效率和不友好性仍然存在
(3)Type 2.5 zkEVM | 与EVM等效(但gas费除外)
增加了EVM中难以使用ZK证明的特定操作的gas成本。
· 比更广泛的EVM变更风险更小
· 降低了开发工具的兼容性
· 部分dApp不兼容
(4)Type 3 zkEVM | 几乎与EVM等效
移除了那些特别难以实现的特性(例如预编译)。
· 更快的证明时间
· 更容易的EVM开发
· 部分dApp需要重写
· Polygon
(5)Tpye 4 zkEVM | 等效于高级语言
智能合约源代码(高级语言)编译为ZK-SNARK友好语言。
· 避免了大量的开销
· 合约地址可能不同于EVM中的地址
· 可能不支持手写EVM字节码
· 调试基础设施不能被继承,因为它们运行在EVM字节码上。
· zkSync
· Nethermind
6、Kakarot路线图
(1)阶段1 | 将EVM带到Starknet
Kakarot最初将作为一个enshrined EVM存于Starknet中。开发体验和用户体验(UX)将与Polygon、Scroll或以太坊相同。
(2)阶段2 | L3 zkEVM
通过Kakarot部署zkEVM应用链,允许它们利用有效性证明在Starknet上进行交易结算。
通过将Kakarot与Madara Starknet测序器(基于substrate的Starknet测序器)融合为统一的堆栈。
(3)阶段2 | zkEVM-Rollup-as-a-Service
只需一次点击,rollup就会收到:
· 部署在Starknet上的特定应用zkEVM
· 对EVM环境的访问
· 快速的执行
· 低gas费:使用数据可用性解决方案(Celestia、EigenLayer)
· 加密安全性
zkEVM-Rollup-as-a-Service的优点:
· 通过使用Kakarot在CairoVM中运行Solidity智能合约
·任何部署在EVM上的Solidity智能合约都可以在Starknet上运行,而无需更改代码
两全其美:
· 具有EVM的效率
· 智能合约变得可证明
(4)阶段3 | Type 1 zkEVM
要进入该阶段,Kakarot必须要:
· 在Madara和Kakarot的全节点内使用Cairo编写以太坊共识规则,以证明L1共识。
· 从Pedersen Merkle Patricia Trie(MPT)切换到Keccak MPT。
然而,阶段3具有不确定性。这取决于以太坊路线图:Verge。目前,以一种可证明且低成本的方式实现Keccak MPT是zkEVM兼容性的主要阻碍。在Verge之后,Keccak可能会被Poseidon取代,成为以太坊的首选哈希函数。
7、个人想法
为Starknet带来EVM兼容性无疑是一个巨大的进步,但是关于Kakarot的成功仍存在一些顾虑。
(1)高度竞争的ZK领域
竞争对手有:
· 具有不同证明系统(SNARK)的ZK-rollup:Scroll、zkSync、Polygon、Taiko、Linea。
· Optimistic rollup:Optimism、Arbitrum、Base
· 不同的zkVM:RISC Zero、Hyper Oracle
(2)产品市场契合度(PMF)
总的来说,rollup-as-a-service是一个有待验证的论题,有两个关键方面需要考虑:
· 需要此服务的rollup有多少?
· rollup是否更愿意在内部建设主权和可定制性?
(3)持续的产品迭代
Kakarot正在开发建设一个技术高度复杂的产品,并且可能需要不断的迭代才能获得成功。
它还依赖于多个动态组成部分,包括:
· Madara
· 数据可用性解决方案
· 以太坊路线图:Verge
SevenUp DAO
金色图览
LK Venture
金色荐读
区块律动BlockBeats
本文来自 Coinbase,原文作者:Ethen Pociask & Eric Meng & Nadir Akhtar & Gabri.
1900/1/1 0:00:00原文:Trustnodes曾在 2022 年初以 255 亿美元身家登上《胡润富豪榜》的巴里·西尔伯特 (Barry Silbert),那个曾用他的成年礼钱来交易棒球卡并获利的男孩.
1900/1/1 0:00:00原文作者: Glassnode 原文编译:吴说文章发布于 5 月 15 日,部分数据出现滞后5 月 8 日的这一周.
1900/1/1 0:00:00撰文:周晓雯在币圈「雷声一片」之前,有投资者提前嗅到了危险的气息,并成功套现逃脱。据报道,亿万富翁 Peter Thiel 创立的风投基金 Founders Fund 在去年币圈危机之前几乎抛售.
1900/1/1 0:00:00▌ 1月份NFT交易量达9.46亿美元,创2022年6月以来最高记录金色财经报道,据DappRadar数据,2023年1月NFT交易量和销售额的激增,交易量达到9.46亿美元.
1900/1/1 0:00:00一位名叫 Kgothatso Ngako 的非洲小哥发现了一个商机,他相信他在非洲的邻居可以从拥有比特币中受益,但大多数非洲人没有智能手机.
1900/1/1 0:00:00