PRO 前沿｜意图驱动的 Web3 Landscape、OPML：链上 Optimistic 机器学习
PRO 前沿｜意图驱动的 Web3 Landscape、OPML：链上 Optimistic 机器学习
比特币网络的交易包转发、链上隐私保护和防止量子计算攻击等
欢迎阅读第十七期 ChainFeeds PRO Newsletter。本次内容将覆盖解码意图 Landscape、在区块链上使用 Optimistic 方法进行机器学习的方法 OPML，以及每周更新内容：比特币协议进展、以太坊治理相关、链上数据、最新研究和进展，和最新论文。
重点
Decoding Intents: Revolutionizing Web3 User Experience and Orderflow in Blockchain
SevenX Venture 研究员 Grace Deng 全面解读了意图。Web3 的未来在于采用一种意图驱动的方法，用户可以直接表达他们的愿望，而平台则利用求解器来有效地实现这些意图。这种以意图为中心的模式有以下几个优点：
用户友好体验： 意图驱动的交互方式简化了用户体验，允许用户直接表达他们想要的结果，而无需担心底层技术的复杂性。
有条件的授权： 用户可以批准特定的意图，而不是一揽子代码授权，确保只有在实现预期结果时才会释放资产。
竞争性求解器：在意图主导的世界里，各种求解器为实现用户意图而竞争，从而提高了效率和执行力。
民主化和访问： 通过简化交互和消除技术障碍，web3 更容易被更广泛的受众所使用，从而促进大众应用。
通用化意图： 更通用的意图基础架构，允许跨领域和无权限的交互。
意图驱动的 web3 图景上游是提供底层基础，中游为实现用户意图提供解决方案，下游则是最终的应用层和用户。目前，Cow Swap、1inch Fusion、UniswapX、Account Abstraction (AA)、Flashbots SUAVE 和 Anoma 等解决方案已经在探索不同类型的意图和求解器。随着这种以意图为中心的方法的发展，有望彻底改变 web3 生态系统中的订单流模式。
OPML: Optimistic Machine Learning on Blockchain
OPML（Optimistic Machine Learning）也称为 FPML（其中 FP 指欺诈证明）是一种在区块链上使用 Optimistic 方法进行 AI 模型推理和训练/微调的方法。与 ZKML（零知识机器学习）相比，OPML 提供了低成本、高效率的 ML 服务，可以在普通 PC 上运行 OPML 的大型语言模型。它利用与 Truebit 和 Optimistic Rollup 系统类似的验证博弈来实现关于 ML 服务的去中心化和可验证的共识。该过程始于请求者发起一个 ML 服务任务，服务器执行任务并将结果提交到区块链上，如果有一个验证者认为结果不正确，将与服务器进行验证博弈，通过指出一个具体的错误步骤来反驳这一说法。然后在智能合约上进行仲裁。
比特币协议进展
Bitcoin Optech Newsletter #262
定期 LN 规范会议记录：Carla Kirk-Cohen 在 Lightning-Dev 邮件列表中宣布，最近讨论闪电网络（LN）规范变更的视频会议的文字记录现已在 Bitcoin Transcripts 上发布。此外，LN 开发者现场会议之后，Libera.chat 网络上的 lightning-dev IRC 聊天室与 LN 相关的讨论活动有所增加。
MuSig2 盲签名安全性：Tom Trevethan 在 Bitcoin-Dev 邮件列表上发帖，寻求对用于状态链部署的加密协议进行审查。该协议旨在允许一项服务创建一个 MuSig2 部分签名，而不需要知道它在签名什么或它的部分签名是如何使用的。讨论探讨了与该问题相关的各种构造中可能存在的隐患，并涉及了 blind schnorr signing.。
系列文章之等待确认（九）：交易池规则新提议
在比特币交易中继网络中采用如锚点输出和 CPFP carve out，以确保通道双方可以在不需要协作的情况下对共同的承诺交易进行费用提升。然而，这些方法还存在一些限制，例如锚点输出会绑定通道资金，承诺交易费率较高等。所以便有了交易包中继（package-relay）、包 RBF 和临时锚点等解决比特币的交易中继网络中一些限制和攻击问题的方案，以改进锚点输出和处理交易费用提升的机制。然而，现有的规则和限制可能不足以满足交易中继的广泛需求，因此一些新的规则和提议被制定，如 V3交易中继规则和临时锚点。这些规则试图改进锚点输出和交易包中继的性能。
针对闪电通道的攻击与交易包转发提议
比特币的设计哲学强调绝不牺牲安全性，并将安全性和稳定性置于首位。为了实现更多功能、可扩展性和隐私性，比特币开发者正在尝试引入 L2 协议，如闪电网络。然而，L2 协议中存在交易转发的审查攻击漏洞，可能导致资金损失。为解决交易转发中的攻击问题，作者提出了交易包转发作为 L1 交易转发策略升级。交易包转发将多笔交易形成一个包裹，作为衡量的单元，从而让合约协议可以在广播的时候调整手续费，加强 L2 协议的安全模型。
以太坊
治理重点
This Week in Governance - Aug 3
Aave DAO 就 Vyper 漏洞后 CRV 市场的应对措施展开讨论：风险管理公司 Chaos Labs 和 Gauntlet 等论坛参与者讨论了多种策略，包括冻结 Aave v2 上的 CRV、调整贷款-价值比和清算参数，并探索场外交易和场外交易协议。目前，在 Aave v2 以太坊上设置 CRV LTV 置为 0 的提议正在进行中。
Optimism 针对 RetroPGF Round 3 详细说明了投票徽章的分发方式：共有 208 名社区成员将获得投票徽章。RetroPGF 2 的每个持有者将获得一个新的徽章，并有权将其分发给另一个社区成员；RetroPGF 2 的前 50 名接受者也将有权分发一个徽章；Optimism 基金会本身将分发 10 个徽章。
BitDAO 讨论 Mantle Economics Committee 和 ETH 质押策略：旨在在 Mantle 治理内部设立一个专门的子治理机构，名为 Mantle Economics Committee。该委员会的主要职责将是评估并决定 Mantle 财务资产的分配，重点关注风险规避和保守策略，并有权进行商业谈判，决定策略的进出时机和规模，包括特定的 ETH 质押规定。投票将于 8 月 5 日截止。
Aave 计划取消 Llama 现有的服务流，并创建一个为期 45 天的临时服务流：Zeller和 ACI 建议取消 Aave DAO 对 Llama 的服务流，原因是多次性能不符合预期，包括一次延迟导致 DAO 损失约 100 万美元，以及未能确保足够的支付余额。通过终止与 Llama 的合作，DAO 财政可以节省高达 24 万美元，用于其他项目的重新分配。投票预计将于 8 月 4 日启动。
其他研究和进展
FHE-DKSAP: Fully Homomorphic Encryption based Dual Key Stealth Address Protocol
作者提出了一种名为 FHE-DKSAP（完全同态加密双钥隐身地址协议）的新设计，旨在加强区块链交易中的隐私保护并防止量子计算攻击。其主要目标是防止将区块链交易与收件人的钱包地址公开关联，使交易更加安全和私密。FHE-DKSAP 协议利用完全同态加密（FHE）技术对密码文进行计算，而不对其进行解密。这样就能对加密数据进行安全、私密的计算，确保收件人的私人信息始终受到保护。通过使用 FHE，FHE-DKSAP 可以用 FHE 替代 EC（椭圆曲线），从而提高安全级别，并使其能够抵御量子计算攻击。
Enhancing Stateless Witness Generation for Efficient Verification in Ethereum
作者所提出的解决方案旨在实现区块的无状态验证，允许客户端验证单个区块，而无需完整的状态。通过利用状态持有节点生成的紧凑型见证文件来实现的，其中包含所访问状态数据正确性的 zk-SNARK 证明。使用 zk-SNARK 证明可确保紧凑性，提高资源利用率，并增强隐私性。为了提高证明文件的生成效率，作者建议采用聚合子向量承诺技术。为了支持交叉分片交易，引入无状态轻客户端，可以从多个分片中检索和验证证明文件。
MEV 相关
The MEV Letter #3
Flashbots 团队推出垂直于 MEV 研究领域的 Newsletter，以下是一些重点摘录：
《PEPC FAQ 》深入探讨了 PEPC 的理念和架构，以及它与 Eigenlayer、SUAVE 和 ABCI++ 的比较。该文章还介绍了两种新设计： 使用 PEPC 的协议内 MEV 捕捉和使用 PEPC-Boost 的协议外 PEPC。
《Intent-Based Architectures and Projects Experimenting with Them》概述了基于意图架构的项目，这些项目使用户能够表达他们所期望的结果，而不是指定每笔交易。
《Curve Pool Reentrancy Exploit Postmortem July 30th, 2023 》介绍了 Vyper 编译器（某些版本）中的重入性漏洞，该漏洞导致 4 个 Curve 池在 7 月 30 日被耗尽。该漏洞导致通过 MEV-Boost 向提案者支付了 7186 ETH 。
《Should builder discard failed transactions from bundles when they’re specified as reverting transaction hashes? 》就 Flashbots builder 是否应该在指定为还原事务哈希值时从捆绑包中丢弃失败事务征求社区反馈。
The MEV Workshop at the Science of Blockchain Conference 2023 (MEV-SBC ’23) MEV-SBC 研讨会将于 8 月 31 日在斯坦福大学举行。该活动将重点介绍过去一年中重要的 MEV 研究，并提出新的研究问题，供社区考虑。
📑论文
Game Theoretic Modelling of a Ransom and Extortion Attack on Ethereum Validators（针对以太坊验证器的赎金和勒索攻击的博弈论模型）
作者来自：University of London Egham、Oxford Brookes University
在以太坊的 Proof-of-Stake 共识机制中，如果攻击者威胁到一组验证者并控制了他们，那么这些验证者可能会被迫支付赎金。攻击者可以利用博弈论来研究如何迫使受害者支付赎金，例如通过部署智能合约来提供攻击者和受害者之间的共享可信根。该论文的博弈论模型得出结论，由于验证者缺乏系统性的保护措施，他们有充分的动机全额支付赎金。在这种攻击中，财务风险完全转嫁给了验证者，除了屈服（支付赎金）外，他们几乎没有其他可以采取的缓解措施。
Oracle Counterpoint: Relationships between On-chain and Off-chain Market Data（Oracle Counterpoint：链上和链外市场数据之间的关系）
作者来自：Coinbase
作者研究了在区块链上的市场活动与加密货币链下市场（例如 ETH/USD 价格）定价之间的理论和实证关系。动机是开发使用原则上可在链上验证的数据和计算方法来代理链下市场数据，并提供替代的区块链价格预言机的方法。研究涉及了 PoW 挖矿、PoS 验证、区块空间市场、网络去中心化、使用和货币速度，以及链上的自动化市场制造商（AMM）等方面的关系。研究发现大量的定价信息包含在链上数据中，但通常很难在不重新训练模型的短时间尺度上恢复精确的价格。
（本文最早发表于 2023 年 3 月 8 日，在 2023 年 7 月 27 日更新了 V2 版）
Smart Contract Migration: Security Analysis and Recommendations from Ethereum to Arbitrum（智能合约迁移：从以太坊到Arbitrum的安全分析和建议）
作者来自：Salus Security
作者对以太坊和 Arbitrum 在消息传递、区块属性、合约地址别名和燃料费用等方面的差异进行了深入研究。研究结果表明，在从以太坊迁移到 Arbitrum 的过程中存在一些安全问题，例如顺序器异常操作导致过时的链下数据检索、基于时间的逻辑错误、权限检查失败、DOS 攻击以及由于 L1 到 L2 交易失败导致的燃料损失。
Bitcoin Gold, Litecoin Silver:An Introduction to Cryptocurrency's Valuation and Trading Strategy（比特币黄金、莱特币白银：加密货币估值和交易策略简介）
作者来自：Duke Kunshan University
过去，黄金被视为卓越的价值储存资产。随着金融世界的演变，加密货币的出现引入了一种新的价值和交换方式。然而，这些数字资产作为价值储存的特性仍然尚未完全探索。该研究采用了多种指标，包括未花费交易输出（UTXO）、已花费交易输出（STXO）、加权平均寿命（WAL）、CoinDaysDestroyed (CDD) 和公开的链上交易数据，来验证比特币和莱特币的黄金和白银类比。此外，研究还设计了以价格与效用比率（PU）为核心的交易策略，为加密资产的估值提供了传统工具之外的新视角。回测结果展示了比特币和莱特币的交易指标，强调了比特币相对于莱特币的卓越价值储存属性。
Post Quantum Fuzzy Stealth Signatures and Applications（后量子模糊隐形签名和应用）
作者来自：Helmholtz Center for Information Security
作者研究了基于区块链的加密货币中的隐私支付问题，并介绍了一种称为 SPIRIT 的高效后量子安全隐秘签名构造。SPIRIT 通过利用密码学抽象和游戏定义，提供了一种改进支付隐私性的解决方案。与现有技术相比，SPIRIT 在签名大小上有着显著改进，同时签名和验证的效率保持很高。此外，论文还扩展了 SPIRIT 的功能，实现了模糊跟踪功能，允许用户将跟踪外包给服务器，同时引入了一种可扩展的模糊跟踪框架。
Reducing Latency of DAG-based Consensus in the Asynchronous Setting via the UTXO Model（通过 UTXO 模型减少异步设置中基于 DAG 的共识的延迟）
作者来自：The University of Tokyo
作者研究了基于有向无环图（DAG）的共识算法，针对现有协议存在的高交易延迟和验证交易结果成本高的问题，作者提出了一种名为「Board and Clerk」的新型共识算法，可以将大约 50% 的交易的延迟减少一半。此外，为了解决验证交易结果成本高的问题，论文提出了 Hyper-Block 模型，并采用了两种灵活的提议策略：阻塞和非阻塞。使用这些策略，每个节点首先预测自己的提议如果被确认的话交易结果会是什么，并将该结果打包作为提议的一部分。超级块将提议的签名和共识层的输出打包在一起，以证明交易结果。