欢迎阅读 ChainFeeds PRO #58 。本次内容将包含 Paradigm 发布 Alloy 0.1 版本新功能介绍、以意图为中心的应用中模糊匹配和需求合成问题的解决发案,以及每周更新内容:比特币协议进展、以太坊治理相关、最新研究和进展,和最新论文。
重点
Releasing Alloy
一年前 Paradigm 宣布了 Alloy 项目,旨在重写与 EVM 区块链交互的底层构建模块。今天发布了Alloy 0.1 版本,包含了所有必要的工具和多个 API 改进。Alloy 是一个用于与 EVM 区块链交互的全新底层库,随着 Alloy 的发布,官方宣布将停止维护 ethers-rs,并鼓励用户转移到 Alloy。
新功能介绍:
重新设计的 Provider Middleware 架构:Alloy 引入了三个可重写的抽象层(Transport Layers、Provider Layers、Fillers),使得 RPC 客户端库的扩展更加模块化和灵活。
RPC 类型抽象:Alloy 定义了 Network trait,支持多链环境,避免了 ethers-rs 中对于 Celo 等其他网络类型支持的复杂性。
sol macro:新的 sol macro 替代了之前的 abigen macro,生成与合约 ABI 的类型安全绑定,并支持自定义类型和 JSON RPC 绑定。
The hard problem of fuzzy matching & requirement synthesis
Anoma 联合创始人 Christopher Goes 讨论了以意图为中心的应用中解决模糊匹配和需求合成的难题。模糊匹配指的是识别用户用自然语言描述的产品需求是否相似。需求合成则是将两个「足够相似」的用户意图进行组合,保留每个意图的基本需求。
Christopher Goes 一处三种方法来讨论具体实现的可能性:
用户构建并共享特定产品本体,定义标准化的特征、属性和合成规则。例如,「智能手机」可以作为一个类别,「重量」和「电池寿命」可以作为标准化属性。意图可以直接使用这些特定本体编写,或者通过大模型从自然语言描述转换(然后显示给用户确认)。求解器(以及潜在的产品生产者)可以使用合成规则来确定如何组合需求。
专注于自然语言描述的组合问题,最终生成一个合成意图,该意图以自然语言描述要生产的产品。在这种情况下,用户可以选择指定的代理人——可能是一个中立方或大模型——来组合意图并生成合成的自然语言描述,代理人声称这些描述将满足最初表达的需求。
结合方法 1 和方法 2,可能附加额外的激励机制,例如在合成准确性上进行质押,当未来生产后的争议发生时,可以进行惩罚。
比特币协议进展
CLN 的插件架构
roygbiv 介绍了 C-Lightning (CLN) 的插件架构及其实现方式。这是一个用于比特币闪电网络的节点实现,允许用户与闪电网络进行通信。通过插件架构,用户可以为自己的节点添加定制化的功能。roygbiv 建议从源代码编译安装 CLN,并提供了简单安装 Bitcoin Core 和 CLN 的 Docker 软件 ROYGBIV。安装完成后,可以使用 lightningd 命令启动节点。
Cashu:一种以比特币为储备的 ecash 生态系统
Bitcoin Magazine 作者 SHINOBI 介绍了 Cashu,这是一种以比特币为储备的 ecash 生态系统,它具有无需改变比特币协议即可部署的优势。Cashu 使用盲签名机制保护用户隐私,允许用户生成随机数作为 ecash token,并通过盲化因子进行盲化后交给铸币厂签名,使铸币厂无法知道签名内容。Cashu 鼓励通过小型个人铸币厂连接成生态系统,用户可以信任更接近自己社交圈的运营者,减少了对大铸币厂的依赖。并且利用 Nostr 协议,用户可以发现并信任不同的铸币厂,形成一个可靠的声誉系统。用户还可以在多个铸币厂存放资金,通过多路径支付将资金聚合进行支付,分散风险,提高安全性。
Bitcoin Optech Newsletter #308
关于旧版 LND 的漏洞披露:Matt Morehouse 在 Delving Bitcoin 上发布了关于 LND 旧版本(0.17.0 之前)的漏洞披露。LND 通过洋葱加密的数据包传递支付指令和洋葱消息。这些数据包包含多个加密的有效载荷,每个有效载荷的长度可以高达 1,300 字节,而洋葱消息的有效载荷则可达 32,768 字节。该漏洞允许 LND 接受高达 4 GB 的有效载荷并分配相应的内存,从而导致内存耗尽,使一些 LND 节点崩溃或被操作系统终止,甚至可能导致资金被盗。此漏洞已通过将最大内存分配限制为 65,536 字节来修复。建议所有 LND 节点运营者升级到 0.17.0 或更高版本,最好升级到最新版本 0.18.0。
关于静默支付(silent payments) PSBT 的持续讨论:几位开发者继续讨论如何使用 PSBT 来协调静默支付的发送。讨论集中在每个签名者生成一个 ECDH 份额及其正确生成的简要证明,并将其添加到 PSBT 的输入部分。当接收到所有签名者的份额后,这些份额与接收者的静默支付扫描密钥结合,生成实际输出脚本中的密钥。在知道交易的输出脚本后,每个签名者再次处理 PSBT 以添加他们的签名。这整个过程需要两轮签名,但如果整个交易只有一个签名者,则只需一轮签名。参与讨论的开发者对这种方法基本达成一致,但边缘情况的讨论仍在继续。
治理
This Week in Governance - June 21: Tension on Chain
MakerDAO 面临缺乏问责制的问题:GFX Labs 提议解除 Monetalis 在 MakerDAO 担任 Arranger 的职务,因为其在报告和绩效方面反复失职。Monetalis 未能发布 2024 年的必要报告,也未进行年度审计。论坛讨论强调需要改进透明度和治理,建议任命新的 Arranger 来更好地管理 MakerDAO 的资产并提高回报,并表达了对缺乏问责和透明度的失望,指出 Monetalis 在未履行义务的情况下继续收取费用。
ApeCoin DAO 讨论 BANANA Bill 提案:ApeCoin DAO 正在讨论的 BANANA Bill 提案提出创建「Banana Program」以支持 ApeChain 的可持续发展和增长。该计划包括两个部分:商业协议和用户激励。商业协议部分旨在与在 ApeChain 上构建项目的合作伙伴谈判,为 ApeCoin DAO 提供价值;用户激励部分旨在通过奖励用户和鼓励 dApps 的创建来扩大 ApeChain 生态系统。计划的总预算为 1 亿 ApeCoin,并为每个部分和行政费用分配了具体资金。
Aave 的 GHO 跨链提案:该 AIP 提案建议使用 Chainlink 跨链互操作协议(CCIP)将 GHO 稳定币扩展到 Arbitrum 网络。智能合约已经过严格的设计、开发、测试和实施阶段,并通过了 Certora 和 BGD Labs 的安全验证。经过广泛的社区讨论后,该提案概述了 GHO 的跨链部署,随后将提出在 Arbitrum 上配置 GHO 的提案。目的是提高 GHO 的可访问性、交易速度和成本效率,同时开辟新的整合机会。实施涉及在以太坊和 Arbitrum 上部署和配置特定智能合约,DAO 将控制合约的所有权和配置。
Nouns DAO 提议资助公共教育协议:该提案请求 NounsDAO 资助 139,000 美元(40 ETH)用于启动 kiriko.wtf,这是一个全球链上考试协议。该项目旨在重新品牌化 Crypto Learning Club(CLC)并将其 Web3 教育服务扩展到国际市场。此举旨在通过创建公共产品来提升 Nouns DAO 品牌,解决当前 Nouns DAO 金库对技术产品分配有限(2.5%)的问题。Kiriko.wtf 将利用区块链技术促进链上考试,建立用户的信誉和身份。提案概述了分阶段开发计划,包括构建核心协议、客户端应用程序和考试子 DAO,旨在通过长期赞助和捐赠创建一个可持续的生态系统。
以太坊
研究和进展
Slot Inclusion Rates and Blob Market Combinatorics
Evan-Kim2028 对区块市场中 blob 的插槽包含率、提交策略以及市场的组合学就行了分析。插槽包含率这一指标,指的是 blob 被包含在信标链中所需的插槽数量,较低的插槽包含率意味着更快的交易确认时间。虽然理论上 blob 市场并未饱和且基础费用非常低,但是一些如 Optimism 和 Base 表现出异常高的插槽包含率,这可能表明存在因处理延迟而进行的审查行为。然而进一步的分析显示,高插槽包含率主要是由于 blob 生产者之间的竞争,而不是构建者的审查。
不同的 blob 提交策略对插槽包含率的影响。一些参与者可能选择一次提交多个blob,这种策略虽然可以减少总体交易费用(因为合并了多个操作),但可能会导致更长的等待时间,因为这需要更大的插槽空间来处理更大的数据量。相反,提交较少数量的 blob 可以提高包含速度,但每笔交易的成本较高。blob 生产者必须在保持成本效率和交易速度之间找到平衡。
Preconfirmations: On splitting the block, mev-boost compatibility and relays
dpl0a 介绍了 XGA 风格的预确认机制(eXtensible Gas Auctions-style preconfirmation mechanism),这是一种在以太坊网络中设计的特定交易预确认系统。它主要目的是保证交易在一个确定的未来区块中的固定位置被执行。以下是这种机制的主要特点和工作方式:
分区块设计:在这种机制中,一个区块被划分为两个部分,顶部区块(ToB)和底部区块(BoB)。顶部区块保留给传统的 MEV-Boost 构建者使用,而底部区块则是为通过预确认机制拍卖的交易包保留的。
拍卖系统:在预确认机制中,交易包的位置通过一种特定的拍卖格式来分配。这种拍卖是在已知的未来区块中进行的,允许用户为一个或多个固定大小的 gas tokens 竞拍,每个代币代表了一定量的气体使用权。
确保执行:只要在预定的截止时间前提交的交易不回退,它们就能被包含在底部区块中。这样的设计使得用户能够预先知道他们的交易将会被执行,且具体在哪个区块的哪个位置执行。
Fork-Choice enforced Inclusion Lists (FOCIL): A simple committee-based inclusion list proposal
以太坊基金会成员 soispoke 介绍了一种名为 Fork-Choice enforced Inclusion Lists(FOCIL)的新型设计,旨在改进以太坊区块链的交易包含机制,以增强网络的抗审查能力和链中立性。FOCIL 是一个基于委员会的设计,通过三个简单的步骤构建:
验证器选择与本地包含列表的创建:每个时隙(slot),随机选择一组验证器作为包含列表(IL)委员会成员。每个成员根据自己对交易池(mempool)的观察,广播一个本地包含列表(IL local)。
区块提议者的职责:区块提议者收集所有可用的本地包含列表,并将它们整合为一个简洁的汇总包含列表(IL agg),这个列表将被包含在其区块中。
评估者的角色:评估者根据自己对广播的本地列表的观察,评估区块提议者提供的汇总列表的质量,以确保区块提议者准确无误地报告了可用的本地列表。
Blob Usage Strategies by Rollups and Non-rollup Applications
开发者 0xJason 分析了自以太坊 Decun 升级以来到 2024 年 5 月 22 日之间,类型 3 交易在 rollup 和非 rollup 应用中的 blob 使用策略(类型 3 交易只包含对 blob 数据的引用(一个哈希值),而不包含实际的数据内容的交易类型)。报告指出,大约 87% 的 blobs 被 rollup 应用所使用,而非 rollup 应用主要包括 Blobscriptions 和定制类型3 交易。不同的 Rollup 应用根据自身情况选择不同的 blob 使用策略,这些策略考虑了类型 3 交易携带的 blob 数量、blob 利用率和提交频率,以平衡可用数据费用和延迟成本。非 Rollup 应用可以通过类型 3 交易携带的 blob 数量、blob 利用率和提交频率来区分。这些特征有助于识别滥用 blob 的场景,并设计相应的防滥用机制。包含类型 3 交易的区块被重组的概率极低,并且携带更多的 blob 并不会增加区块重组的概率。但这些区块在区块高度上有集群现象。
MEV 相关
The MEV Letter #43
Flashbots 团队推出垂直于 MEV 研究领域的 Newsletter,以下是一些重点摘录:
论文《 Preconfirmations: Credible Promise of Future Execution》 分析了预确认的拟议设计及其对去中心化、MEV 和抗审查的影响。
论文 《Preconfirmations: On splitting the block, mev-boost compatibility and relays》介绍了 eXtensible Gas Auctions,并概述了 XGA 风格的预确认机制。
文章《The Unseen Bidding War That is Happening Every Second》研究了构建者市场的动态以及构建者为赢得拍卖而采取的策略。
文章《Blob Adoption and Utilization - Insights from the first 85 days》探讨了 MEV-Boost 如何影响重组概率和 Blob 插槽包含率。
文章《Forced txs vs based sequencing》探讨了强制交易机制与基于排序的交易机制之间的差异。
视频《CBER forum: Beyond the Ethereum Protocol: Proposer-Builder-Separation》概述了 MEV-Boost 和提议者的执行职责。
视频《The Gwart Show: Concerning Trading On-Chain, And Other Bad Ideas》讨论 DEX 设计、MEV、PBS 等问题。