Struct fullcodec_plonk::constraint_system::Constraint

pub struct Constraint { /* fields omitted */ }

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]

Performs the conversion.

impl Clone for Constraint

fn clone(&self) -> Constraint

Returns a copy 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<Constraint> for Constraint

fn eq(&self, other: &Constraint) -> bool

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl Copy for Constraint

impl Eq for Constraint

impl StructuralEq for Constraint

impl StructuralPartialEq for Constraint