Microsoft Magnetar zero knowledge proofs

@Microsoft Research says Magnetar speeds up proofs of ordinary program execution in its tests, using standard hash-based cryptography. Lower proof costs could help blockchains, but production gains remain untested. #Update #Blockchain