投研早报丨详述 EIP-7706 并梳理最新的 Ethereum 的 Gas 机制 / OP_CAT 的回归与应用分析 / AI 和区块链结合的现状与未来分析
ChainFeeds Newsletter 每日精选 Web3 深度投研「简报」+ AI 驱动的热点新闻榜单,帮你做出聪明决策
📢 ChainBuzz 热点新闻 |2024.5.17
🔥 MakerDAO 创始人:PureDai 将拥有自己的新治理代币,初始供应量为 20 亿枚
🔥 pump.fun: 一名前员工利用职务便利盗取约 190 万美元资产
🔥 Pyth 启动生态系统赠款计划,将提供价值 5000 万美元 PYTH
🔥 游戏平台 Param Labs 完成 700 万美元融资,Animoca Brands 领投
🔥 Tether 与 TON 基金会、Oobit 合作构建加密支付解决方案
🔥 Drift Protocol 已推出 DRIFT 代币并开放空投认领
🔥 Notcoin 已在 TON 上空投超 800 亿枚 NOT 代币
👨💻 ChainFeeds 投研简报 |2024.5.16
1️⃣ 研究|从前端到数据库:EthStorge 如何帮助 DAPP 实现真正的去信任化
2️⃣ 研究|比较主流互操作性协议:Axelar、LayerZero、Hyperlane...
3️⃣ 研究|详述 EIP-7706 并梳理最新的 Ethereum 的 Gas 机制
4️⃣ 研究|复盘 Starknet 空投:和 Optimism 空投有何区别?
5️⃣ 社交|探索 Farcaster 和 Frames:可组合的社交平台
6️⃣ 研究|OP_CAT 的回归与应用分析
7️⃣ AI|AI 和区块链结合的现状与未来分析
8️⃣ 研究|LXDAO:当 OP Stack 进化成 OP 「超级链」概念
9️⃣ AI|人工智能与加密技术交叉领域的现状与未来:机遇与挑战
🔟研究|zkEVM 升级叙事 zkVM,这五个核心项目为何值得关注?
每日精选的加密信息由 ChainFeeds 团队与 AI 共同编写,我们已将内部的信息流工具优化并开放给所有读者及 Web3 行业者使用,测试链接 👇
🌞 Web3 行研早报来自:Web3 行业必读深度资讯「简报」平台|chainfeeds.xyz
🤖️ Web3 热点榜单来自:AI 驱动的 Web3 热点新闻自动聚合工具|chainbuzz.xyz
1️⃣ 从前端到数据库:EthStorge 如何帮助 DAPP 实现真正的去信任化
导读:EthStorage 团队针对目前前端、后端和数据库等组件的中心化程度,提出了两个解决方案:web3:// 访问协议和 EthStorage 二层存储协议,旨在让所有 DAPP 组件都在以太坊上部署,实现真正的去中心化。
EthStorage: 在去中心化应用的几个组成部分中,前端和域名服务的中心化程度最为严重。目前绝大部分 dApp 的前端都使用中心化服务器,项目方可以随时修改前端代码,不需要经过社区治理,也不受到时间锁限制,这部分的安全性与部署在以太坊上的智能合约相去甚远。
因为 EVM 可以提供图灵完备的执行环境,所以大部分后端逻辑都可以在以太坊链上执行,我们可以说智能合约类的应用可以完全继承以太坊的安全。只是因为成本原因,一些计算密集型的任务无法直接在链上进行。针对这个问题,现在探索比较多的是使用 ZK 或者 OP 的方式,将计算移交到链下完成,以太坊链上只对计算结果进行最终确认,以此在计算层面上进行扩容。有些 AI 相关的项目将这类方法推向了极致,希望将 AI 大模型这种超级计算密集型的任务与区块链挂钩,值得我们去密切关注。
围绕着如何让 DAPP 完全基于以太坊来部署和访问,EthStorage 团队提出了两套解决方案:web3:// 访问协议:解决如何使用智能合约来部署和访问前端代码,甚至是类文件系统的问题。EthStorage 二层存储协议:在继承以太坊安全性的同时,极大降低了存储开销。
web3:// 可以被理解为去中心化版本的 http://,与 http 的 URL 中通过指定服务器 IP 地址或者域名来访问中心化的资源类似,web3 的 URL 需要指定一个智能合约地址或者 ENS 域名,来访问存储在其上的资源。目前 web3:// 已经成为了以太坊的正式标准(ERC-4804),如果希望详细了解 web3:// 访问协议的内容,可以访问其官网。为了更好的在智能合约中做文件管理,我们提出了 ERC-5018,它在智能合约中模拟了一套文件系统的接口,这样就可以通过 ethfs-cli,将打包好的前端代码文件夹上传到一个智能合约中,并通过 web3:// 来访问这个网站。
EthStorage 协议由部署在以太坊上的智能合约和 Layer2 网络中的存储节点组成,其中,智能合约提供了键值存储,而二层的存储节点负责存放数据本身。用户通过 EIP-4844 的 BLOB 将待存储的数据上传到以太坊上,EthStorage 智能合约只会记录 BLOB 内数据的哈希,从而有效的降低存储成本。同时,二层的存储节点会下载对应的 BLOB 数据到本地磁盘,使用 PoRA (Proof of Random Access) 和 ZK,将存储证明提交至以太坊上的合约做验证,该合约需要通过之前记录的 Blob 哈希来确认存储节点上传的 ZK 证明能否对上号,以此确认二层网络中的存储节点真的存放了这些数据。( 来源 )
2️⃣ 【英文长推】比较主流互操作性协议:Axelar、LayerZero、Hyperlane...
导读:随着区块链技术的发展和应用范围的扩大,不同的区块链网络之间的互操作性问题变得愈发重要。Web3 投资人 DWF Ventures 介绍当前市场上一些主流的互操作性协议,探讨它们的工作原理、优缺点以及在实际应用中的表现。
DWF Ventures: 目前市场解决方案有不同的网络类型: Cosmos SDK 区块链、消息传递协议、Chainlink 预言机网络、Substrate SDK 区块链。在跨链扩展性方面,主要有两种结构设计。LayerZero_Labs 和 Hyperlane 采用点对点模型连接区块链,而 Axelar Network 采用中心辐射模型。
从技术上讲,Axelar 的方法更具可扩展性,因为中心可以通过单一集成轻松集成新的链。LayerZero 的方法需要更多的区块链间连接和路由来实现完全连接。在采用方面, Axelar Network、LayerZero Labs、Wormhole 拥有最高的链上交易量和最大的网络图。截至 5 月 14 日,Axelar 已为 64 条连锁店处理了 86.6 亿美元的交易额和 185 万笔交易。
在去中心化方面,Axelar Network 是信任最小化程度最高的跨链协议之一。Axelar 运行着一个委托 PoS 网络,该网络有 75+ 个活跃的验证器节点来确保交易安全,从而确保在经济安全的基础上实现更高的去中心化。 相比之下 LayerZero Labs、Wormhole 机制对信任的最小化程度较低。目前,LayerZero 拥有 30 个具有独特配置的 DVN,而 Wormhole 拥有 19 个具有超级多数签名的守护节点网络。【原文为英文】( 来源 )
3️⃣ 详述 EIP-7706 并梳理最新的 Ethereum 的 Gas 机制
导读:Vitalik 发布了 EIP-7706 提案,提出了对现有 Gas 模型的补充方案。Web3 开发人员 Web3Mario 探讨了最新的 Ethereum Gas 机制,重点关注了新提出的 EIP-7706 提案以及其对 calldata 的 Gas 计算优化和 base fee 定价机制的影响,旨在降低 Layer 2 的运行成本。
马里奥看 Web3: 当时核心开发者看来这个机制面临着以下四个方面的问题:1. 交易费用水平的波动性与交易的共识成本之间的不匹配。2. 对用户来说不必要的延迟。3. 定价效率低下。4. 无区块奖励的区块链将不稳定。
为了解决这个窘境,核心开发者们于 2022 年 2 月 5 日提出了 EIP-4844 提案,并在 2024 年二季度初的 Dencun 升级后得到了实施。该提案提出了一种新的交易类型,名为 Blob Transaction,相比于传统类型的 Transaction,Blob Transaction 的核心思想是补充了一个新的数据类型,即 Blob data。区别于 calldata 类型,blob data 不可以被 EVM 直接,而只能访问其 hash,也被称为 VersionedHash。
此外还有两个相伴而来的设计,其一相较于普通交易,blob transaction 的 GC 周期更短,从而保证区块数据不至于过于臃肿,其二 blob data 的具有原生的 Gas 机制,总体上呈现的效果于 EIP-1559 类似,但在数学模型上选择自然指数函数,使其在应对交易规模波动时稳定性上表现更好,因为自然指数函数的斜率亦为自然指数函数,这意味着无论此时网络交易规模处在什么状态,当交易规模快速飙升时,blob gas 的 base fee 反应的更充分,从而有效遏制交易活跃度,同时该函数还有一个重要的特性,当横坐标为 0 时,函数值为 1。
在明确了当前 Ethereum 的 Gas 模型后,我们来看下 EIP-7706 提案的目标与实施细节。该提案由 Vitalik 在 2024 年 5 月 13 日提出。与 Blob data 类似,该提案对另一个具有特殊性的数据字段对应的 Gas 模型进行了剥离,这个数据字段即为 calldata。并且优化了相应的代码实现逻辑。从原理上 calldata 的 base fee 计算逻辑与 EIP-4844 中 base fee for blob data 相同,均采用了指数函数并根据父区块中的实际 gas 消耗值与目标值的偏差值来计算对当前 base fee 的缩放比例。( 来源 )
4️⃣ 复盘 Starknet 空投:和 Optimism 空投有何区别?
导读:在加密货币领域,空投是一种常见的促进项目推广和社区建设的方式。加密货币 KOL Kerman Kohli 撰文对 Starkware 空投进行分析,与 Optimism 的空投进行比较,重点关注认领机制对空投结果的影响。
Kerman: 两种方法之间的主要区别在于 Optimism 说「我们将亲自将空投送到您的钱包」,而 Starkware 则说「来找我们领取您的空投」。前者的情况是,它对用户来说更容易并且节省 gas。我个人的理念是,如果您在低成本链上执行此操作,那么成本不应该成为问题,并且至少有人可以做的就是单击一个按钮来索取免费资金。
话虽这么说,让我们来看看 Starkware 掉落。不幸的是,获取数据非常困难,因为:Starkware 没有公布空投后人们如何领取空投的详细数据,Starkware 没有标准 EVM 格式地址(它们比 20 字节长得多),这意味着我必须破解才能获取链上可用的数据。所以基本上我所做的就是从我得到的索赔事件中获取所有地址,然后运行一个脚本以在我运行脚本时获取它们的所有余额。然后我可以通过将它们分段来查看余额桶的内容。我希望我能够进一步了解这些用户,但有限的数据使这成为一项更具挑战性的工作。
Starkware 在如何向许多不同群体提供大量代币方面考虑得相对周到,数据清楚地表明了这一点。这是我在表现良好的空投与表现不佳的空投中看到的一个常见主题。那么为什么没有更多的项目不选择多样化的用户属性来向用户空投代币呢?归根结底,收集、分析数据并从数据中得出结论是很困难的 —— 尤其是当你拥有大量数据时。 Starkware 成功地使用了一个相对简单的标准,仍然确保了多样性,尽管有一些方法可以使用正确的工具来更有针对性。【原文为英文】( 来源 )
5️⃣ 【英文】探索 Farcaster 和 Frames:可组合的社交平台
导读:Farcaster 是一个类似于 Twitter 的去中心化社交网络平台,基于以太坊第 2 层 Optimism。Farcaster 的主要目标是促进不同去中心化应用程序和平台之间的通信和价值转移。GLOBAL COIN RESEARCH 撰文探讨 Farcaster 和 Frames 的社交平台,以及其在去中心化社交网络领域中的重要性和创新。
Global Coin Research: Farcaster 具有混合架构,可在链上存储身份并在链下存储数据。链上存储的数据与安全和个人身份相关,而链下数据与交互(发帖、关注其他用户、反应或个人资料图片更新)有关。这种设计选择是为了优化网络成本。Farcaster Frames 允许开发人员创建在 Farcaster feed 中运行的集成应用程序。用户无需离开平台就可以与各种应用程序进行交互,这些框架扩展了 OpenGraph 标准,并将静态嵌入转变为交互式体验。下图说明了 Warpcast 中标准 OG 和框架 OG 之间的差异。
Farcaster 成功地装载了一些使用其堆栈构建的应用程序。基于 Farcaster 构建的一些社交应用程序包括:Warpcast:一个 Web3 社交网络,其用户界面类似于 Twitter,允许用户分享帖子、与他人互动并展示他们的 NFT。 Warpcast 是 Farcaster 团队开发的一款钱包应用程序。Supercast:Supercast 是一个构建在 Farcaster 之上的平台,允许您直接在 Farcaster 生态系统中创建、分发和收听播客。Paragraph:类似于 Substack 的去中心化新闻通讯发布平台,为用户提供完全定制内容、自动化电子邮件流和获取详细分析的能力。Kiwi News:一个加密媒体应用程序,用户可以使用 NFT 社区通证参与,分享加密空间中的活动链接,并投票选出最佳内容。
Farcaster 和 Lens 是两种流行的社交协议,具有独特的方法。 Farcaster 将其出版物数据存储在名为 Hubs 的去中心化存储网络上,确保所有人均可访问,而 Farcaster 个人资料则链接到 Optimism 平台上用户的以太坊帐户,确保用户拥有自己的数字身份。另一方面,Lens 是一个链上社交图谱和开发工具,允许用户拥有自己的内容。 Lens 上的交互可以发布在链上或数据可用性和验证层 Momoka 上。在 Lens 上创建个人资料时,用户会收到按顺序编号的唯一 NFT,该 NFT 可以作为对协议的访问权限,以执行关注、发布和评论等操作。【原文为英文】( 来源 )
6️⃣ 【英文长推】OP_CAT 的回归与应用分析
导读:在比特币生态中,OP_CAT 的回归引发了广泛的讨论和关注。加密货币 KOL 阿尔法新酱撰文深入探讨 OP_CAT 是什么,以及它为比特币带来了哪些新的用例和机会。
阿尔法新酱 | 0xShinChan: OP_CAT 的 TLDR 含义是,它是一项旨在提升比特币智能合约能力的计划,类似于以太坊。现在,它已获得 BIP 347 的初始正式指定,作为一项潜在升级。
OP_CAT 是比特币的早期操作码。它最初是由比特币创始人中本聪 (Satoshi Nakamoto) 创建的编程捷径。但由于担心高内存使用率 + 潜在的安全漏洞,它在 2010 年被删除。比特币研究人员 Ethan Heilman 和 Armin Sabouri 提出了比特币改进提案 (BIP),建议将 OP_CAT 操作码重新引入比特币的脚本语言。此类操作码将允许开发人员在 Tapscript 中构建和评估 Merkle 树和其他哈希数据结构,Tapscript 是用于在 Taproot 升级中启用新交易类型的本机脚本语言。
OP_CAT 理论上是如何运作的?(i)弹出值:首先从堆栈中删除顶部的两个项目。(ii)连接:然后它将这两个项组合在一起。如果 x1 和 x2 是项,并且 x2 是最后添加的项,则 OP_CAT 会将它们连接起来以形成 x1x2。(iii) 推回:将新组合的物品放回堆栈顶部。但是,如果堆栈中的项目少于两个,或者组合项目的大小超过 520 字节(这是比特币中脚本元素的限制),OP_CAT 将无法工作。如果通过软分叉启用,它将替换脚本中现有的未使用操作,使其处于活动状态,而无需对网络进行重大更改。
一方认为比特币应该保持原样,保留其交易 BTC 的核心功能,而另一方则认为比特币尚未准备好僵化 + 鉴于所有新兴的可扩展性解决方案、桥梁 + L2 繁荣,它还有改进的空间。问题的核心是一个关键的决定:比特币是否应该扩展为更可编程的链或仍然保持 P2P 支付结算层。【原文为英文】( 来源 )
7️⃣ 【长推】AI 和区块链结合的现状与未来分析
导读:近年来,AI 和区块链的融合引起了广泛关注。随着 OpenAI 最新的 GPT-4.0 发布,这一话题再次成为焦点。加密货币 KOL B 撰文探讨了 AI 如何带动基础设施需求,分析了 AI 对数据、计算和存储的影响,以及区块链在这些领域的潜在应用和优势。
B: AI 带动了上游基建的需求:1) 计算:包括芯片的设计与生产,云计算服务,数据中心,网络 / 电力基础设施等。这一环节偏重物理,AI 的训练和结果输出需要消耗大量的算力、电力以及网络资源,而芯片的性能又是决定效率和能耗的关键,这就决定了像英伟达,AMD 这样的芯片设计公司,台积电,三星这样的晶圆代工厂,以及谷歌、微软,亚马逊等有云计算和数据中心业务的科技巨头注定捕获这一轮最大的价值。
2)数据:包括数据采集、数据标注 / 处理、数据交易 / 授权。尽管数据是 AI 的「食物」,然而大多数机器学习模型只能使用经过处理的结构化数据。目前,用于机器学习的数据来源非常广泛,且大部分是非结构化的和分散在各处的公开数据,因此需要花费大量时间和精力对这些数据进行搜集和处理。3) 存储:包括数据库(database),数据备份 / 存储系统(storage)
AI 性能决定了下游应用的上限:虽然 AI 已经或多或少在工业、农业领域(2B)有所应用,但这一轮我们看到的突破主要是基于大语言模型(LLM)的 2C 应用。我们可以把这些应用分成两大类:第一类其实只是大语言模型的具象化,例如一些 AIGC 平台,它们根据用户指令生成用户想要的结果,但这一类应用的性能主要取决于使用的 AI 模型,而主要的 LLM 模型被巨头们垄断,因而应用间的差异性往往较小,护城河相对较窄;另一类则是利用 AI 模型来提升现有产品的功能和用户体验。
AI 其实是一个融合叙事,它的出现,把原先各个孤立甚至当初找不到市场契合点的几个加密板块串联起来了。目前 AI 仍旧处于大基建投资时代,数据、存储、计算这一类上游板块是最直接的持续受益者,它们对 AI 发展更为敏感,确定性也更高。但是对于这个行业的投资者来说,风险在于大部分的红利可能不在加密货币市场,目前币市的 AI 效应更多还是来自传统市场供需关系失衡带来的溢出效应,或者就是纯炒作。而下游应用由于性能天花板取决于 AI 模型,而 AI 模型仍处在不断迭代的过程中,且 AI 与产品的结合点还在探索,市场契合度还有待验证,这使得下游应用的未来变数还比较大,确定性不如上游板块那么高。( 来源 )
8️⃣ LXDAO:当 OP Stack 进化成 OP 「超级链」概念
导读:上个月,WorldCoin 基金会宣布推出基于 OP Stack 的区块链 World Chain,将其纳入 Optimism 的超级链 Superchain。Web3 研发员 LXDAO 撰文将详细解答关于超级链的现状、愿景以及具体操作流程,帮助读者全面了解这一创新技术。
LXDAO: 「超级链」是一种基于 Layer 2 (L2) 技术的多链网络结构,旨在解决传统区块链在水平可扩展性上的挑战。在「超级链」模型中,各个链(如 OP 链)被标准化处理,并集成到由 Optimism Collective 正式管理的网络中。这些链不仅共享安全性和通信层,还共享一个开源技术堆栈。这种设计使得开发人员可以更加专注于在整个超级链上构建应用程序,而不必担心单个链的具体技术细节。
在 「超级链」桥接安全模型中,安全性(即有效性)和活跃性(即抗审查性)能够得到保证。安全性由证明系统保证,活跃性由直接向 L1 提交交易的能力保证。安全性和活跃性的结合意味着,如果 OP Chain 排序器出现异常,用户始终可以将交易提交给 L1,L1 将他们的使用迁移到具有正确运行的排序器的新 OP Chain。
OP Labs 作为框架支持方,做的很多工作都致力于让 OP Stack 支持更广泛的技术去中心化。当然成为超级链,在完全实现可扩展区块链的愿景之前,仍然存在一些重要的痛点需要解决。预计的痛点包括:提款申请依赖于一组受信任的链证明者。跨链交易速度慢,需要等待一个挑战期。
EIP-4844 的推出与 Optimism 生态系统的 Delta 升级几乎同步,是一个完美的配合。那 4844 以后,对 OP Stack,超级链生态是一个利好,将会有越来越多的项目方愿意使用 L2 作为技术方案。我们也希望看到区块链方案的降费,能提供更多商业机会给项目方,为大规模应用(Mass Adoption)提供可能性。( 来源 )
9️⃣ 【英文长推】人工智能与加密技术交叉领域的现状与未来:机遇与挑战
导读:在当今科技快速发展的背景下,人工智能和加密技术正逐步融合,开创出新的应用领域和商业机会。Variant 成员 Li Jin 撰文探讨了 AI 和加密技术 crypto 在交叉领域的现状和未来发展趋势。
Li Jin: 人工智能与加密交叉领域的项目可分为两大类:(1)应用加密技术解决人工智能问题,(2)应用人工智能解决加密问题。由于当今人工智能的市场总体上比加密货币的世界更大,因此大多数公司都专注于将加密货币应用于人工智能。也就是说,将(1)人工智能应用于加密货币(2)可以使加密货币更易于使用和交互,从而有助于扩大市场份额。
在第一个类别中,我们正在研究整个 AI 堆栈的项目:数据收集(包括收集其他地方不存在的新的专有数据集),模型训练和推理(包括数据标记和 RLHF),基础设施市场(包括计算和存储),人工智能应用。
以数据收集层为例,我们发现,收集目前不存在或难以访问的数据集可以为 AI 公司带来巨大的发展空间。加密货币可以通过激励用户贡献数据来提供帮助(就像在众多 DEPIN 网络中一样)。在计算市场中,我们还看到代币激励被用于聚合这些网络的供应方。我们认为,在日益激烈的竞争环境中,一个差异化因素就是提供额外的服务和模式来吸引开发商。在应用层,我们看到一些项目旨在创建配备钱包的 AI 代理,使其能够独立进行交易。或者在去中心化计算上运行的 AI 代理(如 Venice)。【原文为英文】( 来源 )
🔟 zkEVM 升级叙事 zkVM,这五个核心项目为何值得关注?
导读:zkVM 作为一种基于 ZKP 的通用计算平台,能够在不泄露执行细节的前提下验证计算的正确性。并支持在链外处理计算量大的任务,仅将验证结果提交到区块链,极大地提升了区块链的扩展性。目前,市场上如 a16z、Taiko、ZKM 等多个项目正在开发 zkVM 解决方案。
0xNatalie: Jolt:主要特点是运行速度快,而且对开发者来说更易于扩展和进行代码审计。与其他基于 STARK 框架的 zkVM 不同,Jolt 利用了 Lasso 查找参数和基于 sumcheck 的技术。这种创新方法不仅简化了新虚拟机指令的实施,还提高了系统的整体速度。Jolt 的设计强调易用性和效率,它的代码库非常精简,Jolt 中的每条 CPU 指令只需 50 行 Rust 代码即可实现。此外,Jolt 的性能也非常出色,在初步基准测试中,执行零知识证明的速度比 RISC Zero 快 5 倍以上,比 SP1 快 2 倍。
RISC Zero:具有递归 SNARK 结构的 zkVM ,其特点在于采用了一种支持证明相互嵌套的递归方法。独特之处在于其实现递归的方法,将多层证明无缝集成到一个单一的证明链中,不仅减少了计算负荷和需要处理的数据量,还能在多个计算步骤中保持验证过程的安全性和完整性。RISC Zero 的另一个独特之处在于它使用了 RISC-V 指令集,这是一种开放式标准 ISA(指令集架构),旨在实现可扩展性和可扩展性。这一选择确保了 RISC Zero 可以利用广泛的工具和支持生态系统,使其与其他可能使用专有或不太通用架构的 zkVM 相比,更易于访问和集成到现有系统中。
Succinct:开发了 zkVM SP1,SP1 专为执行以 Rust 或任何其他可通过 LLVM 编译的语言编写的代码而定制,灵活性和易用性更高。SP1 支持模块化架构,允许开发人员通过 「预编译」来定制和扩展其功能。预编译指特定的、可由开发者添加或修改的模块,这些模块增强了核心虚拟机的功能,使得它可以更高效地处理特定的任务或运算。此外,SP1 构建了去中心化的证明者网络,简化了证明的部署和执行,从而降低了使用高级加密方法的门槛。该网络使开发人员只需点击一下就能高效地生成证明,提供了一种简化的方法。
Taiko:已经开始从使用 zkEVM 转型至使用 zkVM,它的 zkVM 独特之处在于其对多证明系统的运用。多证明概念由 Vitalik 提出,Taiko 表明自己是第一个实施这个概念的项目,将于 5 月底主网上线时直接支持此多证明系统。这种系统允许 Taiko 的 zkVM 生成多种类型的证明,从而提高了系统的安全性和健壮性。即使其中一种证明类型出现问题,其他类型的证明可以继续确保系统的正常运行并及时检测到任何错误的状态转换。此外,还采用了 Halo2-KZG 证明系统,使得处理复杂计算和大规模交易时能够保持高效和低成本。
ZKM:Metis 基金会孵化,采用 MIPS 架构,将其与零知识证明技术结合创建 zk 虚拟机。这种设计使 ZKP 更加与系统内部的计算处理方式相契合,加快操作速度并减少与单独实施 ZKP 协议相关的计算开销。ZKM 最近推出了一种新的信任最小化多链互操作性基础设施 Entangled Rollups, 利用 zkMIPS 来构建一个无需信任的、去中心化的多链互操作框架。不像第三方的 zk 桥接仅通过快照验证资产转移,而是所有计算都可以被验证,所以非常安全。ZKM 与其他 zkVM 不同点之一就是可以生成的一个适用于所有操作零知识证明。ZKM 将安全性嵌入到 CPU/MIPS 架构的底层,使得所有在该架构之上的软件都可以享受到相同的安全性,而无需每个软件都单独进行零知识证明的过程。( 来源 )