libsm An academic library for byzantine fault tolerance, state machine and distributed system. documents tutorial Getting Started reference TODO example Simple Wait Input Paxos