linera_chain/proof/mod.rs
1// Copyright (c) Zefchain Labs, Inc.
2// SPDX-License-Identifier: Apache-2.0
3
4//! Reconfiguration and checkpoints.
5//!
6//! A checkpoint lets a node adopt a chain's state at some height without replaying the blocks
7//! below it. Every statement here is a *conservation* claim — "this behaves as it would have
8//! without the checkpoint" — stated relative to whatever that behaviour is, so none of them needs
9//! a specification of execution or messaging to be meaningful.
10//!
11//! | module | covers |
12//! |---|---|
13//! | [`epochs`] | committees, epochs, and how a node comes to trust one |
14//! | [`checkpoints`] | events, messages, blobs and execution state across a checkpoint boundary |
15
16pub mod checkpoints;
17pub mod epochs;