Trait CurdleproofsTranscript 

pub trait CurdleproofsTranscript {
    // Required methods
    fn append(&mut self, label: &'static [u8], item: &impl CanonicalSerialize);
    fn append_list<T: CanonicalSerialize>(
        &mut self,
        label: &'static [u8],
        items: &[&T],
    );
    fn get_and_append_challenge(&mut self, label: &'static [u8]) -> Fr;
    fn get_and_append_challenges(
        &mut self,
        label: &'static [u8],
        n: usize,
    ) -> Vec<Fr> ;
}

A Transcript with some methods for feeding it and for obtaining challenges as field elements

Required Methods

fn append(&mut self, label: &'static [u8], item: &impl CanonicalSerialize)

Append an item to the transcript

fn append_list<T: CanonicalSerialize>( &mut self, label: &'static [u8], items: &[&T], )

Append a list of items to the transcript

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

Get a challenge out of the transcript

fn get_and_append_challenges( &mut self, label: &'static [u8], n: usize, ) -> Vec<Fr>

Get a list of n challenges out of the transcript

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl CurdleproofsTranscript for Transcript

fn append(&mut self, label: &'static [u8], item: &impl CanonicalSerialize)

fn append_list<T: CanonicalSerialize>( &mut self, label: &'static [u8], items: &[&T], )

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

fn get_and_append_challenges( &mut self, label: &'static [u8], n: usize, ) -> Vec<Fr>

Implementors