Skip to main content

Module recording

Module recording 

Source
Expand description

Implementation of transcripts that can automatically record generated challenges, eliminating the need to pass challenges throughout protocols.

Structsยง

RecordingTranscript
RecordingTranscript wraps a regular transcript to record all challenges it produces.
RecordingTranscriptVar
RecordingTranscriptVar is the in-circuit variable of RecordingTranscript.