安全模型可以分为两个部分:假设(assumption)和保证(guarantee)。如果用作输入的假设成立,则安全模型输出的保证也应成立。本文深入探索比特币为其全节点运营者提供的安全模型,比特币是如何做到信任需求最小化的
本文档是关于EIP-7732(ePBS,即内嵌Payload块分离)的常见问题解答,强调了其在以太坊Fusaka升级中应包含的原因。它解释了ePBS通过分离共识和执行块带来的诸多好处,如改进的timing和带宽利用率,减少重组,以及对homestaker和builder的积极影响。此外,还讨论了与技术债务、拍卖机制、验证者自建块、以及与Peer-DAS的兼容性等设计决策相关的问题。
区块链节点使用共识引擎来达成区块链状态一致性。本文涉及区块链系统的共识基础知识,共识如何与substrate framework中的runtime进行交互,以及共识引擎是如何在framework中存在的。