asupersync 0.3.4

Spec-first, cancel-correct, capability-secure async runtime for Rust.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

//! Byzantine fault tolerant consensus algorithms.
//!
//! This module provides implementation of Byzantine consensus algorithms
//! for distributed systems requiring safety and liveness guarantees
//! even in the presence of malicious replicas.
//!
//! Currently implements:
//! - PBFT (Practical Byzantine Fault Tolerance)
//!
//! The implementation assumes a partially synchronous network with
//! authentication and provides safety guarantees even with up to f
//! Byzantine faults in a system of 3f+1 replicas.

pub mod pbft;
pub mod types;

pub use pbft::{PbftConfig, PbftConsensus, PbftNode, PbftState};
pub use types::{
    ConsensusBatch, ConsensusError, ConsensusRequest, ConsensusResponse, MessageDigest, PhaseKind,
    ReplicaId, SequenceNumber, ViewNumber,
};

#[cfg(test)]
mod tests;