Struct ZeroConstraint 

pub struct ZeroConstraint(pub [Operand; 1]);

Zero constraint: VAL = 0.

This constraint verifies that a single operand vanishes, where the operand is the XOR of multiple shifted values from the value vector. It expresses an arbitrary F_2-linear relation among shifted words: a two-term operand constrains two shifted values to be equal, and a three-term operand [x, y, z] forces z = x ^ y.

The operands are stored in the order given by ZeroConstraint::OPERAND_NAMES.

Tuple Fields

0: [Operand; 1]

Implementations

impl ZeroConstraint

pub const ARITY: usize = 1

Number of operands.

pub const KIND: ConstraintKind = ConstraintKind::Zero

Kind of this constraint.

pub const OPERAND_NAMES: [&'static str; 1]

Names of the operands, in storage order.

pub fn plain(val: impl IntoIterator<Item = ValueIndex>) -> ZeroConstraint

Creates a new Zero constraint from an XOR combination of the given unshifted values.

pub fn new(val: impl IntoIterator<Item = ShiftedValueIndex>) -> ZeroConstraint

Creates a new Zero constraint from an XOR combination of the given shifted values.

pub const fn val(&self) -> &Operand

Operand VAL.

pub fn verify(&self, values: &ValueVec) -> Result<(), ConstraintViolation>

Checks that the given value vector makes the single operand vanish.

Errors

Returns the word the operand evaluates to, when that word is nonzero.

Trait Implementations

impl AsRef<[Vec<ShiftedValueIndex>; 1]> for ZeroConstraint

fn as_ref(&self) -> &[Operand; 1]

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

impl Clone for ZeroConstraint

fn clone(&self) -> ZeroConstraint

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ZeroConstraint

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

Formats the value using the given formatter.

impl Default for ZeroConstraint

fn default() -> ZeroConstraint

Returns the “default value” for a type.

impl DeserializeBytes for ZeroConstraint

fn deserialize(read_buf: impl Buf) -> Result<Self, SerializationError>

where Self: Sized,

impl SerializeBytes for ZeroConstraint

fn serialize(&self, write_buf: impl BufMut) -> Result<(), SerializationError>