Working on Mir, a sharded PoS/BFT blockchain with succinct verification.