Struct VirtualPairCol

pub struct VirtualPairCol<F: Field> { /* private fields */ }

An affine function over columns in a PAIR.

Implementations

impl<F: Field> VirtualPairCol<F>

pub const ONE: Self = _

pub const fn new(column_weights: Vec<(PairCol, F)>, constant: F) -> Self

pub fn new_preprocessed(column_weights: Vec<(usize, F)>, constant: F) -> Self

pub fn new_main(column_weights: Vec<(usize, F)>, constant: F) -> Self

pub const fn constant(x: F) -> Self

pub fn single(column: PairCol) -> Self

pub fn single_preprocessed(column: usize) -> Self

pub fn single_main(column: usize) -> Self

pub fn sum_main(columns: Vec<usize>) -> Self

pub fn sum_preprocessed(columns: Vec<usize>) -> Self

pub fn diff_preprocessed(a_col: usize, b_col: usize) -> Self

a - b, where a and b are columns in the preprocessed trace.

pub fn diff_main(a_col: usize, b_col: usize) -> Self

a - b, where a and b are columns in the main trace.

pub fn apply<Expr, Var>(&self, preprocessed: &[Var], main: &[Var]) -> Expr

where F: Into<Expr>, Expr: AbstractField + Mul<F, Output = Expr>, Var: Into<Expr> + Copy,

Trait Implementations

impl<F: Clone + Field> Clone for VirtualPairCol<F>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F: Debug + Field> Debug for VirtualPairCol<F>

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

Formats the value using the given formatter.