Will tau chain decouple mining/forging process from theorem proving?  i.e. there will be miners/forgers, provers and, obviously, those who can do both simultaneously. This should be pretty easy to achieve (e.g. by commiting a hash of a proof and then revealing the proof) and will allow concurrent "execution" of contracts.