Enum ProofItem

pub enum ProofItem {
    MerkleRoot(Digest),
    OutOfDomainMainRow(Box<MainRow<XFieldElement>>),
    OutOfDomainAuxRow(Box<AuxiliaryRow>),
    OutOfDomainQuotientSegments(QuotientSegments),
    AuthenticationStructure(AuthenticationStructure),
    MasterMainTableRows(Vec<MainRow<BFieldElement>>),
    MasterAuxTableRows(Vec<AuxiliaryRow>),
    Log2PaddedHeight(u32),
    QuotientSegmentsElements(Vec<QuotientSegments>),
    FriCodeword(Vec<XFieldElement>),
    FriPolynomial(Polynomial<'static, XFieldElement>),
    FriResponse(FriResponse),
}

Variants

MerkleRoot(Digest)

OutOfDomainMainRow(Box<MainRow<XFieldElement>>)

OutOfDomainAuxRow(Box<AuxiliaryRow>)

OutOfDomainQuotientSegments(QuotientSegments)

AuthenticationStructure(AuthenticationStructure)

MasterMainTableRows(Vec<MainRow<BFieldElement>>)

MasterAuxTableRows(Vec<AuxiliaryRow>)

Log2PaddedHeight(u32)

QuotientSegmentsElements(Vec<QuotientSegments>)

FriCodeword(Vec<XFieldElement>)

FriPolynomial(Polynomial<'static, XFieldElement>)

FriResponse(FriResponse)

Implementations

impl ProofItem

pub fn bfield_codec_discriminant(&self) -> usize

impl ProofItem

pub const fn include_in_fiat_shamir_heuristic(&self) -> bool

Whether a given proof item should be considered in the Fiat-Shamir heuristic. The Fiat-Shamir heuristic is sound only if all elements in the (current) transcript are considered. However, certain elements indirectly appear more than once. For example, a Merkle root is a commitment to any number of elements. If the Merkle root is part of the transcript, has been considered in the Fiat-Shamir heuristic, and assuming collision resistance of the hash function in use, none of the committed-to elements have to be considered in the Fiat-Shamir heuristic again. This also extends to the authentication structure of these elements, et cetera.

pub fn try_into_merkle_root(self) -> Result<Digest, ProofStreamError>

pub fn try_into_out_of_domain_main_row( self, ) -> Result<Box<MainRow<XFieldElement>>, ProofStreamError>

pub fn try_into_out_of_domain_aux_row( self, ) -> Result<Box<AuxiliaryRow>, ProofStreamError>

pub fn try_into_out_of_domain_quot_segments( self, ) -> Result<QuotientSegments, ProofStreamError>

pub fn try_into_authentication_structure( self, ) -> Result<AuthenticationStructure, ProofStreamError>

pub fn try_into_master_main_table_rows( self, ) -> Result<Vec<MainRow<BFieldElement>>, ProofStreamError>

pub fn try_into_master_aux_table_rows( self, ) -> Result<Vec<AuxiliaryRow>, ProofStreamError>

pub fn try_into_log2_padded_height(self) -> Result<u32, ProofStreamError>

pub fn try_into_quot_segments_elements( self, ) -> Result<Vec<QuotientSegments>, ProofStreamError>

pub fn try_into_fri_codeword( self, ) -> Result<Vec<XFieldElement>, ProofStreamError>

pub fn try_into_fri_polynomial( self, ) -> Result<Polynomial<'static, XFieldElement>, ProofStreamError>

pub fn try_into_fri_response(self) -> Result<FriResponse, ProofStreamError>

Trait Implementations

impl<'arbitrary> Arbitrary<'arbitrary> for ProofItem

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 ProofItem

type Error = ProofItemBFieldDecodingError

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 ProofItem

fn clone(&self) -> ProofItem

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ProofItem

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

Formats the value using the given formatter.

impl Display for ProofItem

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

Formats the value using the given formatter.

impl EnumCount for ProofItem

const COUNT: usize = 12usize

impl<'_enum> From<&'_enum ProofItem> for ProofItemVariant

fn from(val: &'_enum ProofItem) -> ProofItemVariant

Converts to this type from the input type.

impl From<ProofItem> for ProofItemVariant

fn from(val: ProofItem) -> ProofItemVariant

Converts to this type from the input type.

impl Hash for ProofItem

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for ProofItem

fn eq(&self, other: &ProofItem) -> 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 Eq for ProofItem

impl StructuralPartialEq for ProofItem