> ## Documentation Index
> Fetch the complete documentation index at: https://cosmos-docs-sync-security-docs.mintlify.site/llms.txt
> Use this file to discover all available pages before exploring further.

# Overview

# Consensus

Specification of the consensus protocol implemented in CometBFT.

## Contents

* [Consensus Paper](/cometbft/latest/spec/consensus/Consensus-Paper) - Latex paper on
  [arxiv](https://arxiv.org/abs/1807.04938) describing the
  Tendermint consensus algorithm, adopted in CometBFT, with proofs of safety and termination.
* [BFT Time](/cometbft/latest/spec/consensus/BFT-Time) - How the timestamp in a CometBFT
  block header is computed in a Byzantine Fault Tolerant manner
* [Creating Proposal](/cometbft/latest/spec/consensus/Creating-Proposal) - How a proposer
  creates a block proposal for consensus
* [Light Client Protocol](/cometbft/latest/spec/consensus/Light-Client) - A protocol for light weight consensus
  verification and syncing to the latest state
* [Validator Signing](/cometbft/latest/spec/consensus/Validator-Signing) - Rules for cryptographic signatures
  produced by validators.
* [Write Ahead Log](/cometbft/latest/spec/consensus/WAL) - Write ahead log used by the
  consensus state machine to recover from crashes.

There is also a [stale markdown description](/cometbft/latest/spec/consensus/Byzantine-Consensus-Algorithm) of the consensus state machine
(TODO update this).