Enum Layer

Source

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>,
    },
}

Expand description

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§

Source §

impl<F: Field> Layer<F>

Source

pub fn n_variables(&self) -> usize

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

Source

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.

Source

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.

Source

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§

Source §

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

Source §

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

Returns a copy of the value. Read more

1.0.0 · Source§

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

Performs copy-assignment from source. Read more

Source §

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

Source §

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

§

impl<F> UnwindSafe for Layer<F>
where F: UnwindSafe,

Blanket Implementations§

Source §

impl<T> Any for T
where T: 'static + ?Sized,

Source §

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

Source §

impl<T> Borrow<T> for T
where T: ?Sized,

Source §

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

Source §

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source §

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

Source §

impl<T> CloneToUninit for T
where T: Clone,

Source §

unsafe fn clone_to_uninit(&self, dst: *mut T)

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dst. Read more

Source §

impl<T> From<T> for T

Source §

fn from(t: T) -> T

Returns the argument unchanged.

§

impl<T> Instrument for T

§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided [Span], returning an Instrumented wrapper. Read more

§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more

Source §

impl<T, U> Into for T
where U: From<T>,

Source §

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source §

impl<T> IntoEither for T

Source §

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

Source §

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

§