投研早报｜Synthetix 路线图、Jump Crypto：了解 Mempool 交易的最佳交换行为、解释 ZkSnark 与区块链等量齐观的原因、探索 zkML 的链上智能合约用例

ChainFeeds Newsletter 每日精选 10 条 Web3 深度投研「简报」+ AI 驱动的热点新闻榜单，帮你做出聪明决策

📰【榜单】币圈热点新闻速览｜2023.05.25

🔥 OKX Web3 钱包上线 BRC-20 和 Oridinals 交易市场
🔥 黑山高等法院撤销 Do Kwon 保释裁定，韩国法务部建议不予保释
🔥 Multichain 跨链升级导致交易延迟，代币价格下跌 20%
🔥 日本将从 6 月开始实施更严格的加密货币反洗钱措施，以追踪加密货币资产交易
🔥 Matter Labs 聘请前动视暴雪高管推动 zkSync 游戏计划
🔥 马斯克警告投资者不要在狗狗币上孤注一掷
🔥 Web3 游戏工作室 Metagame Industries 以近 1 亿美元估值完成战略融资，Mysten Labs 等参投

📖【目录】Web3 深度投研简报｜2023.05.24

1️⃣ DeFi｜Jump Crypto：了解 Mempool 交易的最佳交换行为
2️⃣ 观点｜Smart Token Labs：连接传统商业世界和 Web3 价值互联网
3️⃣ 项目进展｜Synthetix 接下来会发生什么？
4️⃣ 研究｜一文解释 ZkSnark 与区块链等量齐观的原因
5️⃣ 链上分析｜链上钱包追踪完整指南：实用工具及钱包追踪器
6️⃣ 研究｜探索 zkML 的链上智能合约用例
7️⃣ RWA｜从 ERC20、721、1155 到 3525，详述 RWA 迈向 Web3 Mass Adoption 之路
8️⃣ 研究｜盘点 Cairo 语言特性：如何成为构建链上游戏的基石？
9️⃣ 研究｜关于 ZK 挖矿以及 ZKR 性能的讨论
1️⃣0️⃣ 项目介绍｜介绍 Cascade：首个支持 IBC 的链间 SVM Rollup

每日精选的加密信息由 ChainFeeds 团队与 AI 共同编写，我们已将内部的信息流工具优化并开放给所有读者及 Web3 行业者使用，测试链接 👇
🌞 Web3 行研早报来自：Web3 行业必读深度资讯「简报」平台｜chainfeeds.xyz
🤖️ Web3 热点榜单来自：AI 驱动的 Web3 热点新闻自动聚合工具｜chainbuzz.xyz

1️⃣ 【英文】Jump Crypto：了解 Mempool 交易的最佳交换行为

导读：作为交易的关键组成部分，「交易供应链」和协议层方面都有着优化和丰富的创新，但很少有人专注于 Mempool 层面。本文由 Jump Crypto 研究员 Lucas Baker、Nihar Shah、Alex Toberoff 和 Suraj Srinivasan 共同撰写，探讨了如何预防 Mempool 中的三明治攻击等风险。

Jump Crypto: 三明治攻击是通过 Mempool 公开提交的交易的主要问题，构成了所有链上 MEV 的大部分。虽然可以通过某些服务使交易私有化，或以其他方式保护其免于泄露价值，但三明治的持续盛行表明大多数用户尚未采用它们。实际上，大部分 DeFi 交易都是使用默认执行参数（如 Uniswap 上 0.5% 的最大滑点）通过协议前端直接提交的，这表明需要更简单的解决方案。其中一个解决方案是智能交易结构，优化交易数量和每笔交易参数。这可以纯粹在 DEX 前端实现，无需额外的信任假设或改变基础设施。

更广泛的三明治预防工作需要回答三个问题：1）单次交换参数： mempool 交易者应如何设置滑点限制，以最小化单笔交易的预期损失？2）最佳交换拆分： 在单个池里，mempoo l 交易员应如何将一个大的交换拆分成多个部分，在连续的块中执行？3）MEV 感知 DEX 路由： 在多个池中，DEX 聚合器应如何考虑 MEV，以最小化预期的端到端损失？

我们提出了一个理论框架来解决第一和第二个问题，将问题简化为一组闭合形式的解决方案。首先，我们展示了如何为给定的交易规模设置参数，以平衡执行中的预期损失（如交易失败和 gas 成本）与提取损失（如三明治）。其次，我们表明，给定一个凹值函数，其中滑点随规模增加（例如 Uniswap 和 Curve 等 DEX），最佳解决方案是将大宗交易拆分为跨连续区块的同等规模交易，具体大小由价值函数决定。【原文为英文】（ 来源 ）

2️⃣ 【长推】Smart Token Labs：连接传统商业世界和 Web3 价值互联网

导读：Hash Global 成员 Walter Huang 回顾 Smart Token Labs 首席技术官兼联合创始人张韡武在 EDCON 2023 的演讲有感，探讨 Smart Token Labs 在连接传统商业世界和 Web3 价值互联网中的创新，以及 Smart Token 和 Smart Layer 两个开创性概念。

Walter Huang: Smart Token 旨在重新定义传统数字资产。韡武提出将一切事物 Token 化生成 Smart Token，从电子邮箱到智能汽车钥匙。Smart Token 后的事物将可以在 Web2 和 Web3 的环境中的自由流转和集成，让市场力量最优地分配资源。此外，Smart Token 的开放性和可组合性也是激活 AI 潜力的必要前提。

Smart Layer 是实现 Smart Token 落地应用的必要桥梁。它允许 Smart Token 在 web2 和 web3 环境中被执行，处理 Smart token 所产生的数据。在确保用户隐私的前提下，以可信的方式响应来自各方的使用、查询和检验。

Smart Token Labs 的解决方案将是激活 AI 潜力的必要条件。韡武设想了一个未来场景，旅行代理 AI 在执行拟定旅行计划时，将需要与酒店、机票、门票和保险的服务商直接交互。现有互联网上的企业间协作是需要许可的，无法高效集成，无法实现 AI 的执行能力。然而，在 Smart Token Labs 的设计中，所有的产品和服务都可以被 Smart token 化，旅行代理 AI 的执行过程可以和购买电商商品一样简单。（ 来源 ）

3️⃣ 【英文】Synthetix 接下来会发生什么？

导读：Synthetix 创始人 Kain.eth 发文讨论得到 Synthetix 财政委员会广泛支持的部分提案，包括调整核心贡献者的奖励制度、改善 SNX 质押流程、调整 SNX 质押奖励、将 SNX 3:1 拆分和回购等。

Kain Warwick（Synthetix 创始人）: 核心贡献者的一致性：这可能涉及初创公司的股权分配或 DAO 代币分配的哲学，但我认为这是一个关键点。在 Synthetix，拥有一致性是至关重要的，因为几乎没有等级制度，自我激励的人更容易受这种氛围的吸引。然而，我们也必须确保我们保持财务一致性。我建议每季度拨出 SNX 作为奖金，奖金分配由 TC 自行决定，并结合 CC 关于其同行对协议影响的反馈。这将确保基于功绩的公平分配。

交易激励措施：虽然 OP 激励已经成功地增加了交易量，但 SNX 激励可能会产生更有影响的反馈循环。特别是由于激励将以托管 SNX 的方式进行，这应该会将交易者引入 SNX 质押。理想情况下，随着时间的推移，应将 5-10 百万枚 SNX 分配给该激励计划。

被动 SNX 质押：可以创建一个与主动 SNX 质押一起工作的被动质押池。新的质押者可以在不面临太多挑战的情况下尝试质押，并更好地了解 Synthetix。把它想象成免费增值模式，其中「价格」是风险和复杂性，如果我们在支付较低收益的同时减少这些，可能会吸引更多质押者。该收益应根据主动和被动质押者之间的比例动态计算，被动质押的上限约为费用的 10%，最初应由财政部支付，可能是 SNX，但最好是 sUSD。

将 SNX 3:1 拆分和回购：为解决通货膨胀问题，如果做一个 3:1 的拆分，我们将有约 9000 万枚额外的代币来以 6000 万美元的市场价格回购和销毁。销毁代币的支出由国库费用收益承担。根据最近的收益，TC 每年的收入约 500 万美元，如果 100% 分配给回购，将需要约十年的时间来完成。如果未来几年交易量增加，这个时间表将大大缩短。【原文为英文】（ 来源 ）

4️⃣ 【长推】一文解释 ZkSnark 与区块链等量齐观的原因

导读：关于 ZkSnark，顶级玩家与市场存在认知差。食物链顶层玩家与市场共识的认知差，是长期投资者 Alpha 收益的一个重要来源。加密货币研究员 NingNing 详细讲述了 ZkSnark 和 ZkStark 的区别以及 ZkSnark 与区块链等量齐观的原因。

NingNing: 在生成 ZKP 时和 ZK 验证过程中，ZkSnark 需要消耗的计算资源要比 ZkStark 更少。另外，ZkSnark 生成的 ZKP 长度固定，而 ZkSnark 则不固定。以上因素使得 ZkSnark 具有简洁性、高效性、隐私保护和互操作性的优点。但由于需要一个仪式生成「Lambda」值，在安全性上弱于 ZkStark。

为什么在 V 神眼中 ZkSnark 可以与区块链等量齐观呢？区块链与 ZkSnark 解决的其实是同一个问题，即 Alice 如何向 Bob 证明她拥有某物。区块链的解决方案是分布式账本 + 共识机制，ZkSnark 的解决方案则是通过密码学计算。区块链的实现方式是分布式的冗余系统，ZkSnark 的实现方式是集中式的效率系统。

正因为这一点，区块链与 ZkSnark 天然具有耦合性，区块链可以将事务和状态的证明外包给 ZkSnark，而自身专注于数据可用性和最终确认性，这样理论上就可以巧妙地化解区块链的不可能三角，实现区块链的指数级扩展，从而为未来 10 年的 Web3 大规模采用准备好基础设施。（ 来源 ）

5️⃣ 【英文长推】链上钱包追踪完整指南：实用工具及钱包追踪器

导读：加密研究员 Thor Hartvigsen 发推分享三种数据分析工具及其自定义的钱包追踪器。并详细介绍如何进行链上分析，以追踪具有良好表现历史的钱包，或了解特定代币的最大持有者等。

Thor Hartvigsen: 1）Arkham：代币页面功能支持跟踪最近的流入 / 流出、查看排名靠前的代币持有者、过滤特定交易（特定钱包、自定义值或日期）。Arkham Entities 功能可以了解标记实体及其钱包的各种信息，如最大持仓、余额历史、最佳对手方和交易所、所有捆绑钱包的交易情况等。可视化工具可以查看来自钱包和合约的流量（如代币或实体 / 人员）。还可以为特定钱包、代币或带标签的实体创建自己的监控列表，并带有警报功能以跟踪移动。

2）Debank 可以查看特定链上钱包中的所有资产、存入的 DeFi 协议及所有交易（可按特定资产过滤）。使用 Debank Pro，可以选择特定协议并查看其原生代币数量最多的钱包、协议顶级存款人，即进入流动性池、质押等。

3）Nansen 的「Wallet Profiler」与 Debank 配合得很好，可以粘贴 Debank 地址并查看其标记（付费功能）。「Token God Mode」可以概览特定代币的不同指标，如持有该代币的最大钱包、智能货币实体、按最大价值排序的近期流入 / 流出。「entity profiler」支持搜索带有 Nansen 标签的实体，如 The Spartan Group，工作原理类似 Arkham 的分析器，但在一些带标签的钱包中有一些不同之处。

钱包追踪器：包括我自今年年初开始追踪钱包以来收集的各种平台的信息。1）加密基金：我收集了 20 个最大的加密基金钱包，并将它们捆绑到 Zapper 投资组合中，以便查看其所有资产。还列出了他们所有的钱包，可以粘贴到 Debank 中或用于其他用途；2）最大代币持有者：可查看流行代币的最大标记实体及确切持有量，数据来源为 Nansen；3）Notable Wallets：与加密名人关联，所有钱包及标签均由 Arkham 或 Nansen 验证。其他功能包括实时更新的协议库概述、制作钱包追踪器所用的工具指南、使用这些信息创建的 Twitter 链接。【原文为英文】（ 来源 ）

6️⃣【英文】探索 zkML 的链上智能合约用例

导读：通过添加 ML 功能，智能合约可以变得更加自主和动态，允许它们根据实时链上数据而不是静态规则做出决策。ML 功能将扩大链上的任何智能合约的自动化、准确性、效率和灵活性。加密研究机构 1kx 探讨了链上 ML 的潜在应用程序和用例，并盘点了 zkML 核心的新兴项目及进展。

1k(x): 已验证的推理场景为智能合约开辟了一个新的设计空间。一些加密原生应用程序包括： -DeFi：可验证的链下机器学习预言机、机器学习参数化的 DeFi 应用程序、自动交易策略；

• 安全：智能合约的欺诈监控；

• 传统机器学习：Kaggle 的去中心化、去信任化实现、生成人工智能的去中心化 prompt 市场；

• 身份：用保护隐私的生物特征认证代替私钥、公平的空投和贡献者奖励； -Web3 社交：过滤 Web3 社交媒体、广告 / 推荐；

• 创作者经济 / 游戏：游戏内经济再平衡、新型链上游戏。

zkML 的大部分重点都集中在上述基础设施上，但是，也有一些项目重点关注应用程序。Modulus Labs 是 zkML 领域中最多样化的项目之一，致力于示例应用程序和相关研究。 Worldcoin 正在应用 zkML 来尝试开发隐私保护的人格证明协议。Giza 可以使用完全无需信任的方法在链上部署 AI 模型。Gensyn 是用于训练 ML 模型的分布式硬件配置网络。ZKaptcha 专注于 Web3 中的 bot 问题，为智能合约提供验证码服务。

zkML 空间仍然存在一些核心挑战，包括：精度损失最小的量化；电路尺寸，尤其是当网络由多层组成时；矩阵乘法的有效证明；对抗性攻击等。【原文为英文】（ 来源 ）

7️⃣ 从 ERC20、721、1155 到 3525，详述 RWA 迈向 Web3 Mass Adoption 之路

导读：加密研究员菠菜菠菜认为在 RWA 大叙事中，ERC-3525 标准最具潜力。他对比了 ERC-20、ERC-721、ERC-1155 和 ERC-3525 代币标准的区别，从三个层次探讨了解 ERC-3525 的数字世界建模思想，并展望了 ERC-3525 在哪些领域值得关注。

菠菜菠菜: ERC-3525 可以从三个层面来理解：可拆分组合的超级 NFT、通用数字容器、可视化的智能合约。ERC-3525 的定位其实并不是为了解决价值创造问题，而是解决价值包装的问题，数字资产可以长出一张动态、具有丰富信息的界面，可以碎片化、合并、打包、组合和编程。

ERC-3525 在 Web3 的未来趋势中展现出了显著的优势。无论是真实世界资产（RWA）、客户忠诚度计划，还是游戏等领域，ERC-3525 都有着显著的潜力。尤其在像供应链金融这样的真实世界资产的细分领域中，ERC-3525 相比于其他标准更是有着压倒性的优势，这些发展方向值得我们持续保持关注。

而目前 ERC-3525 还面临着一些挑战和阻力：1. 高度的复杂性导致了较高的认知门槛；2.ERC-3525 开发难度相较于 ERC-20、ERC-721 和 ERC-1155 等标准更高；3.ERC-3525 的应用场景可能涉及主权政府和中心化担保机构，属于半中心化地带，与绝对的去中心化精神可能产生冲突，对区块链世界的价值观影响犹未可知。（ 来源 ）

8️⃣ 【英文长推】盘点 Cairo 语言特性：如何成为构建链上游戏的基石？

导读：Dojo 是第一个可验证的游戏引擎，它利用 Cairo 来确保游戏执行逻辑的完整性，使开发者能够在 Starknet 的基础上轻松建立复杂的、可验证的游戏和自主世界。Dojo 开发者 tarrence 盘点了 Cario 语言的特性及其在构建链上游戏方面的优越性。

tarrence.eth: Cairo 是一种图灵完备的语言，用于创建一般计算的可证明程序。它是一种现代的、类似于 rust 的语言，提供高水平的抽象和功能。Cairo 的执行可以在 O (log^2 n) 中得到验证，这实现了链上计算的指数级可扩展性。

Cairo 证明可以被递归，这意味着你可以证明一个证明的验证。Cairo 证明可以被增量证明，这意味着一个单一的执行可以被分解成独立证明的离散部分。Cairo 可以被有效地证明，并围绕可证明程序的约束进行优化，而不是与现有范式兼容。Cairo 还是快速的，通过 MILR，Cario 可以在本地运行。

Cairo 使用状态差异，通过状态差异，一个证明和最终状态可以证明「输出」，这个属性对游戏来说很重要。这种压缩程序输入的能力还可以实现其他功能，例如，在 Starknet 上验证存储证明很便宜。通过 Herodotus，程序可以访问所有以太坊和它的 Rollups 状态，这意味着你可以使用 Optimism 上的资产在 Starknet 上玩游戏。【原文为英文】（ 来源 ）

9️⃣ 【长推】关于 ZK 挖矿以及 ZKR 性能的讨论

导读：加密货币研究员 Maxlion 与投资人 Qin Yang 讨论了一些关于 ZK 挖矿以及 ZKR 性能的话题，并谈及 ZK 挖矿的时机，认为许多项目都会在 q4 或者明年 q1 左右开挖。

Maxlion: Starknet 工程团队 Lambda Class 近期宣布通过 Terraform 实现并行证明。此前该团队宣称已经完成证明器（prover）的 GPU 实现。关于 Starknet 去中心进展要回到整个网络的路线图来看。Starknet 有三个阶段，分别是可用性、高性能以及去中心。简单来讲就是说 Starknet 性能够高之后才会考虑去中心，目前正属于提高性能的阶段，可能会持续到 Q4。

排序器往往才是 ZKR 性能瓶颈而不是 Prover 。排序器可以理解为执行交易的节点，直接影响到 tps 和 gas。比如说 StarkWare 有个 sharp（超算）共享证明器，Starknet 和 StarkEx 的证明都往这跑，而 Starknet 的性能依然很慢，因为 Starknet 排序器性能不行。理论上 ZKR 的证明生成和验证速度只要跟得上 L1 发布 calldata 速度就可以了。

ZK 挖矿的时机：这个实际上取决于不同项目具体的代币经济和去中心规划等因素，不能一概而论。有点项目希望快速上马马上开挖，有的项目会等到性能差不多再开挖。尽管如此，从路线图的角度来看许多项目都会在 q4 或者明年 q1 左右开挖。所以不同细分赛道的 zk 挖矿还是有机会。但值得提醒的是 zk 矿机和传统的 PoW 矿机差别还是很大的，因为 ZK 证明系统 / 算法都不一样，可能面临不兼容的问题。（ 来源 ）

1️⃣0️⃣ 【英文】介绍 Cascade：首个支持 IBC 的链间 SVM Rollup

导读：Cascade 是第一个链间 SVM Rollup，由 Injective 和 Eclipse 开发，使 Solana 开发人员能够无缝将他们的合约和 dApps 部署到 Injective。Eclipse 发文介绍了 IBC 通信协议的特点以及 Cascade 的工作原理。

Eclipse: IBC 的安全模型使其有别于其他通信解决方案。对 IBC 的信任完全依赖于每条链上核心协议的正确执行以及轻客户端对数据的准确验证。不需要额外的信任假设，即使对于负责在链之间传递消息的中继器也是如此。换言之，IBC 更加去中心化，除了部署之外不需要信任假设。

Cascade 是由 Injective 和 Eclipse 开发的第一个链间 SVM rollup。通过使 Solana 开发人员能够将他们的合约和 dApp 无缝部署到 Injective 上，Cascade 扩展了跨链通信的可能性。尽管 Eclipse 不是基于 Cosmos SDK 构建的，但已添加 IBC 支持。Cascade 正在 Injective 测试网上运行，并计划在不久的将来迁移到主网。

我们计划通过为每个 Eclipse Rollup 启动一个权威证明（POA）Tendermint 链，其中包含原始 Rollup 上每个块的 Merklized IBC 状态，这使现有的 Tendermint 轻客户端能够与 Eclipse 汇总无缝协作。将来，我们将去中心化每个 Tendermint 链的验证器集，以便不同的验证器组可以确认状态转换正在被正确计算。【原文为英文】（ 来源 ）