这篇文章详细介绍了Espresso Sequencer的设计原理与目标，强调其在去中心化Rollups中的重要性。文章探讨了当前以太坊Layer 2扩展解决方案中存在的问题，并提出Espresso Sequencer如何以高吞吐量和低延迟的方式支持Rollup的去中心化与互操作性，同时减轻MEV对用户的负面影响。
本文深入探讨了提议者承诺预确认(PP预确认)协议，该协议旨在提供快速预确认，以实现不同Rollup间的互操作性与一致性。文章详细分析了PP预确认的架构、用户与预确认者的交互步骤、以及其对用户体验的潜在影响，同时与传统的BFT预确认进行比较，指出了两者的不同之处及各自的优势与劣势。
本文介绍了Espresso Sequencer与Rollup之间的衍生管道架构，并探讨了通过该管道实现交易的跨链原子性，以及如何增加Rollup特性。文章深入分析了衍生管道的功能，如何实现共识验证、命名空间过滤和Rollup特定变换，同时讨论了原子交易捆绑的实施方案及其应用。
本文探讨了区块链安全中的核心问题，即对手可以控制的验证者百分比，而区块链仍然安全且保持活跃。研究这些百分比的答案取决于客户模型，并在该模型上标定了共识协议的安全性和活跃性韧性。文章对状态机复制（SMR）共识协议进行了详细介绍，并分析了不同模型下的韧性可能性。
本文探讨了基于先来先服务（FCFS）的共识协议在无权限区块链中能否防止前置交易的可能性。虽然FCFS排序可以在一定程度上减轻前置交易，但不能完全防止。文章还分析了前置交易的机制及相关网络因素，并提出了改进措施。
本篇文章是阅读了《区块链架构与实现——Cosmos详解》之后，对Tendermint理解更新。包括部分协议设计的底层逻辑，从工程实现的角度（而不仅仅是原理上）对具体模块进行阐述，比如Proposer轮换以及Slashing策略。本系列共有三篇文章，此为第三篇。从HotStuff
文章介绍了Espresso的HotShot共识协议，该协议专为Rollups设计，旨在提高高吞吐量和快速最终性。HotShot基于HotStuff BFT协议，并扩展到了去中心化的“权益证明”设置，以补充以太坊的动态可用性。文章还探讨了乐观响应与动态可用性之间的权衡，并解释了HotShot如何在网络条件有利时实现高性能，并在最坏情况下回退到高弹性的低吞吐量路径。
本文详细介绍了Casper FFG共识协议及其在以太坊2.0中的应用。Casper FFG是基于PBFT改进的权益证明（PoS）共识协议，旨在实现区块链的去中心化和高效性。文章还探讨了以太坊2.0如何通过分片技术（Sharding）提升交易处理能力，并整合Casper FFG以实现更安全的共识机制。
本文不会对 Narwhal and Tusk 做过多细节描述，更多的是依据论文以及源码，对 Narwhal and Tusk 的设计思路和底层逻辑进行思考，换句话说，我想知道 Narwhal and Tusk 的设计思路，而不仅仅是对这两个协议的原理介绍。
EspressoSystems
a16z Crypto
flashbots
xufeisofly
espressosys
juincc