合并：从工作量证明到权益证明
以太坊即将从工作量证明 (PoW) 过渡到权益证明 (PoS) ，这是多年研究和开发的结晶。虽然 PoS 带来了许多潜在的优势，但这也意味着以太坊正在放弃中本聪最"长情"的协议——当然也是最简单、最优雅的共识协议之一，并且已经过去中心化区块链的实战考验。
以太坊 PoS 共识协议中，一个众所周知的脆弱组件已被证明是“LMD GHOST”选择分叉规则，最近发生了多次攻击和打补丁，其安全性仍未得到证明。
在题为“PoS 以太坊不再被攻击 ？”的文章中，我们提出了 Goldfish，它是 PoS 以太坊中 LMD GHOST 选择分叉规则可证明的、安全的替代品。我们认为这只是朝着更严格的协议设计和分析迈出的第一步，目的是加强以太坊的安全性。
以太坊的权益证明协议
以太坊的权益证明 (PoS) 共识协议比 PoW 复杂得多。
它实际上是两种不同共识协议的组合：一个“finality gadget”（称为 Casper FFG），在 6.4 分钟长的 epoch 后最终确定区块，以及在每个 epoch 内管理链的选择分叉规则 fork-choice rule（称为“Greedy Heaviest Observed Subtree”，简称LMD GHOST）。这两个组件以复杂的方式相互交互，下面用框图进行描述：
Paradigm正在开源MEV Bot 框架“Artemis”:5月5日消息，加密风投公司Paradigm宣布正在开源 MEV Bot 框架“Artemis”，Artemis 是一个用 Rust 编写 MEV Bot 的框架，具有简单性、模块化和高性能等特点。Artemis 通过为编写 MEV Bot 提供灵活和可重用的组件，并作为贡献策略和守护者的存储库，来缓解 MEV 市场中新进入者面临的诸多障碍。
Artemis core 包括三个主要组件，有 Collectors（接收如未决交易、新区块、链下订单等的外部事件，并将它们转化为内部事件表示、策略（包含每个 MEV 机会所需的核心逻辑）和执行器。此外，Paradigm 正在开源跨市场 NFT 套利策略。[2023/5/5 14:44:07]
具体来说，LMD GHOST 指导区块生产过程，并以 12 秒的时间Slot和验证者的子抽样组合运行。因此，它可以被认为是在 PoS 以太坊区块奖励前负责较弱的“短期共识”。一旦就交易账本达成短期共识，它就会被移交给 Casper FFG 进行额外的加固，它在包含 32 个插槽（slots） = 6.4 分钟的时间尺度上运行，并涉及完整的验证器集。因此，Casper FFG 负责提供更强大的“长期共识”，提供最终性和负责任的安全性。
投行Perella Weinberg Partners已开始对FTX旗下交易所重组进行审查:金色财经报道，FTX债权人聘请的投行Perella Weinberg Partners合伙人Kevin Cofsky表示，在破产过程中，FTX可能出售其核心交易所。
Cofsky称：“我们已经开始对核心交易所的重组进行审查，这个过程正在进行中。”FTX寻求优先出售旗下四个实体，称这些实体相对独立于FTX，如果推后出售，它们可能会失去价值。这些业务包括LedgerX、Embed、FTX Japan和FTX Europe。
Cofsky还表示，透露FTX客户的姓名可能会降低公司的价值，因为其他加密公司可能会被其他加密公司“挖走”。然而代表监管该破产案的美国受托人的律师Juliet Sarkessian不认为这是客户离开FTX的主要原因。
Sarkessian说：“我认为他们离开这个平台可能是出于其他原因，而不是被挖走。”他指出，FTX的前高管被指控将客户资金与其姊妹加密交易机构Alameda Research混在一起。[2023/1/12 11:07:18]
不幸的是，这种复杂性伴随着挑战。特别是，LMD GHOST 组件，以及 LMD GHOST 和 Casper FFG 之间的交互，都存在反反复复的攻击、打补丁。目前为 Merge 采用的协议既没有公开的攻击，也没有正式的安全分析/证明。
Paradigm研究员Samczsun发布以太坊地址标记及搜索网站:9月6日消息，Paradigm研究员Samczsun在推特发布以太坊地址Tag标记网站tags.eth.samczsun.com。Samczsun表示，“我建立了一个非常简单的网站来标记和标注地址，任何人都可以为之做出贡献，你可以按地址、按标签（有通配符）搜索。”
知识图谱协议0xScope对此表示，“很高兴看到开源地址标签的尝试，如果Samczsun和Paradigm有兴趣，我们也非常乐意分享我们数百万的地址标签数据。”[2022/9/6 13:12:03]
缺乏安全证明是令人担忧的原因，但并不是因为简单学术模型中的证明必然完美地表明现实世界的安全性。相反，即使在简化模型中，我们也无法最终解释为什么这个协议是安全的，这表明我们实际上并不了解协议，或者它们的后果和交互的全部范围。
Goldfish
在题为“PoS 以太坊不再被攻击 ？”的文章中，我们提供了 PoS 以太坊的 LMD GHOST 分叉选择规则的替代品。该协议称为 Goldfish，类似于 LMD GHOST（因此不需要对当前客户端实现进行大修），但带有安全证明。
DAO平台DAOLens获得500万美元融资 Nexus Venture Partners领投:金色财经报道，DAO平台初创公司DAOLens最近在由Nexus Venture Partners领投的种子期前融资500万美元。专注于加密货币的投资公司Better Ventures和iSeed II也共同领投了这轮融资。该平台随后的估值并未披露。
在种子轮前的其他数十名参与者中，包括曾供职于Coinbase和a16z的巴拉吉?斯里尼瓦桑;Matrix Partners的库马尔?阿卡什;Solana的Raj Gokal;SIG的Dean Carlson;Animoca Brands的Simon Doherty;以及Coinbase和软银等公司的高管。
这家初创公司由Vikram Aditya和Apoorv Nandan于今年1月创立。（blockworks）[2022/7/14 2:11:35]
为了更好地理解Goldfish，让我们先预览下 LMD GHOST 的大致工作原理：
Parallel Finance：超过17万个KSM贡献进Parallel-Heiko Crowdloan:9月26日消息，Parallel Finance发推称，172661个KSM贡献进Parallel-Heiko Crowdloan，目前在Kusama第二批拍卖众贷中排名第一，并且开始为第9个平行链插槽拍卖竞标。
据悉，去中心化货币市场Parallel Finance为Polkadot生态提供Lending、Staking、Borrowing产品。[2021/9/26 17:07:21]
假设我们的简化网络模型中消息引起的最大延迟为已知值 A（如上图中的△）。在 LMD GHOST 中，相似步骤得到的值为 2A 。对于每个间隙，从完整的验证者集中随机选择一个提议者和一个小的验证者委员会。在每个slot开始时，slot的提议者运行 LMD GHOST 分叉选择规则（有两个修改，“提议者提升”和“模棱两可的折扣”，它们是响应两个早期攻击的补丁）以确定规范的区块链奖励和提出一个新的区块。
在slot进行到一半时，slot的委员会成员还使用相同的分叉选择规则确定规范的区块奖励，并投票支持该奖励。 LMD GHOST 没有指定确认规则，而是让用户来决定区块树的哪些区块拥有“足够”的票数以确信他们不会离开规范链。
Goldfish 紧密遵循这个一般结构，但为验证者引入了一个额外的阶段，以同步他们对投票计数的看法，并确认区块：
在每个slot的开始，slot的提议者根据前一个 slot 的投票运行简单的 GHOST 分叉选择规则，以确定在哪里提议一个块。进入slot的三分之一时，该时段的委员会成员使用相同的分叉选择规则，该规则基于前一个时段的投票和提议者转发的投票，来确定在哪里投票。 最后，在进入slot的三分之二时，所有验证者都运行一个明确定义的 T 深度确认规则。
Goldfish 基于两种关键技术，投票缓冲和投票到期，以仔细同步诚实验证者的观点：
投票缓冲（也称为view merge，最早出现在新的共识协议 Highway 上）。简而言之，缓冲从网络收到的选票，以及在每个验证者的本地视图中精心定时包含这些选票，保证了在具有诚实提议者的slot中，所有诚实的验证者都投票支持提议者的提议。这导致了重组弹性：诚实的提议者的提议保证保留在规范链中。随之而来的是安全性（即输出账本的安全性和活跃性）。
投票到期（也称为临时投票）意味着在每个slot内，只有前一个slot的投票会影响协议的行为（类似于“健忘”的金鱼，Goldfish 协议名称源于此）。投票到期使投票集很小，这可能会影响诚实验证者的短期未来行动。因此，在任何时间点，只有少数协议消息需要在诚实验证者的视图中进行缓冲和合并。因此，投票到期是投票缓冲效率/可行性的先决条件。投票到期对于支持波动的验证者参与水平以及支持在每个slot较小的子样本选民委员会中运行协议，而不是在整个验证者集中运行协议也至关重要。
最后，Goldfish 的确认规则会确认区块是否在创建后的一段时间内仍在规范链上。分析表明，由此产生的确认翻转概率在出块和区块确认之间的延迟中呈指数级降低。
Goldfish 面临的挑战：异步（Asynchrony）
Goldfish 很简单，可以接受严格的安全证明。这一分析立即取得了成果：请记住，我们一开始就假设我们的简化模型中的网络延迟上限为 A (上图中的△表示) 。在证明安全性的过程中，我们必须明确这一假设和其他假设。
如果违反了这个界限，即如果网络暂时异步，会发生什么？我们可以追踪安全论证的步骤，看看在没有假设的情况下会出现什么问题。我们看到，如果实际网络延迟大于 2A（即当前 PoS 以太坊中的 8 秒），那么 Goldfish 将无法及时获得slot (t-1)的决定性选票以在slot t 的基础上进行构建，该协议可能会受到重组的影响。
这样的重组是不好的。但至少由于严格的安全论点，我们可以更好地了解我们系统的安全性关键依赖于哪些条件，以及为什么以及如何。我们可以做出更明智的决定，以确保满足这些先决条件。例如，虽然在当前的点对点网络协议中，攻击者可能更容易引起一些网络延迟，但最近（也由于与网络相关的数据可用性采样挑战）对强化的点对点协议重新产生了兴趣，这些协议重新启用共识层的权益分配来指导对等点的选择。这样的协议更加抗攻击，并且可以合理地缓解延迟问题。此外，确定性/问责制小工具（最终可能会通过“单槽确定性”进一步加速）为任何重组提供了支持。
还需要做什么
我们提出了 Goldfish 共识协议，旨在作为 PoS 以太坊信标链中 LMD GHOST 的替代品。我们对 Goldfish 本身进行了严格的安全分析，并结合了终局/问责制小工具（基于另一个共识协议，例如 HotStuff）。其他 PoS 以太坊共识安全挑战仍然存在，例如，来自分叉选择和 finality gadget 的交互，我们期待在未来看到 PoS 以太坊在这些方面的进一步共识安全改进。
来源：Paradigm、比推
编译及整理：比推 Mary Liu
比推 Bitpush News
媒体专栏
阅读更多
金色早8点
财经法学
成都链安
Bress
链捕手
PANews
Odaily星球日报
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。