PRO｜Nocturne 如何实现隐私账户、EIP7503：实现私密转账、ERC-6900：模块化账户抽象
以及改进无许可流动性质押协议的提议、预确认机制等
欢迎阅读第三十期 ChainFeeds PRO Newsletter。本次内容将包含 Nocturne 选择构建私人账户的理由、类似于虫洞机制的 EIP7503、旨在实现模块化账户抽象的 ERC-6900 以及每周更新内容：比特币协议进展、以太坊治理相关、链上数据、最新研究和进展，和最新论文。
重点
Nocturne 如何实现隐私账户？
Nocturne 是一种在以太坊上启用隐私、可组合帐户的协议。Nocturne 介绍了过去两种主要的链上隐私产品存在的问题：
1）Alt L1/L2s ：指具有隐私保护转账功能的独立区块链，（如 Monero、ZCash），但建立一个全新生态系统本就困难，而以隐私为重点建设则更加困难。
2）混币器：如 Tornado Cash，虽然无需迁移生态系统，但用户体验不佳，包括固定面额、高昂的 gas 成本以及需要在链外存储等问题。混合以上两种方案如 Aztec Connect，是主网上用于私有 DeFi 的 Rollup，虽然解决了一些上述问题，但仍存在兼容性问题，需要为每个协议创建自定义的桥接合约，而且从主网到 AC 的交互有限。
Nocturne 的目标是在 L1/L2 上直接构建私人用户账户，与现有以太坊账户具有较高的兼容性。兼容性方面，Nocturne 账户的交互应该类似于交互合约钱包，能够执行与账户相似的功能。Nocturne 账户可以接收来自公共账户的支付，并兼容所有输出 ERC-20 的 DeFi 协议。Nocturne 认为扩展和隐私应该分开解决，而不是过去的项目试图同时解决这两个问题。通过采用新的 gas 减少技术，Nocturne 成功将存款和花费的 gas成本分别降低到 100k 和 350k，实现了在不牺牲兼容性的情况下合理的成本。
EIP7503 - Another Possibility to Enable Private Transfers
Nobitex Labs 提出 EIP7503，该提案的主要目标是通过采用「烧毁和重铸」机制，结合 ZK Proof，在以太坊网络内实现私密转账。这个机制类似于虫洞。EIP7503 设计用于 EOA 到 EOA 的交易并且不需要与一组智能合约进行交互以进行发送，这使得重新铸造的 ETH 能够实现隐私。EIP7503 的重点：
不可花费地址是通过在椭圆曲线上进行哈希生成的随机点。
发送者通过将 ETH 发送到这些地址来进行 ETH 的烧毁，而此交易则使用 ZK 证明生成。
发送者随时可以验证这些由其持有的 ZK 证明，而被烧毁的 ETH 可以在任意时间后通过一种后续定义的重铸交易类型私密地重铸。
ERC-6900：模块化账户抽象
Alche Jason Windawi 提出 ERC-6900 是一组通用标准，用于设计插件及其与智能账户的交互。通过标准化基本功能和接口，ERC-6900 使插件开发者能够编写一个适用于所有智能账户的插件。智能账户构建者能够访问具有标准接口的插件，以便他们进行集成。插件设计者遵循 ERC-6900 可以使用三个标准化的组件：
验证函数：确保对智能账户的外部调用的有效性。
执行函数：指定插件内部功能的执行逻辑。
Hooks：指定更精细的动作和验证，可以在验证前后、执行前后发生。
比特币协议进展
Bitcoin Optech Newsletter #276
邮件列表变更：Bitcoin-Dev 邮件列表的组织计划在年底前停止托管。先前电子邮件的档案仍将在当前网址上提供。社区正在寻求有关选项的反馈，包括可能迁移到 Google Group。
HTLC 集成建议：Johan Torås Halseth 建议使用 covenant 将多个 Hash Time Locked Contracts（HTLCs）集成到一个输出中。使链上交易更加高效，并阻止某些类型的通道阻塞攻击。
Liquid 生产环境中的限制条款
在 Liquid Network 的生产环境中，限制条款是通过引入一系列新的操作码来实现的。这些操作码的目的是简化限制条款的构造，增强比特币脚本语言的表达能力，使得在 Liquid 上可以更灵活地实现各种限制条件和智能合约。一些关键的操作码包括：
OP_CHECKSIGFROMSTACK (CSFS)：允许从堆栈上获取签名数据进行验证，增强了比特币脚本语言的功能。
内省操作码（Introspective Operation Codes）：超过 30 种新的内省操作码在 Liquid 的 Taproot 升级中引入，以实现更为模块化的限制条款构造。这使得开发者能够更轻松地在花费限制条款时检查和操作交易的不同部分。
此外，Liquid 实现了 Simplicity 编程语言的集成。Simplicity 是一种可验证的编程语言，通过这个集成，Liquid 提高了智能合约和限制条款的表达能力和可靠性，从而更安全有效地在链上执行。
以太坊
治理重点
This Week in Governance - November 10: Solvents, Setbacks, and Security
Aragon Association 解散：Aragon Association 决定进入新阶段，将其大部分储备分配给 ANT 持有者，允许他们兑换 ETH，并解散协会。他们计划通过以产品为中心的框架继续推进使命。治理问题和财政价值与代币市值之间的脱节导致了Aragon 的这一决定，他们认为需要通过新领导层的基本重组来推动 Aragon 的使命。
Arbitrum Coalition 提案遭遇挫折：社区对由 Blockworks Research、Gauntlet 和 Trail of Bits 领导的 Arbitrum Coalition 提出在为期 12 个月的时间内促进 Arbitrum DAO 社区的提案中运作具体细节提出了重大反对意见，例如关于工时报告、确保透明度和与 DAO 优先事项的一致性、对潜在利益冲突的担忧，以及评估联盟效果的机制。Blockworks Research 随后发布了一种修改后的实施提案的方法，如果通过，将会采用。
Sushi 考虑新的代币经济模型：Sushi 团队正在征集社区对 Sushi 代币模型的建议修订的反馈意见，该模型旨在支持协议的可持续性，提高代币的实用性，并实现财政多元化。新模型解决了当前的一些挑战，例如流动性补贴成本和排放与收入比率，提供了重新校准 LP 激励和 xSushi 质押收益的解决方案。
其他研究和进展
Validator Smoothing Commitments
jvranek 提出了「Smoothing Commitments」用于改进无许可流动性质押协议。无许可流动性质押协议，如 Rocketpool，要求节点运营商提前锁定资本，这可能阻碍了一些潜在运营商的参与，限制了其规模和生态系统的增长。Smoothing Commitments （SC）机制是一种协议外的解决方案。节点运营商将支付不可退还的 SC 以借取 ETH 来运行一个验证器，作为交换，他们获得验证器赚取的共识和执行奖励。SC 可以通过拍卖定价，其中节点运营商为获得在特定持续时间内工作的机会进行出价。SC 旨在提高无许可协议的竞争性，使其能够更有效地与有许可协议竞争。
Based preconfirmations
JustinDrake 介绍了通过基于 rollups 和 validiums 的预确认机制（preconfs），用户可以在交易执行前得到预先确认。构建这种预确认机制所需的两个链上基础设施：提议者的 slashing 机制和强制交易包含机制。通过预确认机制用户可以通过向下一个预确认者发送承诺请求，获取关于他们的交易将如何执行的信息。这种机制的目的是提高交易执行的效率和用户体验，让用户更早地知道他们的交易会被确认，并且在这个过程中引入了惩罚机制来保证提议者的守约行为。
Trustless access to Ethereum State
tonytony 指出了现有的轻客户端和中心化服务的局限性，提出了利用 Swarm 网络的解决方案。Swarm 是一个去中心化的存储和通信平台，通过建立参与节点网络，实现数据的存储和传播，并通过缓存机制和存储激励确保数据的可靠性和完整性。作者强调了 Swarm 对复杂查询的支持，以及其在验证查询响应方面的能力。
Exploring paths to a decentralized, censorship-resistant, and non-predatory MEV Ecosystem
FastLane 联合创始人 Alex Watts 讲述了 FastLane on Polygon（PFL）如何在 Polygon 上减少 MEV。PFL 的目标是阻止具有掠夺性 MEV 的三明治攻击等，以及减少私有订单流的中心化效应。它将 MEV 捆绑包中的所有交易广播到公共内存池，其他搜索者也可以看到这些交易并用来构建自己的 MEV 捆绑包。PFL 通过破坏交易的原子性，从而降低三明治攻击的动机。PFL 系统在 Polygon 上阻止三明治攻击已经成功运行了大约一年。文章探讨了 PFL 背后的博弈论，并探讨了如何将类似的概念与以太坊上的 ePBS 结合起来。
Optimistic Delegation Framework - Restaking Delegation for Solo Stakers
Drew Vander Werff 提出了 Optimistic Delegation Framework（ODF）框架，旨在允许在 EigenLayer 中验证者通过运行主动验证服务（AVS）直接参与 restaking，并引入了 Coprocessor 负责执行 AVS 的复杂计算，解决 EigenLayer 内部可能出现的中心化风险。Coprocessor 提供复杂计算的签名/证明，验证者签署 AVS，并与Coprocessor 共享一部分奖励。该框架的目标是减少运营商中心化风险，提供更多的 AVS 选择灵活性，但也面临着资本占用、Coprocessor 中心化等挑战。
MEV相关
The MEV Letter #15
Flashbots 团队推出垂直于 MEV 研究领域的 Newsletter，以下是一些重点摘录：
文章《Dynamic Fee Solutions for AMMs》深入探讨了动态收费如何通过减轻 LVR 和无常损失的负面影响来提高 LP 的盈利能力。
文章《Eyes and Orders: On Crypto Front-ends》探讨了前端在交易供应链中的作用以及通过 PFOF 和 OFA 盈利的可能方式。
视频《Archetype: Shea Ketsdever of Flashbots: The MEV Supply Chain》邀请 Shea Ketsdever 深入探讨 MEV 供应链、SUAVE、OFA 以及可编程隐私的未来。
Twitter Space《Uniswap Labs: Research Hours: Research Deep Think》邀请 Danning Sui、Raffi Sapire、Tarun Chitra 和 Ariah Klages-Mundt 讨论 DeFi、稳定币和 tldresear.ch。
视频《CBER Forum: Scaling Ethereum: Rollup Economics》概述了与 Rollup 相关的经济学，以及数据可用性、抗审查性和 MEV。
📑论文
DAO Decentralization: Voting-Bloc Entropy, Bribery, and Dark DAOs（DAO 权力下放：Voting-Bloc Entropy、贿赂和黑暗 DAO）
作者来自：Cornell Tech, IC3
作者提出了一个名为「Voting-Bloc Entropy」的新指标，用于衡量在 DAO 提案投票中去中心化的程度。它着重于捕捉参与者在一组提案中的效用函数相似性，从而揭示了社区成员之间在不同提案上的投票偏好的相似程度。作者使用 VBE 衡量了在投票委托、提案捆绑、贿赂和二次投票这些策略下的去中心化效果。并提出了增强 DAO 去中心化的实际建议。
Evolution of Automated Weakness Detection in Ethereum Bytecode: a Comprehensive Study（以太坊字节码中自动弱点检测的演变：一项全面的研究）
作者来自：TU Wien
作者基于六年区块链活动的数据集，研究了代码分析工具的鲁棒性和对智能合约中弱点检测的演变。研究考察了单个工具的行为以及多个工具在解决相似弱点时的一致性。通过考虑字节码的等效性，该研究覆盖了以太坊主链上的所有部署字节码，将 4800 万个合约减少到具有不同骨架的 248328 个合约。此外，研究集成了六种其他字节码分析工具。尽管工具报告了 1307486 个潜在弱点，但随时间推移报告的弱点数量减少，并且工具的性能出现了不同程度的下降。（本文最早发表于 2023 年 3 月 18 日，在 2023 年 11 月 7 日更新了 V2 版）