As noted in #14, nonces required for proof generation are produced using an externally-provided random number generator. This PR builds a Merlin-based TranscriptRng that uses the transcript state, witness data, and external random number generator to produce nonces. This provides a much more robust design for nonce construction.
As noted in #14, nonces required for proof generation are produced using an externally-provided random number generator. This PR builds a Merlin-based
TranscriptRngthat uses the transcript state, witness data, and external random number generator to produce nonces. This provides a much more robust design for nonce construction.Closes #14.