All in Bits Inc (dba Tendermint Inc)