Enum ConstraintViolation 

pub enum ConstraintViolation {
    Zero {
        val: u64,
    },
    And {
        a: u64,
        b: u64,
        c: u64,
        residue: u64,
    },
    Imul {
        a: u64,
        b: u64,
        lo: u64,
        hi: u64,
        expected_lo: u64,
        expected_hi: u64,
    },
    Bmul {
        a: u128,
        b: u128,
        c: u128,
        expected: u128,
    },
}

The arithmetic by which a single constraint fails on a value vector.

Every variant carries the operand words as the value vector evaluates them. The failing relation reads straight off the message, with no need to recompute it.

Variants

Zero

An operand required to vanish holds a nonzero word.

Fields

val: u64

The word the operand evaluates to.

And

A conjunction of two operands disagrees with the operand claiming it.

Fields

a: u64

The first operand of the conjunction.

b: u64

The second operand of the conjunction.

c: u64

The claimed conjunction.

residue: u64

The bits on which the claim and the conjunction differ.

Imul

An integer product disagrees with the word pair claiming it.

Fields

a: u64

The first factor.

b: u64

The second factor.

lo: u64

The claimed low 64 bits of the product.

hi: u64

The claimed high 64 bits of the product.

expected_lo: u64

The low 64 bits the product actually has.

expected_hi: u64

The high 64 bits the product actually has.

Bmul

A binary-field product disagrees with the element claiming it.

Fields

a: u128

The first factor, with bit i holding the coefficient of X^i.

b: u128

The second factor, with bit i holding the coefficient of X^i.

c: u128

The claimed product.

expected: u128

The product the two factors actually have.

Implementations

impl ConstraintViolation

pub const fn kind(&self) -> ConstraintKind

Returns the kind of constraint that failed.

The kind follows from which relation was violated. Storing it as a separate field would let the two disagree.

Trait Implementations

impl Debug for ConstraintViolation

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

Formats the value using the given formatter.

impl Display for ConstraintViolation

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

Formats the value using the given formatter.

impl Error for ConstraintViolation

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.