linera_chain/data_types/proof/mod.rs
1// Copyright (c) Zefchain Labs, Inc.
2// SPDX-License-Identifier: Apache-2.0
3
4//! Protocol vocabulary and quorum properties of the microchain consensus specification.
5//!
6//! This is the base of the specification's dependency graph: [`objects`] fixes what the
7//! protocol's messages *are*, and [`quorum`] establishes what a quorum of signatures buys us.
8//! Nothing here depends on the chain manager, so the manager's voting, locking, commit, safety
9//! and round-advancement results ([`crate::manager::proof`]) may all cite these freely.
10//!
11//! The `linera-spec` crate gives the full reading order and the conventions governing statement
12//! names, proof obligations and dependency edges.
13
14pub mod objects;
15pub mod quorum;