Struct Constraint 

pub struct Constraint { /* private fields */ }

Constraint representation containing the coefficients of a polynomial evaluation

Implementations

impl Constraint

pub const fn new() -> Self

Initiate the composition of a new selector description of a circuit.

pub fn mult<T: Into<BlsScalar>>(self, s: T) -> Self

Set s as the polynomial selector for the multiplication coefficient.

pub fn left<T: Into<BlsScalar>>(self, s: T) -> Self

Set s as the polynomial selector for the left coefficient.

pub fn right<T: Into<BlsScalar>>(self, s: T) -> Self

Set s as the polynomial selector for the right coefficient.

pub fn output<T: Into<BlsScalar>>(self, s: T) -> Self

Set s as the polynomial selector for the output coefficient.

pub fn fourth<T: Into<BlsScalar>>(self, s: T) -> Self

Set s as the polynomial selector for the fourth (advice) coefficient.

pub fn constant<T: Into<BlsScalar>>(self, s: T) -> Self

Set s as the polynomial selector for the constant of the constraint.

pub fn public<T: Into<BlsScalar>>(self, s: T) -> Self

Set s as the public input of the constraint evaluation.

pub fn a(self, w: Witness) -> Self

Set witness a wired to qM and qL

pub fn b(self, w: Witness) -> Self

Set witness b wired to qM and qR

pub fn o(self, w: Witness) -> Self

Set witness o wired to qO

pub fn d(self, w: Witness) -> Self

Set witness d wired to the fourth/advice q4 coefficient

Trait Implementations

impl AsRef<[Scalar]> for Constraint

fn as_ref(&self) -> &[BlsScalar]

Converts this type into a shared reference of the (usually inferred) input type.

impl Clone for Constraint

fn clone(&self) -> Constraint

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Constraint

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

Formats the value using the given formatter.

impl Default for Constraint

fn default() -> Self

Returns the “default value” for a type.

impl PartialEq for Constraint

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

impl Eq for Constraint

impl StructuralPartialEq for Constraint