共识

CometBFT 中实现的共识协议规范。

目录

  • 共识论文 - 发布于 arxiv 的 Latex 论文,描述了 CometBFT 所采用的 Tendermint 共识算法,并给出了安全性与终止性的证明。
  • BFT 时间 - 说明如何以拜占庭容错方式计算 CometBFT 区块头中的时间戳
  • 创建提案 - 说明提议者如何为共识创建区块提案
  • 轻客户端协议 - 用于轻量级共识验证与同步到最新状态的协议
  • 验证者签名 - 验证者生成加密签名时应遵循的规则。
  • 预写日志 - 共识状态机用于在崩溃后恢复的预写日志。
此外,还有一份关于共识状态机的过时 Markdown 描述 (TODO:更新此内容)。

Consensus

Specification of the consensus protocol implemented in CometBFT.

Contents

  • Consensus Paper - Latex paper on arxiv describing the Tendermint consensus algorithm, adopted in CometBFT, with proofs of safety and termination.
  • BFT Time - How the timestamp in a CometBFT block header is computed in a Byzantine Fault Tolerant manner
  • Creating Proposal - How a proposer creates a block proposal for consensus
  • Light Client Protocol - A protocol for light weight consensus verification and syncing to the latest state
  • Validator Signing - Rules for cryptographic signatures produced by validators.
  • Write Ahead Log - Write ahead log used by the consensus state machine to recover from crashes.
There is also a stale markdown description of the consensus state machine (TODO update this).