Enum MulResultVar

pub enum MulResultVar<TargetF: PrimeField, BaseF: PrimeField> {
    Constant(TargetF),
    Var(AllocatedMulResultVar<TargetF, BaseF>),
}

An intermediate representation especially for the result of a multiplication, containing more limbs. It is intended for advanced usage to improve the efficiency.

That is, instead of calling mul, one can call mul_without_reduce to obtain this intermediate representation, which can still be added. Then, one can call reduce to reduce it back to EmulatedFpVar. This may help cut the number of reduce operations.

Variants

Constant(TargetF)

as a constant

Var(AllocatedMulResultVar<TargetF, BaseF>)

as an allocated gadget

Implementations

impl<TargetF: PrimeField, BaseF: PrimeField> MulResultVar<TargetF, BaseF>

pub fn zero() -> Self

Create a zero MulResultVar (used for additions)

pub fn constant(v: TargetF) -> Self

Create an MulResultVar from a constant

pub fn reduce(&self) -> R1CSResult<EmulatedFpVar<TargetF, BaseF>>

Reduce the MulResultVar back to EmulatedFpVar

Trait Implementations

impl<'a, TargetF: PrimeField, BaseF: PrimeField> Add<&'a MulResultVar<TargetF, BaseF>> for MulResultVar<TargetF, BaseF>

type Output = MulResultVar<TargetF, BaseF>

The resulting type after applying the + operator.

fn add(self, other: &'a MulResultVar<TargetF, BaseF>) -> Self::Output

Performs the + operation.

impl<'a, TargetF: PrimeField, BaseF: PrimeField> Add<MulResultVar<TargetF, BaseF>> for &'a MulResultVar<TargetF, BaseF>

type Output = MulResultVar<TargetF, BaseF>

The resulting type after applying the + operator.

fn add(self, other: MulResultVar<TargetF, BaseF>) -> Self::Output

Performs the + operation.

impl<'a, TargetF: PrimeField, BaseF: PrimeField> Add<TargetF> for &'a MulResultVar<TargetF, BaseF>

type Output = MulResultVar<TargetF, BaseF>

The resulting type after applying the + operator.

fn add(self, other: TargetF) -> Self::Output

Performs the + operation.

impl<TargetF: PrimeField, BaseF: PrimeField> Add<TargetF> for MulResultVar<TargetF, BaseF>

type Output = MulResultVar<TargetF, BaseF>

The resulting type after applying the + operator.

fn add(self, other: TargetF) -> Self::Output

Performs the + operation.

impl<'a, TargetF: PrimeField, BaseF: PrimeField> Add for &'a MulResultVar<TargetF, BaseF>

type Output = MulResultVar<TargetF, BaseF>

The resulting type after applying the + operator.

fn add(self, other: &'a MulResultVar<TargetF, BaseF>) -> Self::Output

Performs the + operation.

impl<TargetF: PrimeField, BaseF: PrimeField> Add for MulResultVar<TargetF, BaseF>

type Output = MulResultVar<TargetF, BaseF>

The resulting type after applying the + operator.

fn add(self, other: MulResultVar<TargetF, BaseF>) -> Self::Output

Performs the + operation.

impl<'a, TargetF: PrimeField, BaseF: PrimeField> AddAssign<&'a MulResultVar<TargetF, BaseF>> for MulResultVar<TargetF, BaseF>

fn add_assign(&mut self, other: &'a MulResultVar<TargetF, BaseF>)

Performs the += operation.

impl<TargetF: PrimeField, BaseF: PrimeField> AddAssign<TargetF> for MulResultVar<TargetF, BaseF>

fn add_assign(&mut self, other: TargetF)

Performs the += operation.

impl<TargetF: PrimeField, BaseF: PrimeField> AddAssign for MulResultVar<TargetF, BaseF>

fn add_assign(&mut self, other: MulResultVar<TargetF, BaseF>)

Performs the += operation.

impl<TargetF: Debug + PrimeField, BaseF: Debug + PrimeField> Debug for MulResultVar<TargetF, BaseF>

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

Formats the value using the given formatter.

impl<TargetF: PrimeField, BaseF: PrimeField> From<&EmulatedFpVar<TargetF, BaseF>> for MulResultVar<TargetF, BaseF>

fn from(src: &EmulatedFpVar<TargetF, BaseF>) -> Self

Converts to this type from the input type.