Struct BmulConstraint 

pub struct BmulConstraint(pub [Operand; 6]);

BMUL constraint: A * B = C in the GHASH field GF(2^128).

Multiplication of two GHASH binary-field elements. Because a field element spans 128 bits while a word holds only 64, each operand is carried by a pair of words: the lo word supplies the low 64 coefficients (of 1, X, ..., X^63) and the hi word the high 64 (of X^64, ..., X^127).

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

Tuple Fields

0: [Operand; 6]

Implementations

impl BmulConstraint

pub const ARITY: usize = 6

Number of operands.

pub const KIND: ConstraintKind = ConstraintKind::Bmul

Kind of this constraint.

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

Names of the operands, in storage order.

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

Low word of the A operand.

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

High word of the A operand.

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

Low word of the B operand.

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

High word of the B operand.

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

Low word of the C (product) operand.

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

High word of the C (product) operand.

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

Checks that the product of operands A and B equals operand C in the GHASH field.

The multiply runs through the same field implementation the proving system uses. This check therefore cannot drift from the arithmetic it mirrors.

Errors

Returns the three reassembled elements, alongside the product the factors actually have.

Trait Implementations

impl AsRef<[Vec<ShiftedValueIndex>; 6]> for BmulConstraint

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

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

impl Clone for BmulConstraint

fn clone(&self) -> BmulConstraint

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BmulConstraint

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

Formats the value using the given formatter.

impl Default for BmulConstraint

fn default() -> BmulConstraint

Returns the “default value” for a type.

impl DeserializeBytes for BmulConstraint

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

where Self: Sized,

impl SerializeBytes for BmulConstraint

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