Trait Channel 

pub trait Channel {
    type F: Field;
    type Commitment: Clone;
    type Challenger: TranscriptChallenger<Self::F, Self::Commitment>;

    // Required methods
    fn sample(&mut self) -> Self::F;
    fn sample_bits(&mut self, bits: usize) -> usize;

    // Provided method
    fn sample_algebra_element<A: BasedVectorSpace<Self::F>>(&mut self) -> A { ... }
}

Shared base trait for ProverChannel and VerifierChannel.

Provides sampling methods common to both sides of the transcript.

Required Associated Types

type F: Field

type Commitment: Clone

type Challenger: TranscriptChallenger<Self::F, Self::Commitment>

Required Methods

fn sample(&mut self) -> Self::F

Sample a random field element from the challenger.

fn sample_bits(&mut self, bits: usize) -> usize

Sample a random bits-bit integer from the challenger.

Provided Methods

fn sample_algebra_element<A: BasedVectorSpace<Self::F>>(&mut self) -> A

Sample a random algebra element (e.g. extension field) from the challenger.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<'a, F, C, Ch> Channel for VerifierTranscript<'a, F, C, Ch>

where F: Field, C: Clone, Ch: TranscriptChallenger<F, C>,

type F = F

type Commitment = C

type Challenger = Ch

impl<F, C, Ch> Channel for ProverTranscript<F, C, Ch>

where F: Field, C: Clone, Ch: TranscriptChallenger<F, C>,

type F = F

type Commitment = C

type Challenger = Ch