Struct ProtocolTranscript 

pub struct ProtocolTranscript<T: Transcript = FolkloreTranscript> { /* private fields */ }

A transcript that appends a counter to each message. The counter starts at 0 and increments by 1 with each appended message. This ensures that each message can be uniquely identified by its position in the transcript.

Trait Implementations

impl<T: Transcript> AutoTranscript for ProtocolTranscript<T>

type Label = [u8; 8]

The type of the label used for messages in this transcript.

fn get_current_label(&self) -> Self::Label

Get the label that was used for the last appended message. If no messages have been appended yet, returns the initial label.

fn next_label(&mut self) -> Self::Label

Get the label that will be used for the next appended message.

fn append<Msg: AsRef<[u8]>>(&mut self, msg: &Msg)

Append a message to the transcript with an automatically generated label.

fn append_many<Msg: AsRef<[u8]>>(&mut self, msg: &[Msg])

Append multiple messages to the transcript with a common automatically generated label.

fn new(protocol_info: &'static ProtocolInfo, session_id: &SessionId) -> Self

Create a new transcript for a specific protocol with a session ID for domain separation.

fn extract(&mut self, label: &'static [u8]) -> Seed

Extract pseudorandom bytes based on the transcript state. Note: two consecutive extractions must yield different outputs.

fn extract_rng(&mut self, label: &'static [u8]) -> Self::Rng

Derive a CSPRNG from the transcript state with a specific label. Allows arbitrary-length output generation

impl<T: Clone + Transcript> Clone for ProtocolTranscript<T>

fn clone(&self) -> ProtocolTranscript<T>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Debug + Transcript> Debug for ProtocolTranscript<T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T: Transcript> Transcript for ProtocolTranscript<T>

type Rng = <T as Transcript>::Rng

The type of the RNG derived from the transcript.

fn new(protocol_info: &'static ProtocolInfo, session_id: &SessionId) -> Self

Create a new transcript for a specific protocol with a session ID for domain separation.

fn append_with<Msg: AsRef<[u8]>>(&mut self, label: &'static [u8], msg: &Msg)

Append a message with a label to the transcript.

fn append_many_with<Msg: AsRef<[u8]>>( &mut self, label: &'static [u8], messages: &[Msg], )

Append multiple messages with a common label to the transcript.

fn extract(&mut self, label: &'static [u8]) -> Seed

Extract pseudorandom bytes based on the transcript state. Note: two consecutive extractions must yield different outputs.

fn extract_rng(&mut self, label: &'static [u8]) -> T::Rng

Derive a CSPRNG from the transcript state with a specific label. Allows arbitrary-length output generation