How ZK-Proofs are creating a new multi-billion dollar market for verifiable computation.