github.com/ari-anchor/sei-tendermint@v0.0.0-20230519144642-dc826b7b56bb/spec/core (about) data_structures.md encoding.md genesis.md readme.md state.md