投研早报丨探索去中心化 Prover 市场：设计框架 / 解析意图抽象：如何实现？能带来哪些好处？/ 控制权转移引担忧，WBTC 应如何升级技术解决方案？
ChainFeeds Newsletter 每日精选 Web3 深度投研「简报」+ AI 驱动的热点新闻榜单，帮你做出聪明决策
📢 ChainBuzz 热点新闻 ｜2024.8.13
🔥 Three Arrows Capital 清算人正在向 TerraForm Labs 寻求至少 13 亿美元的赔偿
🔥 Optimism 计划推出 Layer 2 原生跨链互操作性系统
🔥 美 SEC 就 Uniswap 问题向 a16z 和 USV 等风投基金发函
🔥 Stride：向 stDYM 持有者空投的 25 万枚 STRD 将在未来 150 天分发
🔥 开源 AI 平台 Sentient 发布其协议首个版本
🔥 Marathon Digital 拟私募发行 2.5 亿美元可转换优先票据
👨💻 ChainFeeds 投研简报 ｜2024.8.11
1️⃣ 研究｜从 OP_CAT 到状态证明和 BitVM，如何让比特币支持 ZK？
2️⃣ 项目介绍｜Blackbird 的特洛伊木马：把 Crypto 消费类公司变成支付公司，用支付来撬动增长飞轮
3️⃣ 支付｜Web3 支付万字研报：从电子现金，代币化货币，到 PayFi 未来
4️⃣ 研究｜探索去中心化 Prover 市场：设计框架
5️⃣ 观点｜以太坊核心开发者反思：怀疑是否进入了错误的行业
6️⃣ 技术｜控制权转移引担忧，WBTC 应如何升级技术解决方案？
7️⃣ 研究｜解析意图抽象（IA）：如何实现？能带来哪些好处？
8️⃣ 研究｜有关 ZKVM 与 ZK 验证的思考
每日精选的加密信息由 ChainFeeds 团队与 AI 共同编写，我们已将内部的信息流工具优化并开放给所有读者及 Web3 行业者使用，测试链接 👇
🌞 Web3 行研早报来自：Web3 行业必读深度资讯「简报」平台｜chainfeeds.xyz
🤖️ Web3 热点榜单来自：AI 驱动的 Web3 热点新闻自动聚合工具｜chainbuzz.xyz
1️⃣ 从 OP_CAT 到状态证明和 BitVM，如何让比特币支持 ZK？
导读：本文指出了如何让比特币支持 ZK 验证功能，涉及的具体话题包含比特币 UTXO 和脚本在功能性上的缺陷、Taproot 和 OP_CAT 以及 BitVM 和 Chain State Proof 等概念的大致内容。
Janos Nick: OP_CAT 存在于比特币的最初版本中，但这个操作码可以在特定条件下让比特币节点被 DOS 攻击，所以被中本聪禁用，现在比特币社区中有一些人想重新启用它。OP_CAT 的功能是弹出堆栈顶部的两个元素，将它们连接起来，然后再放回堆栈。这听起来简单，但属于底层操作码级别的升级，能给比特币脚本带来巨大的功能改进。OP_CAT 有助于在脚本中验证 SNARK，因为 OP_CAT 可用于验证 Merkle 证明，有助于验证基于 FRI 的 SNARK。过去，涉及 SNARK 验证的脚本程序可能尺寸太大而无法放入比特币区块，有了 OP_CAT 则可以压缩程序大小。
过去 OP_CAT 已经被讨论很多年，越来越多人认识到它在交易检查 (introspection) 中的作用。与其他提案相比，OP_CAT 的优势在于它以前在比特币脚本中存在过，更容易在社区中达成共识。然而，OP_CAT 启用后也可能导致某些人的 MEV 收益受损，所以比特币社区对其还未达成共识。综上，比特币可能会有一个潜在路径，通过启用如 OP_CAT 这样的简单操作码，让大家可以用比特币脚本中验证 SNARK。
BitVM 使得比特币可以验证任何计算任务，是无需变更协议来实现 SNARK 验证的最佳路径。BitVM 使用两种技术绕开了比特币区块对脚本大小的限制。首先，它使用了 Taproot MerkleTree 的脚本结构；其次，它启用了可以跨单个脚本访问的 KV 存储方案，允许连接到超级多的脚本程序。不过，比特币协议不强制保证上述 KV 存储方案的完整性，BitVM 需要通过欺诈证明来检查恶意 Prover，如果 Prover 发布无效声明或有问题的 KV 存储，其他人可以在比特币链上发起一笔交易，表明 Prover 行为不当，并取走其事先质押的资产。（ 来源 ）
2️⃣ Blackbird 的特洛伊木马：把 Crypto 消费类公司变成支付公司，用支付来撬动增长飞轮
导读：7 月，Blackbird 在 Base 上发布 Blackbird Pay，以更低的费率吸引更多商家入驻，结合其积分 FLY 给用户带来更多权益增强忠诚度，Blackbird 则可以从支付和 FLY 网络中捕获价值，实现三方共赢。
starzq.eth: 作为「Web3 大众点评」 ，可以把 Blackbird 理解为 2 部分的组合：餐厅搜寻和预订，会员卡和积分管理。「餐厅搜寻和预订」更偏 Web2 App，Web3 的部分是将会员卡和积分上链：会员卡是 base 上的 NFT，积分是 base 上的 FLY token。两者目前都无法直接售卖，但 FLY 可以用来支付用餐费用。并实现以下 Web3 Utility：餐厅通过 NFT 实现众筹；由于积分上链，任何餐厅都可以知道谁是这个城市 / 区域的优秀顾客，直接建立联系，降低获客成本。
由于链上支付和结算带来的低成本，在计算了信用卡和 FLY 支付的比例后，Blackbird Pay 提供了比行业平均费率 3-4% 更低的支付费率 2%，来吸引商家入驻。这对商家来说是实实在在的成本降低和利润增加。Blackbird 选择了与 Base 和 USDC 合作：
用户可以以 1:100 的比例，用 USDC 在 base 上购买 FLY（或者直接银行卡购买）；
用户在餐厅用 Blackbird 结账时，可以选择使用 FLY 来支付，同时得到 10 倍积分返还；
Blackbird 最后把 FLY 结算为美元给商家。
给传统的餐厅和普通用户教育 Crypto 成本很高。所以我认为 Blackbird Pay 扮演了特洛伊木马的作用，实现了商家、用户、Blackbird 三方共赢，且为整个 Crypto 世界带来新增量：
低费率让商家更愿意接入，在利润增加的同时更有动力提升对应的服务；
各种 FLY 激励和会员计划的引入，给用户带来了更多权益。一方面更多新用户加入，另一方面老用户愿意提供更多消费
订单增加，使得餐厅的收入和利润提高；
FLY 积分增加，再次增强了客户忠诚度和消费，吸引更多餐厅加入，形成一个正向循环；
本质上 FLY 成为了 Blackbird 平台上的稳定币，Blackbird 可以从支付和 FLY 网络中捕获价值；
新用户和新商家不用了解 Crypto 也可以丝滑进入，成为整个 Crypto 世界的新增量。（ 来源 ）
3️⃣ Web3 支付万字研报：从电子现金，代币化货币，到 PayFi 未来
导读：Will 阿望结合对 Web3 支付、RWA 代币化以及金融货币体系的认知，通过 13 个最新的 Web3 支付案例，梳理出从比特币的宏伟愿景开始，到如今代币化浪潮已至的发展脉络，进一步展望 PayFi 如何落地，为 Web3 支付翻开下一个篇章。
Will 阿望: 2008 年，中本聪发布了比特币白皮书 Bitcoin: A Peer-to-Peer Electronic Cash System，提出了一种点对点电子现金支付系统的设想，即电子现金可以基于区块链技术，采用分布式账本，通过非对称加密技术，并结合共识机制实现去中心化的点对点交易，无须任何中立、可信第三方的背书介入。随着以比特币为代表数字货币的普及和数字货币及区块链技术逐步被华尔街传统金融接纳（如 BTC/ETH ETF 通过，贝莱德推出代币化基金 BUIDL 等）一切都发生了变化。比特币电子现金（Electrical Cash）的概念正在早期理想主义者们的努力下变成现实。
代币化货币（Tokenized Money）通常与法定货币（尤其是美元）1:1 锚定，旨在通过保持稳定价值来解决商品服务的支付记账问题。代币化能够让资产获得数字货币和区块链技术带来的巨大潜力。广义上讲，这些优势包括：1）区块链的优势：24/7 全天候可用，数据可用性，即时原子结算；2）代币本身的优势：可编程性，可组合性，接入 DeFi 的能力。当资产代币化大规模推进时，以下优势将愈发凸显：提高资本效率，节省运营成本，无须许可的民主访问，增强合规性、可审计性和透明度，更便宜、更灵活的基础设施。
Web3 支付和 DeFi 的融合催生了 PayFi，Solana 基金会主席 Lily Liu 在香港 Web3 嘉年华上提出 PayFi 的概念：「PayFi 是围绕货币时间价值（Time Value of Money）创建的新金融市场。这种链上金融市场可以实现传统金融无法实现的新金融范式和产品体验。」PayFi 的业务模式可以分为四类：1）支付代币 Token 本身，如代币化美债 / 生息稳定币项目所捕获的美债的时间价值；2）支付融资 RWA，用 DeFi 借贷的资金来解决现实支付交易场景中的融资需求，实现支付融资收益率的上链；3）融合 DeFi 的 Web3 支付创新业务；4）将传统支付业务逻辑搬到链上，实现完整的 Web3 支付逻辑。这其实也是 RWA 代币化的一种形态。（ 来源 ）
4️⃣ 探索去中心化 Prover 市场：设计框架
导读：本文为 ZKRollup Economics 专题研究文章，由 Panta Rhei 核心贡献者 Jason 撰写，分析了去中心化 Prover 市场的优势，并提出设计框架。
0xbbbb.eth: TLDR：
序列器和证明器由同一实体运行被称为 In-house Prover，是中心化的。
不同于 In-house Prover，去中心化 Prover 网络中有多个 Prover（由不同实体控制）。
去中心化 Prover 网络相对于 In-house Prover 有以下好处：
没有单点问题，没有审查问题
通过任务切分提高性能
通过竞争降低证明成本
引入更多的实体投入资源研究 ZK 加速技术
提出了去中心化 Prover 市场的设计框架，规范化了一个正向循环去中心化 Prover 市场的必备条件。
基于设计框架，可以设计出最低限度的正向循环去中心化 Prover 市场，然而这并不足够。需要选择恰当的设计目标进行优化。
去中心化 Prover 市场而言有一些希望达到的理想特性（高效市场，激励相容，抗 Prover 共谋，链下协议）。然而，这些特性很可能无法满足或者同时满足。
实际上，参与者可能会在去中心化 Prover 市场范畴外作恶，即参与者不是为了从去中心化 Prover 市场中获益。针对这样问题，我们需要设计额外的机制去处理。（ 来源 ）
5️⃣ 以太坊核心开发者反思：怀疑是否进入了错误的行业
导读：8 月 5 日晚，或目睹了社区面对行情剧烈波动所表现出的剧烈情绪波动，以太坊核心开发者 Péter Szilágyi 发推感慨怀疑自己是否选错了行业，显露出了对加密行业的深切失望，引发广泛讨论。吴说对原文以及对应重点评论进行编译整理。
Péter Szilágyi: 加密领域所做的一切只是巨大的价值转移，但到目前为止，我没看到任何价值创造。在我看来，是时候让这个行业创造一些真正有用的东西，让人们愿意使用，否则就该关门大吉。至少比特币试图（尽管失败了）成为避险资产。但其他项目都像是在卖铲子的商人，他们并没有真正创造有价值的东西。就像在淘金热中，卖铲子的人并不关心是否有金矿可挖，他们只想从中获利。现实情况是，这些项目并没有提供任何真正的创新或实际价值，只是追求短期的利益和投机机会。
我对以太坊 / 加密货币的抱怨不是为了诋毁它们，而是为了保持对现实的期望。我们最重要的任务是不让那些把积蓄投入这个世界的人受到伤害。其他一切都是次要的。要诚实，承认什么是有效的，什么是无效的，什么已经完成，什么还没有。强调每个部分的风险，包括未来可能永远不会实现的部分。我将始终反对制造狂热，因为我不想看到普通人被一些毫不关心你存在的亿万富翁风险投资人搞垮。是的，我可能永远都是少数派。是的，这可能会让我失去加密货币的多数潜在收益。我认为公平比财务收益更重要。
我绝不是说完全没有有价值的东西被创造出来。但我觉得投机性因素过于占据主导地位，而我们似乎喜欢这种现象，因为它能带来金钱。对于你列举的创造：
稳定币我接受。
借贷需要抵押品，所以要有链上财富才能获得它，对我来说，这并不是真正的赋权。
去中心化交易所：这个在我看来直接属于赌场类。如果我们有许多强势货币，人们真正希望进行兑换，DEX 本来会是必不可少的工具。但目前来看，它更多是关于交易，对我来说现在没有什么实质性意义。
隐私币：它们并不是那么普遍，我们可能会看到针对它们的打压（比如 tornado 等）。我会很高兴看到它们的发展和被接受。
钱包：它只是其余部分的辅助工具，但本身不是一个用例。
Dune/Messari：你可以分析赌场的情况，但这并不会减少其赌场性质。
高 TPS：是的，我们已经达到了这个点，但我们用它来做什么？希望能够将其用于某些实际用途，而不是发布 1000 个 meme 币。（ 来源 ）
6️⃣ 【英文长推】控制权转移引担忧，WBTC 应如何升级技术解决方案？
导读：近期，关于 WBTC 项目控制权转移的问题在社区内引起了广泛的讨论和担忧。Bitlayer 联合创始人 Kevin He 对事件进行回顾，涵盖多方行动和反馈，以呈现事实。作者根据其系统开发的实践经验抽象出了一个简单的 BTC 包装产品的架构和安全模型，随后根据不同技术方案的无需信任的程度进行分类，指出基于比特币原生验证能力的技术方案代表了未来的发展方向。
Kevin He: Wrapped BTC 的商业模式非常简单：
Wrap：代表从 BTC 到 W-BTC 的转换。
Wrap-house：代表封装的运行机制，确保用户存入的 BTC 在账本（通常是区块链，如 ETH）上铸造为相应的 W-BTC，不多也不少。
Unwrap：代表从 W-BTC 到 BTC 的转换。
Unwrap-house：代表解封的运行机制，确保用户销毁 W-BTC 后，有一个机制允许他们在比特币网络上获得 BTC，不多也不少。
无需信任级别的比较：
非无需信任（Non-Trustless）：一个典型的例子是 BitGO 目前的 WBTC，其中 Wrap-house 和 Unwrap-house 的操作由 BitGo Custody 控制。显然，用户需要相信 BitGo 托管服务提供商将始终正确运行。
单向无需信任（Single Way Trustless）：2020 年左右出现的两个代表性项目：tBTC/renBTC。可以看到，在 X 链上（例如，具有完整的验证能力，如拥有 EVM），Wrap-house 可以更容易地实现高级别的去信任化。然而，由于当时的技术限制，Unwrap-house 只能通过门限签名来提高安全性，无论预签名的范围如何。
双向无需信任（Dual Way Trustless）：2024 年，得益于 BitVM/Starkware 等团队在比特币原生验证能力（包括欺诈证明和有效性证明）方面的突破性尝试以及 BitlayerLabs 等社区团队的实际实现，Unwrap-house 有望实现去信任化。其中，欺诈证明以 BitVM 及其衍生项目为代表，无需 OP_CAT 即可实现乐观验证。主流实现是使用 ZK 验证的承诺和挑战过程。另一方面，有效性证明假设 OP_CAT 操作码存在，并直接实现 ZK 验证。
解决方案比较总结：横向比较上述各种技术解决方案可以发现，基于比特币验证能力（validation）的解决方案在两个方向上的去信任化表现都更好。结论：2018 年 WBTC 的出现标志着 BTC 流动性进入 DeFi 世界的开始，后续项目如 2020 年的 tBTC 等都进行了一些优化和改进。以比特币原生验证能力（欺诈证明和有效性证明）为代表的验证技术解决方案在双向去信任方面表现更好。WBTC，是时候升级你的技术方案了！【原文为英文】（ 来源 ）
7️⃣ 【英文长推】解析意图抽象（IA）：如何实现？能带来哪些好处？
导读：意图已经开始面临我们之前在其他方面多次看到的碎片化问题，许多特定于应用程序的意图系统正在出现。因此，我们需要意图抽象（IA），Khalani Network 联合创始人兼 CTO Tak Boglantane 撰文进行阐述。
Tak Boglantane: 许多特定于应用程序的意图系统正在出现。它们在很多方面都有所不同：意图数据类型、如何确保与意图相关的资产安全、如何选择交易对手、如何验证履行情况、如何结算。由于意图系统的定制性质，我们有以下几点观察：
求解器在不同的意图应用程序或一小组意图应用程序中变得碎片化。
应用程序变得碎片化，因为意图应用程序的互操作性要求升级应用程序的上述许多方面。
跨意图应用程序组合意图是不可行的，因为这还需要验证者组合，这需要求解器协作 / 互操作性。
意图抽象（Intent Abstraction）解决了这个问题。IA 可以通过任何满足以下条件的系统来实现：
提供作为意图抽象的意图类型的统一表示（极端情况下，这种表示就是「广义意图系统」）；
聚合求解器网络，使所有求解器都能支持转化为 IA 更通用意图结构的任何意图；
聚合结算目的地和结算系统，使意图解决方案能够通过正确的系统进行路由；
IA 将求解器的发布、选择、验证和执行转化为意图本身的可定制维度。结果是：
为意图应用程序及其终端用户提供最大的求解器可用性；
求解器盈利能力更强，因为他们可以发现只有同时考虑不同系统的意图时才可能出现的填补机会；
更好的用户体验，因为用户层面的意图可以表达任何单一意图应用程序都无法支持的内容，但它们的某些组合可以。
更好地采用意图应用程序、结算系统和求解器服务。
减少开发人员的工作量，缩短上市时间。
简而言之，IA 消除了对意图应用程序进行垂直整合的需要，因为它将意图应用程序基础设施的每个组件都转变成了与意图无关的基础设施。这就是为什么我对正在出现或扩展的基础设施感到如此兴奋，这些基础设施可以处理意图供应链中的一个或另一个核心部分，从而使意图应用开发人员不必这样做。【原文为英文】（ 来源 ）
8️⃣ 【长推】有关 ZKVM 与 ZK 验证的思考
导读：目前，几百张 GPU 机器就足以维持一个基于 ZK 的 L2 的日常业务。那么，ZK 加速还要加速什么，哪些值得加速，ZK 赛道的瓶颈到底在证明的生成还是验证？这会带来哪些生态影响？加密研究员 Miles 撰文分享自己的理解。
Miles: 过去，ZK 解决方案更多是基于电路的。你必须使用一种语言构建自己的电路，解决方案只能适用于一个特定程序，这种方式既混乱又困难且昂贵。StarkWare 是这一领域的先驱。如今，拥有通用的 ZKVM。程序员不需要学习任何新的电路语言，也不需要学习如何构建电路，只需编写 Rust 代码即可。RISC Zero、Succinct 的 SP1 和 Nexus 等都很出色。
ZKVM 的项目有很多，但是我觉得未来所有证明聚合系统都将依赖于基本的 RISC-V ZKVMs 或某种基于 Rust 的 ZKVMs。因为有太多的证明系统了，通过使用 RISC-V 证明，我们就可以随意合并任何证明，制作相应的递归证明或聚合证明，即将验证多种不同类型 ZK 证明的复杂问题简化到只需要验证 Rust 证明，一旦你验证了 Rust 证明，就能够通过 Rust 验证所有其他证明。
在以太坊上验证证明实际上是非常昂贵的，且不支持大容量。Aligned 联合创始人 MauroT 坚信，在 ZKVMs 和所有 ZK 系统成熟之后，接下来要解决的最大问题实际上是验证，这样才能解锁更多用例，并让更多人实际使用这些系统。在以太坊上有两种实现快速且低成本验证的方法：1）证明聚合（提高验证效率的方法之一）；2）在 EigenLayer 上实现 ZK 验证层（低成本、可扩展）（这是 Aligned 正在采用的方式）。
这引发了一些讨论：Omar（来自 ZKsync）表示，ZKsync 的成本中只有 5% 与验证相关，95% 与生成证明的硬件成本相关，而 ZKsync 最近正在进行他们的 Prover Market 的探索与思考；Heslin Kim（来自 Gevulot）则持不同观点，他认为验证不是瓶颈，真正的瓶颈在于证明生成和硬件。而事实上，ZK 的硬件或者证明生成赛道，也有知名的项目方正在蓬勃发展：Cysic、Ingonyama、LAGRANGE 等。（ 来源 ）
