Enum Layer

pub enum Layer<F> {
    GrandProduct(Mle<F>),
    LogUpGeneric {
        numerators: Mle<F>,
        denominators: Mle<F>,
    },
    LogUpMultiplicities {
        numerators: Mle<F>,
        denominators: Mle<F>,
    },
    LogUpSingles {
        denominators: Mle<F>,
    },
}

Represents a layer in a binary tree structured GKR circuit.

Layers can contain multiple columns, for example LogUp which has separate columns for numerators and denominators.

Variants

GrandProduct(Mle<F>)

LogUpGeneric

Fields

numerators: Mle<F>

denominators: Mle<F>

LogUpMultiplicities

Fields

numerators: Mle<F>

denominators: Mle<F>

LogUpSingles

All numerators implicitly equal “1”.

Fields

denominators: Mle<F>

Implementations

impl<F: Field> Layer<F>

pub fn n_variables(&self) -> usize

Returns the number of variables used to interpolate the layer’s gate values.

pub fn next_layer(&self) -> Option<Self>

Produces the next layer from the current layer.

The next layer is strictly half the size of the current layer. Returns None if called on an output layer.

pub fn try_into_output_layer_values(self) -> Result<Vec<F>, NotOutputLayerError>

Returns each column output if the layer is an output layer, otherwise returns an Err.

pub fn fix_first_variable(self, x0: F) -> Self

Returns a transformed layer with the first variable of each column fixed to assignment.

Trait Implementations

impl<F: Clone> Clone for Layer<F>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F: Debug> Debug for Layer<F>

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

Formats the value using the given formatter.