Zero Knowledge Block Prover.