KakarotzkEVM是什么?为什么它能得到V神和StarkWare的支持?Kakarot把EVM带到Starknet之上,促进了EVMdApp的扩展。让我们深入了解一下吧!
我们已经启动并进入了超级赛亚人模式。KakarotLabs已经正式成立并完成了与顶级投资者的pre-seed早期融资。
让我们来展望发展愿景、明确当前地位、期待美好的未来吧。
本文将主要介绍以下内容:1、什么是CairoVM?2、什么是Cairo?3、EVM架构;4、Kakarot架构;5、zkEVM的Type分型;6、Kakarot路线图;7、个人想法。
KakarotzkEVM是使用Cario语言部署的EVM,通过增强EVM兼容性来扩展Starknet生态系统的可靠性。让我们来一步一步理解。
1、什么是CairoVM?
韩国线上银行KakaoBank将为Coinone用户提供存取款账户:11月7日消息,KakaoBank首席战略官(CSO)KimSeok近期表示:“KakaoBank正在洽谈11月向Coinone客户提供经过验证的实名存款和取款账户服务,以便为虚拟资产交易提供稳定性和便利性。Coinone用户将可通过KakaoBank账户访问。KakaoBank是韩国拥有近2000万用户的在线银行,Coinone是韩国五大加密交易所之一。两家公司在8月宣布了合作关系。(Forkast)[2022/11/7 12:27:47]
Kakarot运行在虚拟机CairoVM之上,是Starknet的基础架构。CairoVM的主要特性如下:
·将执行表示为多项式方程,以实现可证明的执行。
·允许所有Starknet交易使用STARK验证。
2、什么是Cario?
Cario是图灵完备的STARK友好的CPU架构。
·图灵完备:系统能够计算任何可能的计算/程序。
Kakao Games旗下Meta bora开发的休闲高尔夫游戏将发行NFT:4月25日消息,Bora Network宣布,将为韩国游戏公司Kakao Games旗下区块链子公司Meta bora正在开发的休闲高尔夫游戏“BirdieShot EnjoyEarn”发行NFT。本次NFT将从即日起至4月26日在区块链平台BORA Portal发售。总发行量1000枚,其中200枚将出售给当天申请预购的“白名单”,剩下800枚将向公众出售。
此前消息,Kakao Games旗下Meta bora将于4月推出Bora门户及NFT市场。(亚洲经济报)[2022/4/25 14:46:53]
·Stark友好:StarkWare的验证系统。链下计算完整性由证明者证明,由链上验证者验证。
那么,Cario是如何运作的?开发人员可以在CaroVM中使用Cairo编写程序,用高级语言描述statement语句。这改善了开发体验,因为开发人员可以利用ZK证明的可扩展性,而无需学习如何编写复杂的电路。
3、EVM架构
EVM架构是成熟且定义良好的VM架构,具有:
·142个操作码:EVM用于执行交易和智能合约的指令。需要gas费才能执行。
韩国科技巨头Kakao旗下区块链平台Klaytn已签署五项战略合作:1月10日消息,由韩国科技巨头Kakao开发的区块链平台Klaytn已签署五项战略合作伙伴关系,以推动公司的全球发展。自2021年8月以来,Klaytn与日本科技巨头GMO Group、亚洲NFT市场East NFT、美国娱乐公司Animal Concerts、金融科技加速器F10以及位于印度尼西亚的投资者Innovation Factory(三林集团的数字化部门)合作。
Klaytn全球采用负责人David Shin表示:已做好准备在2022年驾驭元宇宙浪潮,正在与领先的游戏公司建立更多的合作伙伴关系。(Tech in Asia)[2022/1/10 8:39:24]
·9个预编译:内置于以太坊中的智能合约用于处理常见操作。可通过标准gas费调用。
4、Kakarot架构
Kakarot基于CairoVM开发,它是:
·EVM字节码解释器
·部署在Starknet上的智能合约
·使用Cario语言
Kakarot支持:
·原样部署EVM智能合约
韩国央行与韩国Kakao签署数字货币测试研究协议:市场消息:韩国央行与韩国互联网公司Kakao签署数字货币测试研究协议。此前报道,韩国央行宣布,科技巨头Kakao公司(KakaoCorp.)的区块链子公司GroundX将成为其数字货币开发试点项目合作伙伴的首选竞标者。(金十)[2021/7/28 1:20:28]
Kakarot不是:
·区块链
·编译器:不将Solidity代码转换为Cairo
截至2023年5月:
·已实现100%字节码架构
·9个EVM预编译实现了8个
在实现全部9个EVM预编译后,Kakarot将成为Type2.5zkEVM。
5、zkEVM的Type分型
Type1zkEVM|完全等效于以太坊
不改变以太坊系统以支持更容易的证明生成。
优点:
·以太坊扩展的终极解决方案
动态 | 韩国通讯巨头Kakao宣布其代币KLAY将于9月底上线Upbit:韩国通讯巨头Kakao近日在博客中宣布,将于9月底在Upbit(新加坡)和Upbit(印尼)上正式上市他们的KLAY代币。据韩国媒体News1此前报道,Kakao子公司Ground X正在开发Klip钱包,它将支持Klay(Kakao的代币)。而Klip也将在KakaoTalk上启用。另外,Kakao可能考虑在中国和韩国交易所上线Klay,但根据一名韩国匿名官员的话,韩国政府可能会阻止它在本国选择平台。[2019/9/10]
缺点:
·计算密集
·证明时间长
举例:
·Scroll
·Taiko
Type2zkEVM|完全等效于EVM
对以太坊系统进行微小修改让开发更加容易,且证明生成速度更快。
优点:
·支持大多数以太坊dApp
缺点:
·EVM的低效率和不友好性仍然存在
举例:
·Scroll
Type2.5zkEVM|与EVM等效
增加了EVM中难以使用ZK证明的特定操作的gas成本。
优点:
·比更广泛的EVM变更风险更小
缺点:
·降低了开发工具的兼容性
·部分dApp不兼容
Type3zkEVM|几乎与EVM等效
移除了那些特别难以实现的特性。
优点:
·更快的证明时间
·更容易的EVM开发
缺点:
·部分dApp需要重写
举例:
·Scroll
·Polygon
Tpye4zkEVM|等效于高级语言
智能合约源代码编译为ZK-SNARK友好语言。
优点:
·避免了大量的开销
缺点:
·合约地址可能不同于EVM中的地址
·可能不支持手写EVM字节码
·调试基础设施不能被继承,因为它们运行在EVM字节码上。
举例:
·zkSync
·Nethermind
6、Kakarot路线图
阶段1|将EVM带到Starknet
Kakarot最初将作为一个enshrinedEVM存于Starknet中。开发体验和用户体验将与Polygon、Scroll或以太坊相同。
阶段2|L3zkEVM
通过Kakarot部署zkEVM应用链,允许它们利用有效性证明在Starknet上进行交易结算。
通过将Kakarot与MadaraStarknet测序器融合为统一的堆栈。
阶段2|zkEVM-Rollup-as-a-Service
只需一次点击,rollup就会收到:
·部署在Starknet上的特定应用zkEVM
·对EVM环境的访问
·快速的执行
·低gas费:使用数据可用性解决方案
·加密安全性
zkEVM-Rollup-as-a-Service的优点:
·通过使用Kakarot在CairoVM中运行Solidity智能合约
·任何部署在EVM上的Solidity智能合约都可以在Starknet上运行,而无需更改代码
两全其美:
·具有EVM的效率
·智能合约变得可证明
阶段3|Type1zkEVM
要进入该阶段,Kakarot必须要:
·在Madara和Kakarot的全节点内使用Cairo编写以太坊共识规则,以证明L1共识。
·从PedersenMerklePatriciaTrie切换到KeccakMPT。
然而,阶段3具有不确定性。这取决于以太坊路线图:Verge。目前,以一种可证明且低成本的方式实现KeccakMPT是zkEVM兼容性的主要阻碍。在Verge之后,Keccak可能会被Poseidon取代,成为以太坊的首选哈希函数。
7、个人想法
为Starknet带来EVM兼容性无疑是一个巨大的进步,但是关于Kakarot的成功仍存在一些顾虑。
高度竞争的ZK领域
竞争对手有:
·具有不同证明系统的ZK-rollup:Scroll、zkSync、Polygon、Taiko、Linea。
·Optimisticrollup:Optimism、Arbitrum、Base
·不同的zkVM:RISCZero、HyperOracle
产品市场契合度
总的来说,rollup-as-a-service是一个有待验证的论题,有两个关键方面需要考虑:
·需要此服务的rollup有多少?
·rollup是否更愿意在内部建设主权和可定制性?
持续的产品迭代
Kakarot正在开发建设一个技术高度复杂的产品,并且可能需要不断的迭代才能获得成功。
它还依赖于多个动态组成部分,包括:
·Madara
·数据可用性解决方案
·以太坊路线图:Verge
昨天,英伟达黄仁勋演讲中三次强调这是“AI的iPhone时刻”,是切勿错过的决定性时刻。是的,从OpenAI发布GPT-4,到百度发布文心一言,再到微软发布Office的AI助手Microsof.
1900/1/1 0:00:00跟随smartmoney投资很重要。加密领域的一大smartmoney就是a16z。a16z投资了几乎所有的L1和L2公链,包括Sui、Aptos、zkSync、Avalanche、NEAR等.
1900/1/1 0:00:00分享了自己遵循的一些原则,非常值得大家学习。以下为15条为人处事原则。我试图记下我所遵循的一些原则,并不是所有的原则都有对错之分,大多数只是我看待事物的方式.
1900/1/1 0:00:00随着区块链的出现和发展,越来越多的行业开始追求开放、透明、去中心化。在短短几年时间里,区块链就已经向人类展示了非常多的有利面——让金融去中心化,让艺术和创造力向全世界开放.
1900/1/1 0:00:00本篇的探讨将围绕人和协作进行。我们将回答以下问题:DAO的组织结构是什么样的DAO如何开展工作,成员如何协调根据参与程度,DAO当中有哪些不同的贡献者DAO如何引导与激励人们为DAO工作每个DA.
1900/1/1 0:00:00Web3流量入口的一些思考时至今日,Web3已经吸引了一批技术大牛、金融玩家、风投机构和小部分投机者进入这个「疯狂的西部」.
1900/1/1 0:00:00