Themis: BFT Framework written in Rust + PBFT implementation
Byzantine fault tolerant (BFT) protocols have previously been developed mainly in C or Java. C offers high performance but is more error-prone, leading to more potential Byzantine faults, whereas Java offers memory safety at the cost of performance. The Rust programming language combines the performance advantages of C with safe memory management, and newer releases now enable the implementation of complex, non-blocking asynchronous frameworks, as is needed for efficient BFT frameworks. This archive contains Themis a BFT framework implementation in Rust.