Struct IdentityGateLayerDescription 

pub struct IdentityGateLayerDescription<F: Field> {
    id: LayerId,
    wiring: Vec<(u32, u32)>,
    source_mle: MleDescription<F>,
    total_num_vars: usize,
    num_dataparallel_vars: usize,
}

The circuit Description for an IdentityGate.

Fields

id: LayerId

The layer id associated with this gate layer.

wiring: Vec<(u32, u32)>

A vector of tuples representing the “nonzero” gates, especially useful in the sparse case the format is (z, x) where the gate at label z is the output of adding all values from labels x.

source_mle: MleDescription<F>

The source MLE of the expression, i.e. the mle that makes up the “x” variables.

total_num_vars: usize

The total number of variables in the layer.

num_dataparallel_vars: usize

The number of vars representing the number of “dataparallel” copies of the circuit.

Implementations

impl<F: Field> IdentityGateLayerDescription<F>

pub fn new( id: LayerId, wiring: Vec<(u32, u32)>, source_mle: MleDescription<F>, total_num_vars: usize, num_dataparallel_vars: Option<usize>, ) -> Self

Constructor for IdentityGateLayerDescription. Arguments:

• id: The layer id associated with this layer.
• source_mle: The Mle that is being routed to this layer.
• nonzero_gates: A list of tuples representing the gates that are nonzero, in the form (dest_idx, src_idx).
• total_num_vars: The total number of variables in the layer.
• num_dataparallel_vars: The number of dataparallel variables to use in this layer.

Trait Implementations

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

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: Field> Debug for IdentityGateLayerDescription<F>

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

Formats the value using the given formatter.

impl<'de, F> Deserialize<'de> for IdentityGateLayerDescription<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 IdentityGateLayerDescription<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 IdentityGateLayerDescription<F>

type VerifierLayer = VerifierIdentityGateLayer<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 verify_rounds( &self, claims: &[&RawClaim<F>], transcript_reader: &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_challenges: &[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_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.

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

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

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

Given a CircuitEvalMap, turn this LayerDescription into a ProverLayer.

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 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.

impl<F> Serialize for IdentityGateLayerDescription<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.