来源: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 Enterprise正在加速构建基于区块链的STO平台:金色财经报道,韩国互联网巨头 Kakao 旗下 IT 平台运营商 Kakao Enterprise 正在加速建立基于区块链技术的代币证券发行(STO)平台。[2023/3/31 13:37:21]
最终,Kakarot 将提供与原生 Starknet 协议的互操作性以及协议之间的可组合性,例如,将 DeFi 中的 TVL 和 GameFi 中的用户群相结合。
Kakarot zkEVM 可以以不同的形式存在,首先,可以作为智能合约部署在 Starknet L2 之上,从而在 Starknet 上显示为(expose)EVM(以太坊 RPC、以太坊交易等)。
或者,可以将 Kakarot 集成到堆栈中以部署 L3 zkEVM。这就是 Madara 排序器的用武之地。
韩国互联网巨头Kakao子公司将为企业打造NFT发行平台:3月14日消息,韩国互联网巨头Kakao旗下IT平台运营商Kakao Enterprise将创建一个平台,让公司可以轻松地创建和发行NFT。Kakao Enterprise宣布与Klay Ape Club签署谅解备忘录,共同开发NFT和元宇宙平台。Kakao Enterprise计划共同开发基于“Kakao iCloud”的NFT平台,这是一种企业专用云,并以PaaS(Platform as a Service)的形式提供。(Newssis)[2022/3/14 13:55:03]
通过结合 Madara(Starknet 全节点)和 Kakarot(EVM 运行时),可以创建一个 L3 zkEVM。堆栈如下:一个 Substrate 全节点,使用 CairoVM 作为其执行引擎,以及 Kakarot 作为智能合约的运行时(runtime)。
KAKA链游混合盲盒30070个盲盒已售空:据KAKA官方最新资讯,8月25日19:00(UTC+8)KAKA链游混合盲盒在币安NFT开售,30070个盲盒在不足1秒便宣告售罄。此款盲盒二开功能即将开启,具备高价值玩法。这也是KAKA和币安NFT的首次联动。更多详情,可留意KAKA官方最新公告。[2021/8/25 22:36:54]
Kakarot 上的交易可以在结算层上得到证明和验证,从而实现 EVM 兼容的分形扩容。
第 1 阶段:Starknet 上的 Kakarot zkEVM——将 EVM 带到 Starknet
Kakarot 将首先作为载入的 EVM 存在于 Starknet L2 中,这将使开发人员能够使用他们熟悉的工具箱(Foundry、Hardhat、Wagmi 等)直接在 Starknet 上部署他们的 Solidity(或任何 EVM 兼容语言)智能合约。
声音 | Kakao CEO:区块链项目Klaytn有信心成为全球最大的公共区块链联盟:本周四,韩国互联网巨头Kakao首席执行官Yeo Min-soo在首尔举行的第一届Klaytn治理委员会峰会上表示:“旗下区块链项目Klaytn有信心成为全球最大的公共区块链联盟。目前,Klaytn集中在亚洲进行扩张,但将逐步扩张至其他区域,最终成为最优秀的全球区块链平台。 为此,我们将继续投资并要求理事会成员积极参与生态系统的发展。”Ground X首席执行官Han Jae-sun表示,Klaytn已经稳定运行了五个月,在这期间没有出现任何错误,明年Klaytn将成为亚洲最大的区块链联盟。”(koreaherald)[2019/11/28]
然后,他们的最终用户将能够使用他们常用的工具链(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
关于 Web3 的概念,我们现在比较熟悉的是由 Gavin Wood 于 2014 年提出的融合去中心化区块链技术以及代币经济学的迭代互联网想法.
1900/1/1 0:00:00背景: 香港特区政府《行政长官2022年施政报告》中,曾提出会不断提升金融科技竞争力,当中包括在虚拟资产方面草议引入有关服务提供者的法定发牌制度.
1900/1/1 0:00:00编译:比推BitpushNews Mary Liu流动性质押代币 (Liquid staking tokens:LST) 正迅速在 DeFi 中掀起浪潮.
1900/1/1 0:00:00导读:本文为 LK Venture 投研团队对全链游戏(Full On-chain Game)进行的全方位解析。全链游戏应该发挥其全上链的优势,而不是简单地将运行逻辑迁移至链上。换言之,不应该为了全链而全链,全链不是目的,而是手段.
1900/1/1 0:00:00原文作者:André Beganski,decrypt;Odaily 星球日报译者:Moni6 月 1 日,可能会是一个对全球市场产生历史性影响的日期,美国正面临着有史以来第一次债务违约的风险,这是一个潜在的黑天鹅事件.
1900/1/1 0:00:00最近一个月来,DCG陷入困境甚至破产的传闻一直不断。但DCG传闻近16亿美元的巨额欠债到底是怎么来的?DCG和Genesis、FTX、三箭资本到底什么关系?没有人给出确切消息.
1900/1/1 0:00:00