Enum LayerDescriptionEnum 

pub enum LayerDescriptionEnum<F: Field> {
    Regular(RegularLayerDescription<F>),
    Gate(GateLayerDescription<F>),
    IdentityGate(IdentityGateLayerDescription<F>),
    MatMult(MatMultLayerDescription<F>),
}

An enum representing the different types of descriptions for each layer, each description containing the shape information of the corresponding layer.

Variants

Regular(RegularLayerDescription<F>)

The circuit description for a regular layer variant.

Gate(GateLayerDescription<F>)

The circuit description for a gate layer variant.

IdentityGate(IdentityGateLayerDescription<F>)

The circuit description for a identity gate layer variant.

MatMult(MatMultLayerDescription<F>)

The circuit description for a matmult layer variant.

Trait Implementations

impl<F: Clone + Field> Clone for LayerDescriptionEnum<F>

fn clone(&self) -> LayerDescriptionEnum<F>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: Debug + Field> Debug for LayerDescriptionEnum<F>

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

Formats the value using the given formatter.

impl<'de, F> Deserialize<'de> for LayerDescriptionEnum<F>

where F: Field,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<F: Hash + Field> Hash for LayerDescriptionEnum<F>

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<F: Field> LayerDescription<F> for LayerDescriptionEnum<F>

type VerifierLayer = VerifierLayerEnum<F>

The associated type that the verifier uses to work with a layer of this kind.

fn layer_id(&self) -> LayerId

Returns this layer’s ID.

fn compute_data_outputs( &self, mle_outputs_necessary: &HashSet<&MleDescription<F>>, circuit_map: &mut CircuitEvalMap<F>, )

Given the MleDescriptions of which outputs are expected of this layer, compute the data that populates these bookkeeping tables and mutate the circuit map to reflect this.

fn verify_rounds( &self, claims: &[&RawClaim<F>], transcript: &mut impl VerifierTranscript<F>, ) -> Result<VerifierLayerEnum<F>>

Tries to verify claims for this layer and returns a VerifierLayer with a fully bound and evaluated expression.

fn sumcheck_round_indices(&self) -> Vec<usize>

The list of sumcheck rounds this layer will prove, by index.

fn convert_into_verifier_layer( &self, sumcheck_bindings: &[F], claim_points: &[&[F]], transcript_reader: &mut impl VerifierTranscript<F>, ) -> Result<Self::VerifierLayer>

Turns this LayerDescription into a VerifierLayer by taking the sumcheck_bindings and claim_points and inserting them into the expression to become a verifier expression.

fn get_circuit_mles(&self) -> Vec<&MleDescription<F>>

The MleDescriptions that make up the leaves of the expression in this layer.

fn index_mle_indices(&mut self, start_index: usize)

Label the MLE indices, starting from the start_index by converting crate::mle::MleIndex::Free to crate::mle::MleIndex::Indexed.

fn convert_into_prover_layer( &self, circuit_map: &CircuitEvalMap<F>, ) -> LayerEnum<F>

Given a CircuitEvalMap, turn this LayerDescription into a ProverLayer.

fn get_post_sumcheck_layer( &self, round_challenges: &[F], claim_challenges: &[&[F]], random_coefficients: &[F], ) -> PostSumcheckLayer<F, Option<F>>

Gets the PostSumcheckLayer for this layer. Relevant for the Hyrax IP, where we need commitments to fully bound MLEs as well as their intermediate products.

fn max_degree(&self) -> usize

The maximum degree for any univariate in the sumcheck protocol.

impl<F> Serialize for LayerDescriptionEnum<F>

where F: Field,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.