1.
Introduction
2.
Fiat-Shamir Problems
3.
Merlin Transcripts
3.1.
Transcript Operations
3.2.
Generating Randomness
4.
Using Merlin
4.1.
Transcript Protocols
4.2.
Passing Transcripts
4.3.
Prover-Verifier Duality
5.
Test Vectors
6.
Implementations
7.
Proof Systems Using Merlin
8.
Future Work
Light (default)
Rust
Coal
Navy
Ayu
Merlin Transcripts
Implementations
To submit an addition to this list, submit a
pull request on GitHub
.
merlin
, the original Rust implementation. Stable.
libmerlin
, a single-file C implementation targeting C89. Feature-complete but unstable pending integration work.