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
Test Vectors
TBD (need to set up a CI deploy pipeline that auto-tests these)