Blockchain, Zero Knowledge Proofs, Crypto, Rust, Cryptography.
randomness from an external RNG. This ensures that the randomness is bound to all of the public data, as well as the prover’s secret, as well as an external RNG, minimizing the risk of weak randomness. Finally, the prover computes a commitment to the randomness R = r*B, commits R to the transcript,