Struct LogupAtRow 

pub struct LogupAtRow<E: EvalAtRow> {
    pub interaction: usize,
    pub cumsum_shift: SecureField,
    pub fracs: Vec<Fraction<E::EF, E::EF>>,
    pub is_finalized: bool,
    pub log_size: u32,
}

Evaluates constraints for batched logups. These constraint enforce the sum of multiplicity_i / (z + sum_j alpha^j * x_j) = claimed_sum.

Fields

interaction: usize

The index of the interaction used for the cumulative sum columns.

cumsum_shift: SecureField

The total sum of all the fractions divided by n_rows.

fracs: Vec<Fraction<E::EF, E::EF>>

The evaluation of the last cumulative sum column.

is_finalized: bool

log_size: u32

Implementations

impl<E: EvalAtRow> LogupAtRow<E>

pub fn new(interaction: usize, claimed_sum: SecureField, log_size: u32) -> Self

pub fn dummy() -> Self

Trait Implementations

impl<E: EvalAtRow> Default for LogupAtRow<E>

fn default() -> Self

Returns the “default value” for a type.

impl<E: EvalAtRow> Drop for LogupAtRow<E>

Ensures that the LogupAtRow is finalized. LogupAtRow should be finalized exactly once.

fn drop(&mut self)

Executes the destructor for this type.

fn pin_drop(self: Pin<&mut Self>)

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

Execute the destructor for this type, but different to Drop::drop, it requires self to be pinned.