Enum ProofItemVariant

pub enum ProofItemVariant {
    MerkleRoot,
    OutOfDomainMainRow,
    OutOfDomainAuxRow,
    OutOfDomainQuotientSegments,
    AuthenticationStructure,
    MasterMainTableRows,
    MasterAuxTableRows,
    Log2PaddedHeight,
    QuotientSegmentsElements,
    FriCodeword,
    FriPolynomial,
    FriResponse,
}

Auto-generated discriminant enum variants

Variants

MerkleRoot

OutOfDomainMainRow

OutOfDomainAuxRow

OutOfDomainQuotientSegments

AuthenticationStructure

MasterMainTableRows

MasterAuxTableRows

Log2PaddedHeight

QuotientSegmentsElements

FriCodeword

FriPolynomial

FriResponse

Implementations

impl ProofItemVariant

pub fn bfield_codec_discriminant(&self) -> usize

impl ProofItemVariant

pub fn payload_static_length(self) -> Option<usize>

pub const fn include_in_fiat_shamir_heuristic(self) -> bool

See ProofItem::include_in_fiat_shamir_heuristic.

pub const fn payload_type(self) -> &'static str

Can be used as “reflection”, for example through syn.

Trait Implementations

impl<'arbitrary> Arbitrary<'arbitrary> for ProofItemVariant

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 ProofItemVariant

type Error = ProofItemVariantBFieldDecodingError

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 ProofItemVariant

fn clone(&self) -> ProofItemVariant

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ProofItemVariant

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

Formats the value using the given formatter.

impl Display for ProofItemVariant

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

Formats the value using the given formatter.

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 IntoEnumIterator for ProofItemVariant

type Iterator = ProofItemVariantIter

fn iter() -> ProofItemVariantIter

impl PartialEq for ProofItemVariant

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

impl Eq for ProofItemVariant

impl StructuralPartialEq for ProofItemVariant