Struct ProofStream

pub struct ProofStream {
    pub items: Vec<ProofItem>,
    pub items_index: usize,
    pub sponge: Tip5,
}

Fields

items: Vec<ProofItem>

items_index: usize

sponge: Tip5

Implementations

impl ProofStream

pub fn new() -> Self

pub fn transcript_length(&self) -> usize

The number of field elements required to encode the proof.

pub fn alter_fiat_shamir_state_with(&mut self, item: &impl BFieldCodec)

Alters the Fiat-Shamir’s sponge state with the encoding of the given item. Does not record the given item in the proof stream. This is useful for items that are not sent to the verifier, e.g., the Claim.

See also Self::enqueue() and Self::dequeue().

pub fn enqueue(&mut self, item: ProofItem)

Send a proof item as prover to verifier. Some items do not need to be included in the Fiat-Shamir heuristic, i.e., they do not need to modify the sponge state. For those items, namely those that evaluate to false according to ProofItem::include_in_fiat_shamir_heuristic, the sponge state is not modified. For example:

• Merkle authentication structure do not need to be hashed if the root of the tree in question was hashed previously.
• If the proof stream is not used to sample any more randomness, i.e., after the last round of interaction, no further items need to be hashed.

pub fn dequeue(&mut self) -> Result<ProofItem, ProofStreamError>

Receive a proof item from prover as verifier. See ProofStream::enqueue for more details.

pub fn sample_indices( &mut self, upper_bound: usize, num_indices: usize, ) -> Vec<usize>

Given an upper_bound that is a power of 2, produce num_indices uniform random numbers in the interval [0; upper_bound).

• upper_bound: The (non-inclusive) upper bound. Must be a power of two.
• num_indices: The number of indices to sample

pub fn sample_scalars(&mut self, num_scalars: usize) -> Vec<XFieldElement>

A thin wrapper around H::sample_scalars.

Trait Implementations

impl<'arbitrary> Arbitrary<'arbitrary> for ProofStream

fn arbitrary(u: &mut Unstructured<'arbitrary>) -> Result<Self>

Generate an arbitrary value of Self from the given unstructured data.

fn arbitrary_take_rest(u: Unstructured<'arbitrary>) -> Result<Self>

Generate an arbitrary value of Self from the entirety of the given unstructured data.

fn size_hint(depth: usize) -> (usize, Option<usize>)

Get a size hint for how many bytes out of an Unstructured this type needs to construct itself.

impl BFieldCodec for ProofStream

type Error = ProofStreamBFieldDecodingError

fn decode(sequence: &[BFieldElement]) -> Result<Box<Self>, Self::Error>

fn encode(&self) -> Vec<BFieldElement>

fn static_length() -> Option<usize>

Returns the length in number of BFieldElements if it is known at compile-time. Otherwise, None.

impl Clone for ProofStream

fn clone(&self) -> ProofStream

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ProofStream

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

Formats the value using the given formatter.

impl Default for ProofStream

fn default() -> ProofStream

Returns the “default value” for a type.

impl From<&ProofStream> for Proof

fn from(proof_stream: &ProofStream) -> Self

Converts to this type from the input type.

impl From<<ProofStream as BFieldCodec>::Error> for ProofStreamError

fn from(source: <ProofStream as BFieldCodec>::Error) -> Self

Converts to this type from the input type.

impl From<ProofStream> for Proof

fn from(proof_stream: ProofStream) -> Self

Converts to this type from the input type.

impl PartialEq for ProofStream

fn eq(&self, other: &ProofStream) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl TryFrom<&Proof> for ProofStream

type Error = ProofStreamError

The type returned in the event of a conversion error.

fn try_from(proof: &Proof) -> Result<Self, ProofStreamError>

Performs the conversion.

impl Eq for ProofStream

impl StructuralPartialEq for ProofStream