Blockchain, Zero Knowledge Proofs, Crypto, Rust, Cryptography.
the design can be found in the TranscriptRng documentation. A simple example: proving knowledge of discrete log To see how Merlin works, consider a proof of knowledge of a discrete logarithm in a prime-order group, proving knowledge of some x such that x is the discrete logarithm of P with respect