github.com/ari-anchor/sei-tendermint@v0.0.0-20230519144642-dc826b7b56bb/spec/consensus (about) bft-time.md consensus-paper consensus.md creating-proposal.md evidence.md light-client proposer-based-timestamp proposer-selection.md readme.md signing.md wal.md