Struct LogupOutput 

pub struct LogupOutput<F> {
    pub table_eval_point: Vec<F>,
    pub index_eval_point: Vec<F>,
    pub tables: Vec<LogupTableOutput<F>>,
}

The reduced output claims of a logUp* verification.

Each claim must be verified separately by the caller. Verifying them is out of scope here.

The two sides each carry one point, shared by every table, and read it from opposite ends. That is not a choice: the pushforward reduction pads a table at its high variables, while the fractional-addition batch pads a looker at its low ones.

Fields

table_eval_point: Vec<F>

The point the table and pushforward evaluation claims are drawn from, of max m coordinates.

A table over m variables is claimed at the first m coordinates. Tables of equal size therefore all share the whole point; a smaller table’s point is a prefix of a larger one’s.

index_eval_point: Vec<F>

The point the index evaluation claims are drawn from, of max n coordinates.

A looker whose column has n variables is claimed at the last n coordinates. Lookers of equal length therefore all share the whole point; a shorter looker’s point is a suffix of a longer one’s, because the batch pads each instance at its low coordinates.

tables: Vec<LogupTableOutput<F>>

One entry per table, in the order the tables were given.

Trait Implementations

impl<F> Clone for LogupOutput<F>

where F: Clone,

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F> Debug for LogupOutput<F>

where F: Debug,

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

Formats the value using the given formatter.

impl<F> Eq for LogupOutput<F>

where F: Eq,

impl<F> PartialEq for LogupOutput<F>

where F: PartialEq,

fn eq(&self, other: &LogupOutput<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 LogupOutput<F>

where F: PartialEq,