Trait leo_gadgets::arithmetic::mul::Mul

pub trait Mul<F: Field, Rhs = Self> where
    Self: Sized, {
    type ErrorType;
    pub fn mul<CS: ConstraintSystem<F>>(
        &self, 
        cs: CS, 
        other: &Self
    ) -> Result<Self, Self::ErrorType>;
}

Returns multiplication of self * other in the constraint system.

Associated Types

type ErrorType

Loading content...

Required methods

pub fn mul<CS: ConstraintSystem<F>>(
    &self,
    cs: CS,
    other: &Self
) -> Result<Self, Self::ErrorType>

Loading content...

Implementors

impl<F: PrimeField> Mul<F, Int8> for Int8

Bitwise multiplication of two signed integer objects.

type ErrorType = SignedIntegerError

pub fn mul<CS: ConstraintSystem<F>>(
    &self,
    mut cs: CS,
    other: &Self
) -> Result<Self, Self::ErrorType>

impl<F: PrimeField> Mul<F, Int16> for Int16

Bitwise multiplication of two signed integer objects.

type ErrorType = SignedIntegerError

pub fn mul<CS: ConstraintSystem<F>>(
    &self,
    mut cs: CS,
    other: &Self
) -> Result<Self, Self::ErrorType>

impl<F: PrimeField> Mul<F, Int32> for Int32

Bitwise multiplication of two signed integer objects.

type ErrorType = SignedIntegerError

pub fn mul<CS: ConstraintSystem<F>>(
    &self,
    mut cs: CS,
    other: &Self
) -> Result<Self, Self::ErrorType>

impl<F: PrimeField> Mul<F, Int64> for Int64

Bitwise multiplication of two signed integer objects.

type ErrorType = SignedIntegerError

pub fn mul<CS: ConstraintSystem<F>>(
    &self,
    mut cs: CS,
    other: &Self
) -> Result<Self, Self::ErrorType>

impl<F: PrimeField> Mul<F, Int128> for Int128

Bitwise multiplication of two signed integer objects.

type ErrorType = SignedIntegerError

pub fn mul<CS: ConstraintSystem<F>>(
    &self,
    mut cs: CS,
    other: &Self
) -> Result<Self, Self::ErrorType>

Loading content...