ETH:Kakarot 三阶段路线图：将如何赋能 Starknet 和以太坊生态_KAKI币香港狗

作者：

时间：

来源：Kakarot；编译：Karen，Foresight News

Kakarot zkEVM 是用 Cairo 编写的一种以太坊虚拟机（EVM）实现。Cairo 是一种与 CairoVM 相关的图灵完备语言。

CairoVM 通过利用多项式（polynomials）和 ZK-STARK 证明系统实现可证明计算。zkEVM 的特点是能够生成可证明的交易，从而产生可证明的区块。Kakarot 建立在 CairoVM 之上，在 Kakarot 上执行的每一笔交易都是可证明的。

Kakarot zkEVM 使团队能够构建和部署 EVM 应用。开发人员可以在 Kakarot 上部署任何 Solidity（或任何 EVM 兼容语言），就像在以太坊或 Polygon 上一样。然后，他们的终端用户可以使用他们常用的工具链 toolchain（小狐狸钱包、钱包连接等）与 DApp 进行交互。

动态 | 三星手机区块链服务功能已支持比特币及 Kakao 原生区块链 Klaytn:三星在其智能手机的区块链服务功能 Samsung Blockchain KeyStore 添加对比特币的支持。根据三星开发者网站的信息，该区块链服务此前仅支持以太坊，目前已支持比特币以及通讯巨头 Kakao 的原生区块链 Klaytn。Samsung Blockchain KeyStore 于今年年初推出，提供加密货币存储以及管理个人私钥等服务，同时支持区块链应用程序中使用结算、汇款等功能。据此前报道，三星将在 Galaxy S10 系列以及后续智能手机产品配备 Blockchain KeyStore 功能。[2019/8/14]

最终，Kakarot 将提供与原生 Starknet 协议的互操作性以及协议之间的可组合性，例如，将 DeFi 中的 TVL 和 GameFi 中的用户群相结合。

金色晨讯 | 新加坡税务局计划免征数字支付代币商品服务税:1.中国人民银行深圳支行和深圳税务局合作在区块链平台实现自动税务备案

2.CME调整以太坊相关指数，或将推出以太坊期货

3.Facebook为Libra聘请临时的关键领导团队

4.新加坡税务局计划免征数字支付代币商品服务税

5.以太坊开发者：以太坊可能会在两年内减少10倍的产量

6.人行杭州中心支行：从本质上看虚拟代币融资行为是一种非法行为

7.日本央行副行长：央行数字货币广泛采用的前提是现金衰亡

8.马来西亚下令关闭所有未注册的加密交易所，并返还投资者资金

9.中国法学会副研究员：《中华人民共和国密码法（草案）》公开征求意见，或有利于促进区块链等加密技术的商用[2019/7/6]

Kakarot zkEVM 可以以不同的形式存在，首先，可以作为智能合约部署在 Starknet L2 之上，从而在 Starknet 上显示为（expose）EVM（以太坊 RPC、以太坊交易等）。

金色财经现场报道扬州市经济开发区：继续做大区块链产业园:金色财经现场报道，在2018全球首届万国区块链技术博览会上，扬州市经济开发区代表参与《地方政府区块链政府解读》圆桌论坛。他指出：扬州与其他的几个地区相比，真的是处于区块链起步阶段，我们为企业提供办公场所，让传统企业与区块链企业对接，让他们交流沟通的同时，将区块链技术应用到实体经济中。希望扬州能将区块链产业园逐渐做大。[2018/4/21]

或者，可以将 Kakarot 集成到堆栈中以部署 L3 zkEVM。这就是 Madara 排序器的用武之地。

通过结合 Madara（Starknet 全节点）和 Kakarot（EVM 运行时），可以创建一个 L3 zkEVM。堆栈如下：一个 Substrate 全节点，使用 CairoVM 作为其执行引擎，以及 Kakarot 作为智能合约的运行时（runtime）。

金色财经现场报道硅谷创客资本创始人赵胜：区块链发展历经“概念炒作-破灭-穿透产业-成为基础设施”阶段:金色财经现场报道，在2018全球首届万国区块链技术博览会上，硅谷创客资本创始人赵胜发表《从技术到哲学——区块链的下一个十年》主题演讲，他指出：区块链是一场伟大的技术革命，如果从时间周期来看区块链的演进，大概可以分为三个阶段：2009-2017年的重心在比特币、挖矿、以太坊、交易所；2017-2018年的重心在基础链、监管、标准、理论体系；2019-2029年的重心在私有链、应用链、数字货币、产业穿透、社区、国家。大概曲线呈现“概念炒作-破灭-穿透产业-成为基础设施”。[2018/4/21]

Kakarot 上的交易可以在结算层上得到证明和验证，从而实现 EVM 兼容的分形扩容。

第 1 阶段：Starknet 上的 Kakarot zkEVM——将 EVM 带到 Starknet

Kakarot 将首先作为载入的 EVM 存在于 Starknet L2 中，这将使开发人员能够使用他们熟悉的工具箱（Foundry、Hardhat、Wagmi 等）直接在 Starknet 上部署他们的 Solidity（或任何 EVM 兼容语言）智能合约。

然后，他们的最终用户将能够使用他们常用的工具链（Metamask、Wallet Connect 等）与他们的 DApp 进行交互。

Kakarot 上的开发人员和用户体验将与 Polygon、Scroll 或以太坊 L1 完全相同。

第 2 阶段：Kakarot x Madara——L3 zkEVM

Kakarot 和 Madara 将合并到一个统一的堆栈中，以支持 L3 zkEVM，以及 L4、L5 等。团队将能够部署他们的 zkEVM 应用链，并利用有效性证明在 Starknet 上结算交易。

为什么是 L3？为什么是可证明性？

可证明性可实现以下功能：链下计算，或 Layer 上计算、链上验证。

利用有效性证明的 L3（如 Kakarot）有一个有趣但被低估的属性：解耦安全性和去中心化的能力。用户能够从以太坊 L1 的安全性中受益，而无需相同级别的去中心化。

由于在另一层进行计算，Gas 成本比 L2 低得多，性能（TPS）也会更高。L2 已经比 L1 便宜得多。Rollup 的扩展性会堆叠和成倍增加。

为了进一步降低 Gas 成本，证明验证和数据可用性（DA）可以分开。Starknet L2 可以仅用作证明验证层，而新的数据可用性解决方案（如 Celestia 或 EigenDA）可用于发布交易数据。

用户可以选择加入任一选项，具体取决于其安全要求。在 Starknet 上发布证明和交易数据是更安全的选择，而使用 DA 解决方案发布交易数据是更具成本效益的选择。

第 3 阶段：Kakarot x Madara——type 1 zkEVM

Kakarot 和 Madara 也可以组合在一起，启用 type 1 zkEVM。

在 Madara x Kakarot 全节点内用 Cairo 编写以太坊共识规则，从而能够证明 L1 共识。

从 Pedersen Merkle Patricia Trie (MPT) 切换到 Keccak MPT。

然后，Kakarot 将成为 type 1 zkEVM，能够证明 L1 区块。这是一个更高级的用例，取决于以太坊的路线图（最值得注意的是 Verge）。在 Verge 之后，keccak 可能会被 poseidon 取代，成为以太坊选择的哈希函数。这将有助于 zkEVM 团队成为 type 1，因为 zkEVM 的主要兼容性障碍是存储布局，即，以可证明且合理便宜的方式实施 Keccak MPT。

Madara 使 Kakarot 链能够利用 Substrate 消息传递协议进行跨 Rollup 通信。

Substrate 的模块化使 Kakarot 链能够使用其共识协议进行创新。

Substrate 的无分叉 runtime 升级使 Kakarot 链能够在没有硬分叉的情况下升级其 EVM 版本。

Foresight News

企业专栏

阅读更多

金色财经

SevenUp DAO

金色图览

LK Venture

金色荐读

区块律动BlockBeats