- Initial implementation of PARSEC (Protocol for Asynchronous, Reliable, Secure and Efficient Consensus)
- Implement consensus for a static network
- Implement example for manually playing with number of peers, number of events etc.
- Generate dot files with feature "dump-graphs"
- This crate used to refer to the project: Specs