Struct AffineVirtualSpec 

pub struct AffineVirtualSpec { /* private fields */ }

Declares an affine virtual binary-polynomial expression whose coefficients must be proved boolean.

The represented expression is

ones_coefficient * 1_D + sum_i coefficient_i * source_i[row + shift_i]

where 1_D = 1 + X + ... + X^(D-1) is the all-ones bit polynomial for the binary-poly cell width D. This covers the paper’s Ch/Maj lookup targets, for example a + b + c - 2m and (1_D - e) + g - 2u.

Affine virtual specs are Q-side booleanity targets. They do not add entries to the down row, and they are not committed columns.

Implementations

impl AffineVirtualSpec

pub fn new(terms: Vec<AffineVirtualTerm>) -> Self

Construct an affine virtual expression with no 1_D offset.

pub fn with_ones_coefficient( terms: Vec<AffineVirtualTerm>, ones_coefficient: i64, ) -> Self

Construct an affine virtual expression with a scalar multiple of 1_D as its constant bit-polynomial offset.

pub fn terms(&self) -> &[AffineVirtualTerm]

pub fn ones_coefficient(&self) -> i64

Trait Implementations

impl Clone for AffineVirtualSpec

fn clone(&self) -> AffineVirtualSpec

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AffineVirtualSpec

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

Formats the value using the given formatter.

impl Hash for AffineVirtualSpec

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for AffineVirtualSpec

fn eq(&self, other: &AffineVirtualSpec) -> 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 Eq for AffineVirtualSpec

impl StructuralPartialEq for AffineVirtualSpec