注:原文来自Kakarot团队成员EliasTazartes发布文章,MarsBit整理编译。
TL;DR:Kakarot是第3类zkEVM,构建在CairoVM之上。该项目于2022年10月启动,目标包括:从构建之初开源,用不到10,000行代码创建一个zkEVM。我们在短短六个月内就实现了这一目标。我们将在2023年夏末发布测试网。
另,文末提供了一个术语表,用于了解EVM、zkRollups以及zkEVM。
CairoVM的不完整入门
CairoVM是一种支持可证明执行的虚拟机,是Starknet的基础。Starknet是以太坊生态系统中的通用二层validityrollup。CairoVM允许使用STARK证明Starknet上的每笔交易。这需要开发者在相关编程语言Cairo中构建去中心化应用程序(dApp)。
分析:DCG旗下专为其创始人服务的投资公司曾与Genesis进行可疑交易:6月6日消息,区块链分析公司ChainArgos相关的Data Finnovation在一篇博客文章中揭露,Digital Currency Group(DCG)旗下有个名为HQ Digital的投资子公司,专为DCG创始人Barry Silbert服务,管理着大约36亿美元的资产,它在2022年初从Genesis Global借了10亿美元,然后在承担三箭资本责任时偿还给Genesi。HQ Digital于2021年底成立,已在美国证券交易委员会注册,一直没有宣传任何业务。Data Finnovation认为上述HQ Digital和Genesis之间的交易属于内部交易,并怀疑是DCG拖延谈判的真正原因。[2023/6/6 21:18:44]
用Cairo背后的团队LiorGoldberg和ShaharPapini以及MichaelRiabzev的话来说:
Blockchain.com CEO称美国政府债务违约或将导致加密货币市场“迅速回落”:金色财经报道,Blockchain.com 首席执行官 Peter Smith 在彭博社组织的卡塔尔经济论坛上表示如果美国国会不提高 31.4 万亿美元的政府借款上限,美国政府可能会在下个月出现债务违约,这种情况将对加密货币不利并看到市场迅速回落。不过 Peter Smith 也指出,从长远来看,加密货币在回落之后或将出现非常强劲的上涨,因为加密货币市场遵循周期性模式,2024 年将是“另一个指数级的一年”。(路透社)[2023/5/25 10:40:30]
?“Cairo,一种实用高效的图灵完备STARK友好型CPU架构。我们描述了一组多项式方程来证明在此架构上的执行是有效的。给定一个想要证明的陈述,Cairo允许编写描述该陈述的程序,而不是编写一组多项式方程。”
Nansen将为谷歌云初创公司支持计划的Web3项目提供数据服务:金色财经报道,Nansen在社交媒体宣布,将为谷歌云初创公司支持计划的Web3创业项目提供实时区块链数据服务,而且可以享受一个月免费的Nansen Query链上数据和分析,以及其他产品的折扣服务。作为Google for Startups Cloud计划参与者,Nansen目前已经和谷歌的合作两年,后续将继续利用该计划的优势并成功扩展。
此前报道,谷歌云初创公司支持计划已开放给Web3行业建设者。[2023/4/26 14:26:34]
要点:用Cairo编写的程序是可证明的,这具有改变游戏规则的优势——用高级语言编写可证明的程序。因此,希望利用零知识密码学的可扩展特性的开发者不再需要编写电路。
Safeheron与MetaMask计划于6月合作推出MPC钱包:4月15日消息,一站式开源自托管服务供应商 Safeheron 在2023 香港 Web3 嘉年华上表示,计划于 2023 年 6 月底 与 MetaMask 合作推出 MPC 钱包。[2023/4/15 14:05:20]
那么,用Cairo重写以太坊虚拟机(EVM)会产生zkEVM吗?
Cairo的共同发明者ShaharPapini于2022年7月20日发推称:
这个想法很简单:EVM是一个成熟的、定义明确的VM架构。142个操作码、9个预编译和更新这些操作码或预编译的民主过程。如果Cairo构建,是否会“免费”获得zkEVM,即直接获得零知识的扩展特性?剧透一下,是的。
从那时起,该想法在Starknet社区中获得关注。Abdel是Starkwareexploration团队的负责人,也是以太坊核心开发团队的一员,他于2022年10月开始实施这一构想。大约在同一时间,Starknet的开源构建者社区在Onlydust的帮助下聚集在一起,启动了一个类似的并行项目,前者在里斯本的StarknetCC期间吸纳了后者。
到2022年底,Kakarot实现了100%的EVM操作码
在里斯本的一个黑客之家,一周的专注工作,大约十个人构建了一个zkEVM。Kakarot核心团队诞生。我们意识到这是可行且强大的。一个简单的zkEVM实现,只需要不到5000行代码。没有电路,没有多项式。只是高层次的、富有表现力的代码。
在Starknet基金会和Onlydust的帮助下,我们开始了这次冒险。我们的价值观是开源、开放贡献和社区驱动的技术战略。Clément和我领导并协调了这项工作。如今,Kakarot拥有40多个独特的贡献者。虽然Kakarot正在为构建生产级zkEVM而努力,但我们的价值观是不会改变的:永远开源并对外部贡献开放
截至2023年5月,Kakarot已实现100%字节码等效,并实现了9个EVM预编译中的8个。根据Vitalik的分类,它将达到9个从而满足类型2.5的定义。因此,使用Solidity或任何其他EVM支持的语言编写的dApp可以部署到Kakarot上,而无需对现有代码进行任何修改。
下一步规划?将EVM引入Starknet并构建zkEVM-Rollup-as-a-Service产品。
当我们分析市场时,我们注意到与其他zkEVM相比,Kakarot处于劣势——一个不到10人的团队,预算和品牌知名度不足。部署为通用zkEVML2似乎有风险。那么,还有哪些其他策略看起来合理?将EVM兼容性引入Starknet并利用分形扩展。
我们坚信Cairo将在未来几年被证明是零知识工程的最佳组件。我们还相信EVM仍将是开发者最常见的抽象层。这就是我们将EVM兼容性引入Starknet的原因。很快,团队将能够通过Kakarot在Starknet上部署他们的SoliditydApp。
此外,我们认为应用链将比人们预期的更快出现。OP堆栈获得的吸引力就是一个很好的例子。通过利用Kakarot的模块化特性,我们能够构建一个zkRollup-as-a-service工具。
一句话:帮助特定应用程序将zkEVM作为L3部署在Starknet之上。EVM环境、低gas和快速执行。加密安全。
要先睹为快,请查看基于Substrate的Starknet排序器Madara。Madara+Kakarot=基于Substrate和CairoVM的zkEVML3
有着“木头姐”称呼的女股神CathieWood一直以来都是华尔街最大的?Crypto多头之一。截至本周,由?CathieWood领导的?ARKInvest所管理的资金规模超过110亿美元,其中有相当大一部分的股票持仓与Crypto相关.
1900/1/1 0:00:00加密市场可能会波动,但加密创新遵循一个基本秩序。在价格高时进入的建设者们一直存在,同时新想法、代码和项目源源不断。新一代的web3初创公司正在为下一波进步而努力,许多公司都在积极招聘.
1900/1/1 0:00:00近日,BytomTechAngel比原技术社区正式宣布参与比原链Bystack共识节点竞选。目前已获得超过300万BTM的投票.
1900/1/1 0:00:00注:本文为孟岩发布的长推,其梳理视频对话文字版。视频入口:https://www.youtube.com/watch?v=l5WIuIaAkfY与Rex对谈的主要观点文字版有推友抱怨说这个视频太长了,倍速听也要一个半小时.
1900/1/1 0:00:00注:本文来自/img/20230515131238409770/0.jpg "/>对于资金提供方而言,就是出借资金获取利息。对于资金需求方,就是借入别人的钱,支付利息。没有任何复杂之处,简单吧.
1900/1/1 0:00:00走路获得的糖果很少,要想大量、低价获得糖果只有两种办法:投资和拉人头。“用区块链技术发行的token是透明可查的,但趣步难以查到,如果他们随意发行糖果,外界也无法知晓。”“穷人有穷人的玩法,富人有富人的玩法.
1900/1/1 0:00:00