Struct MatMultLayerDescription 

pub struct MatMultLayerDescription<F: Field> {
    layer_id: LayerId,
    matrix_a: MatrixDescription<F>,
    matrix_b: MatrixDescription<F>,
}

The circuit description counterpart of a MatMult layer.

Fields

layer_id: LayerId

The layer id associated with this matmult layer.

matrix_a: MatrixDescription<F>

The LHS Matrix to be multiplied.

matrix_b: MatrixDescription<F>

The RHS Matrix to be multiplied.

Implementations

impl<F: Field> MatMultLayerDescription<F>

pub fn new( layer_id: LayerId, matrix_a: MatrixDescription<F>, matrix_b: MatrixDescription<F>, ) -> Self

Constructor for the MatMultLayerDescription, using the circuit description of the matrices that make up this layer.

Trait Implementations

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

fn clone(&self) -> MatMultLayerDescription<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 MatMultLayerDescription<F>

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

Formats the value using the given formatter.

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

fn layer_id(&self) -> LayerId

Gets this layer’s id.

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

The number of sumcheck rounds are only those over the inner dimensions of the matrix, hence they enumerate from 0 to the inner dimension.

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

Compute the evaluations of the MLE that represents the product of the two matrices over the boolean hypercube. Panics if the MLEs for the two matrices provided by the circuit map are of the wrong size.

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

Return the PostSumcheckLayer, given challenges that fully bind the expression.

type VerifierLayer = VerifierMatMultLayer<F>

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

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 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 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<'a>( &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.

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