Blockchain, Cryptography, Zero Knowledge Proofs, Zksnark, Mathematics.
Prover would be required to stay online at all times and perform the same computation for every verifier. Hence, we need the secret parameters to be reusable, public, trustworthy and infeasible to abuse. Let us first consider how would we secure the secrets (t(s),α) after they are produced. We can