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 = BMUL_ARITY

Number of operands.

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.

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>