这篇文章详细分析了以太坊从工作量证明(PoW)到权益证明(PoS)共识协议的过渡,尤其关注在eth2中最大可提取价值(MEV)的影响。文章探讨了MEV如何提升验证者奖励,并可能加剧参与者之间的不平等。还分析了不同 actors 的新角色,包括交易所和验证池,以及MEV可能带来的中心化风险,最后提出了一些需要进一步研究的问题。
这篇文章详细介绍了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
Alpenglow 是 Solana 新的共识协议,旨在实现高性能和低延迟。它引入了 Votor 用于投票和区块最终确认逻辑,采用 Rotor 优化数据传播,并结合单轮/双轮投票模式,目标是将区块最终确认时间缩短至 150 毫秒左右,从而使 Solana 在响应速度方面与 Web2 基础设施竞争。
Anza成立了一个新的研究团队,由Roger Wattenhofer教授及其两位来自苏黎世联邦理工学院的博士生Kobi Sliwinski和Quentin Kniep组成。该团队将致力于Solana协议的基础研究,包括设计更高性能和可证明正确的基于Turbine的共识算法,并研究延迟、弹性和经济性的改进方案。
文章介绍了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 的设计思路,而不仅仅是对这两个协议的原理介绍。
本章描述了以太坊研究团队在经济模型假设上的根本变化,特别是从竞争性经济模型转向寡头垄断模型的过程。文章讨论了如何在公有区块链中应用合作博弈理论来分析和设计共识协议,强调了权力集中和卡特尔形成对区块链安全性的影响。
本文详细介绍了Casper CBC共识协议的原理和实现,包括其如何通过正确构建的方法确保协议的安全性,并阐述了协议空间、状态转换和equivocation等关键概念。
文章详细解释了密码经济学的概念,通过比特币、以太坊等区块链案例,阐述了密码经济学如何通过激励和密码学设计新型系统和网络。还探讨了密码经济学与传统经济学的关系,并介绍了当前密码经济学的三个主要研究领域。