Blockchain, Zero Knowledge Proofs, Crypto, Rust, Cryptography.
to B. Proving knowledge of a discrete logarithm using Merlin To implement this using Merlin, the prover commits a proof label to the transcript, then the public parameters B, P. To generate randomness r, the prover clones the transcript state, then rekeys the cloned transcript with the secret x and