Trait snarkvm_wasm::traits::integers::Mul [−][src]
pub trait Mul<F, Rhs = Self> where
F: Field, { type ErrorType; fn mul<CS>(&self, cs: CS, other: &Self) -> Result<Self, Self::ErrorType>
where
CS: ConstraintSystem<F>; fn mul_unsafe<CS>(
&self,
cs: CS,
other: &Self
) -> Result<Self, Self::ErrorType>
where
CS: ConstraintSystem<F>; }
Expand description
Returns multiplication of self
* other
in the constraint system.
Associated Types
Required methods
fn mul<CS>(&self, cs: CS, other: &Self) -> Result<Self, Self::ErrorType> where
CS: ConstraintSystem<F>,
fn mul_unsafe<CS>(&self, cs: CS, other: &Self) -> Result<Self, Self::ErrorType> where
CS: ConstraintSystem<F>,
fn mul_unsafe<CS>(&self, cs: CS, other: &Self) -> Result<Self, Self::ErrorType> where
CS: ConstraintSystem<F>,
Overflowing mul gadget. Used to calculate exponents in pow gadget.