Struct LogupTransparentTableOutput 

pub struct LogupTransparentTableOutput<F> {
    pub pushforward_eval_point: Vec<F>,
    pub pushforward_eval_claim: F,
    pub product_claim: F,
    pub index_eval_claims: Vec<F>,
}

The open claims belonging to one table whose table side is left unclosed.

Fields

pushforward_eval_point: Vec<F>

The fractional-addition leaf point z_t, of this table’s own m_t coordinates.

pushforward_eval_claim: F

The leaf claim Y_t(z_t) on this table’s pushforward.

product_claim: F

The product claim e_t = <T_t, Y_t>, an inner product over this table’s m_t-variable cube.

It is the gamma-combination of the claims of the lookers that read this table. The reduction never reads a table, so this claim arrives unchecked: opening it is what proves the lookups.

index_eval_claims: Vec<F>

The claimed evaluations of this table’s lookers’ index multilinears I, in its own looker order, each at that looker’s own suffix of LogupTransparentOutput::index_eval_point.

Trait Implementations

impl<F> Clone for LogupTransparentTableOutput<F>

where F: Clone,

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F> Debug for LogupTransparentTableOutput<F>

where F: Debug,

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

Formats the value using the given formatter.

impl<F> Eq for LogupTransparentTableOutput<F>

where F: Eq,

impl<F> PartialEq for LogupTransparentTableOutput<F>

where F: PartialEq,

fn eq(&self, other: &LogupTransparentTableOutput<F>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<F> StructuralPartialEq for LogupTransparentTableOutput<F>

where F: PartialEq,