PRO 前沿｜全面评估 tBTC 抵押品风险、无状态引入以太坊的最新技术消息
以及关于比特币脚本更改的持续讨论、双向注资的闪电通道等
欢迎阅读第二十九期 ChainFeeds PRO Newsletter。本次内容将包含评估 tBTC 作为潜在抵押资产的可行性、无状态引入以太坊的最新消息，以及每周更新内容：比特币协议进展、以太坊治理相关、链上数据、最新研究和进展，和最新论文。
重点
Collateral Risk Assessment: Threshold BTC (tBTC)
LlamaRisk 分析 Threshold Network Bitcoin（tBTC）作为潜在抵押资产的可行性，重点评估与 tBTC 相关的风险，以确定其是否适合作为抵押资产。tBTC 是比特币和以太坊之间的一个可扩展和无权限的桥梁，允许用 BTC 交换 tBTC 访问以太坊 DeFi 而无需依赖中介。分析将采用定量和定性方法，将识别的风险分为三个主要领域：
市场风险 - 与市场流动性和波动性相关的担忧。
技术风险 - 与智能合约、依赖关系和预言机价格源有关的考虑。
对手风险 - 与治理、中心化潜力以及法律/监管因素有关的方面。
结论：
流动性方面：tBTC 评级为「一般」，因为其流动性还在启动阶段，大部分供应被用作 crvUSD 的抵押，而 DEX 流动性高度集中在 Curve 池中。确保在各种市场条件下都有足够的流动性以促进清算是最紧迫的问题。
波动性方面：tBTC 评级为「良好」，因为它采用无需许可的铸造/赎回机制，促进套汇，同时自 2023 年 7 月激活赎回以来，tBTC 表现出了强大的价格稳定性。
智能合约和依赖性方面：tBTC 评级为「一般」，因为协议仍在逐步推出中，可能涉及协议设计的进一步更新。此外，tBTC 包括重要的链下流程，这引入了系统的复杂性。虽然有 Curve EMA 预言机可用，但尚无 Chainlink 预言机。
去中心化方面：tBTC 评级为「良好」，因为它重视无需许可的访问、去中心化桥接网络以及有着走向链上治理的计划。
法律方面：tBTC 评级为「一般」，因为法律结构设在重要的司法辖区，尚未出现对 Threshold 的执法行动。
Verkle Implementers Call：无状态引入以太坊的最新消息
以太坊基金会成员 joshrudolf.eth 总结 10 月 31 日 Verkle Implementers Call （定期讨论 Verkle 实施）会议摘要：
Kaustinen 测试网的重新启动：新的测试网 Kaustinen 已经上线，共有 4 个客户端参与。Verkle 的性能正在与当前的 Merkle Patricia Tree 竞争，并且即将推出的 shadowfork 项目用于验证假设。
客户端更新：各个客户端团队都在积极地推动 Verkle 的集成，包括 Geth、Lodestar、Nethermind、Besu 和 Nimbus 等。测试网 Kaustinen 中已经提供了一些关于性能的有用数据，尽管目前负载还不够大。
转换策略：讨论了从 Merkle 到 Verkle 的状态迁移策略，一致认为每个区块作为单位更为简单和适用，特别在重新组织时更为合理。
密码学证明中的后状态：讨论了在密码学证明中包含后状态值的合理性，决定不再需要后状态的证明，因为根本上信任了状态根。
Verkle 证明验证预编译：提到了一个新的 EIP，用于添加预编译以验证 Verkle证明，以降低应用程序采用 Verkle 时的障碍。这将有助于支持不同 EVM 链之间的桥接。
比特币协议进展
Bitcoin Optech Newsletter #275
关于脚本更改的持续讨论：
Covenant 研究：Covenant 是对比特币共识规则的一类拟议变更，它允许脚本阻止授权花费者向某些特定的脚本进行支出。Anthony Towns 对 Rusty Russell 的帖子进行了回复，比较了 Russell 的方法与其他契约式金库（vaults）的方法，认为 Russell 的方法不够吸引人。Russell 在进一步的回复中指出，金库的设计有不同的方式，而且金库在本质上不如其他交易类型优化，这意味着对于金库用户来说，优化并不是关键问题。他认为 BIP345 金库的方法更适合用作地址格式而不是一组操作码，BIP345 更像是一个为特定功能设计的模板（类似于 P2WPKH），而不是一组为特定功能设计但可能与脚本的其余部分以不可预料的方式互动的操作码。
OP_CAT 提案：OP_CAT 在比特币早期版本中可用。它被禁用是因为它允许构建一个脚本，而脚本的评估会产生与脚本大小成指数关系的堆栈元素。多人回复了 Ethan Heilman 关于提出 OP_CAT BIP 的帖子。在一些回复中，提到了关于 OP_CAT 是否会受到堆栈元素大小限制为 520 字节的担忧，Peter Todd 描述了一种在未来软分叉中提高限制的方法，而不需要额外的 OP_SUCCESSx 操作码。不足之处是，在提高限制之前，所有使用 OP_CAT 的脚本都需要包括一些已经可用的操作码。
可以开启闪电通道的 WabiSabi Coinjoin 会是什么样？
Wasabi Wallet 的 WabiSabi CoinJoin 协议目前尚未集成闪电网络，但如果支持闪电网络，它可能会带来以下变化：
优化用户体验：支持闪电网络的 WabiSabi CoinJoin 可以使用户更轻松地进行即时、低成本的比特币交易，提高用户体验。
合并操作：当前，要开启闪电通道需要进行两个独立的步骤，即进行 CoinJoin和通道开启，这会产生多个不必要的链上交易。支持闪电网络的 WabiSabi CoinJoin 可能将这两个步骤合并，减少链上交易数量，降低交易费用。
隐私性提升：WabiSabi CoinJoin 已经具有良好的隐私性，与闪电网络结合可以进一步提升隐私，因为闪电通道本身也提供了一定的隐私保护。
减少链上交易：支持闪电网络的 WabiSabi CoinJoin 可以减少链上交易的数量，从而减轻比特币网络的负担，提高可扩展性。
更多隐私 UTXO：支持闪电网络的 WabiSabi CoinJoin 可以使更多的隐私 UTXO 用于开启通道，提高用户的隐私保护。
何为 “双向注资的闪电通道”？
传统的闪电通道是单向注资的，导致通道不平衡，只有一方可以支付，而另一方只能接收支付。这对用户来说是不便的，特别是对于想要接收支付的商家。双向注资通道允许通道的两方同时提供资金，解决了不平衡问题。它带来了以下好处：
减少支付时延：双方可以立即发起支付和接收支付。
提供更多选择：商家和用户可以根据需要提供不同数量的资金来建立通道，并获得入账流动性。
降低流动性成本：双向注资通道的链上手续费较低，使添加流动性更加便宜和高效。
以太坊
治理重点
This Week in Governance - November 2: Bridges, Pitches, and Investments
LayerZero 回应 Lido DAO 关于跨链桥的反对意见：LayerZero 已经实现了在以太坊、Avalanche 和 BNB 之间的 wstETH 本地代币跨链桥，但由于 Lido DAO 的强烈反对，暂时取消了与 Scroll 桥接的计划。原计划中，LayerZero 打算在多个区块链之间提供无缝桥接体验，并在 L2 之间实现水平组合性，同时也将相关合约的所有权授予 Lido DAO。
Arbitrum Coalition 寻求资金资助提案：Arbitrum Coalition 是一个最初由 Blockworks Research、Gauntlet 和 Trail of Bits 组成的联盟，该联盟旨在代表 Arbitrum DAO 执行研发工作。该提案旨在资助 Arbitrum 联盟以协助 Arbitrum DAO 将社区想法变为现实。该联盟旨在简化 DAO 提案的研究、协调、设计和风险评估，并帮助代表们做出明智的决策。提供各种服务，包括提案审查、代码安全评估、定量分析和风险监控。该提案的成本估计约为每年大约 220 万 ARB，付款将分配给联盟的各个成员。
Arbitrum 启用 ARB 质押：该提案建议为 ARB 创建一个质押机制，并请求从Arbitrum DAO 储备中分配 1.75%、1.5%、1.25% 或 1% 的总 ARB 供应，通过这一机制在 12 个月内分发。这一质押实验旨在增加 ARB 的实用性并激励长期持有者，还概述了质押者的可能年化利率和罚款制度。
其他研究和进展
opML is All You Need: Run a 13B ML Model on Ethereum
0x1cc 介绍了在以太坊上进行 ML 和 AI 计算的两种主要方法：
zkML（零知识机器学习）：zkML 使用零知识证明来验证在以太坊上生成特定 ML 模型输出的使用情况。这涉及实施特定的 ZK 电路或在 ML 模型中添加 ZK，面临与证明开销、延迟和成本相关的挑战。由于存在一些限制，zkML 不适用于像 GPT3.5 这样的大型模型。
opML（乐观机器学习）：opML 使用一种乐观的验证机制，以实现区块链上的 ML。它在需要时执行 ML 推理计算并仅在挑战时生成证明，解决了 zkML 的计算开销问题。opML 允许在普通 PC 上运行大型模型而无需 GPU，并提供高效的 ML 证明。
RFC: Deep dive into snap sync for rollups
LimeChain 联合创始人 Perseverance 提出了一种名为「Snap Sync」的概念，灵感来源于 L1 的相似过程。Snap Sync 旨在让 Rollup 节点通过获取其他系统角色的预处理信息来进行同步，同时进行自身验证。
Snap Sync 的概念包括以下四个阶段：
同步节点记录 L1 智能合约的最近已确认区块以及其区块哈希/状态根。
节点连接到一个或多个对等节点，并下载在步骤1中记录的已确认区块的状态。
节点验证区块哈希/状态根与步骤 1 中记录的一致。
节点继续同步从 L1 获取的后续已确认区块和虚拟状态。
The Influence of CeFi-DeFi Arbitrage on Order-Flow Auction Bid Profiles
dataalways 分析了 2023 年 1 月 1 日至 9 月 30 日之间，以太坊 MEV 生态系统中不同建设者的行为，得出集成构建者（builder-searchers）赢得了 41% 的 OFA（Order-Flow Auction），在前 2,500 个高波动性 slot 中占据了 65% 的份额，并且这一份额随时间增加。集成构建者的出价遵循两阶段非线性曲线，直到规范块时间前的瞬间才出价最高。而非集成构建者则遵循更线性的出价曲线。研究检验了 MEV 燃烧提案的有效性。发现当前提案下，燃烧规模由非集成构建者决定，而区块价值的大部分则在决定燃烧后由集成构建者产生。
MEV相关
The MEV Letter #14
Flashbots 团队推出垂直于 MEV 研究领域的 Newsletter，以下是一些重点摘录：
文章《Ending LP’s Losing Game: Exploring the Loss-Versus-Rebalancing (LVR) Problem and its Solutions》探讨了 LVR 问题对 LP 的负面影响，并概述了潜在的解决方案。
文章《Eliminate the cost of on-chain trading》描述了如何使用意图、求解器和 P2P 交易来更接近市场价格结算交易，降低与传统 DEX 相比的费用。
文章《Will MEV mitigation destroy on-chain liquidity?》探讨了如何在应用中引入 OFA 和意图等机制来减轻 MEV 的影响。
文章《Dominance, Speed, and Million$ Moments: The Vyper Exploit’s Liquidity Scramble in the MEV Battlefield》 探讨了 MEV 机器人在像 7 月 30 日的 Vyper 攻击这样的混乱事件中的行为。
播客《Scraping Bits: The MEV Monopoly: Flashbots’ Block Builder Future + Account Abstraction》 邀请 Brock Smedley 讨论MEV、账户抽象、订单流等话题。
视频《Node Operator Community Call #11》邀请 Titan Builder 展示他们用 Rust 编写的新型模块化 MEV-Boost 中继的相关信息。
📑论文
Student Certificate Sharing System Using Blockchain and NFTs（使用区块链和 NFT 的学生证书共享系统）
作者来自：University of Saskatchewan
作者提出了一基于区块链的证书共享系统，旨在赋予学生对其学术证书的控制和管理权。该系统的核心策略是开发基于区块链的 NFT 证书，允许学生使用区块链地址与机构或雇主分享其学术证书。学生可以在单一平台上访问由各个学院创建的数据，根据自己的需求筛选相关课程，并将其证书元数据铸造成 NFT。通过这个系统，学生可以在一个地方管理和验证来自多个机构的学术证书，同时使用数字签名和哈希来保护数据，以防止未经授权的访问，确保数据的安全性、可追溯性和保密性。
BDTS: Blockchain-based Data Trading System（BDTS：基于区块链的数据交易系统）
作者来自：Renmin University of China、University of Notre Dame
在数据交易中保证卖方和买方之间的公平性是一项具有挑战性的任务，因为任何参与方的欺骗行为都是无风险的。作者介绍了一种名为 BDTS 的基于区块链的数据交易系统。BDTS 实施了一个公平交换协议，其中善意行为将得到奖励，而不诚实行为将受到惩罚。该方案要求卖方提供正确的加密密钥以确保数据的正确执行，并鼓励理性的数据执行者为了获得最大的奖励而忠实执行任务。每个参与方都在自身最大利益的前提下做出决策。（本文最早发表于 2022 年 11 月 18 日，在 2023 年 10 月 31 日更新了 V1 版）
Sui Lutris: A Blockchain Combining Broadcast and Consensus（Sui Lutris：结合广播和共识的区块链）
作者来自：University College London
作者介绍了一个名为 Sui Lutris 的智能合约平台，它实现了可持续的亚秒级最终性。通过采用无共识协议来实现交易的高效确认，不仅适用于简单的支付交易，还适用于多种类型的交易。与以往不同的是，Sui Lutris 既不牺牲了表现力，也不影响吞吐量，并且可以在不重启的情况下持续运行。Sui Lutris通过安全地将无共识协议与高吞吐共识协议集成在一起来实现这一目标，高吞吐共识协议在关键的最终性路径之外被调用，但确保当交易面临不一致的并发访问风险时，其结算会延迟，直到总排序得以解决。
Survey on Quality Assurance of Smart Contracts（智能合约质量保证调查）
作者来自：University of Auckland
作者对智能合约的质量保障进行了系统性概述，包括漏洞、攻击、防御和工具支持。通过根据已知攻击对漏洞进行分类，识别需要解决的模式和常见弱点。此外，为了有效保护智能合约，作者创建了一个标记数据集来评估各种漏洞检测工具并比较其有效性。（本文最早发表于 2023 年 11 月 1 日，在 2023 年 11 月 2 日更新了 V2 版）
Proof-of-Work-based Consensus in Expected-Constant Time（在预期恒定时间内基于工作量证明的共识）
作者来自：University of Edinburgh
传统共识问题需要较多轮次，但在区块链中，特别是在无需许可环境中，需要更快的共识来处理交易。作者提出了一种在比特币等工作量证明区块链中只需要预期恒定轮次的共识协议。这个新协议通过并行链和一种名为「m-for-1 PoWs」的新方法，实现了更快的共识，使交易能够在极短的时间内得到确认。