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