Expand description
Fiat-Shamir transcript for non-interactive proofs.
The Transcript accumulates protocol messages (absorb) and
produces verifier challenges (squeeze) deterministically via
SHA-256. It is functional: each operation consumes the
transcript and returns a new one, following the same pattern
as WireAllocator.
Structsยง
- Transcript
- A Fiat-Shamir transcript.