# lazy-snark off-chain computation of zk-snark proofs