Trait ScalarLoader

pub trait ScalarLoader<F: PrimeField> {
    type LoadedScalar: LoadedScalar<F, Loader = Self>;

    // Required methods
    fn load_const(&self, value: &F) -> Self::LoadedScalar;
    fn assert_eq(
        &self,
        annotation: &str,
        lhs: &Self::LoadedScalar,
        rhs: &Self::LoadedScalar,
    );

    // Provided methods
    fn load_zero(&self) -> Self::LoadedScalar { ... }
    fn load_one(&self) -> Self::LoadedScalar { ... }
    fn sum_with_coeff_and_const(
        &self,
        values: &[(F, &Self::LoadedScalar)],
        constant: F,
    ) -> Self::LoadedScalar { ... }
    fn sum_products_with_coeff_and_const(
        &self,
        values: &[(F, &Self::LoadedScalar, &Self::LoadedScalar)],
        constant: F,
    ) -> Self::LoadedScalar { ... }
    fn sum_with_coeff(
        &self,
        values: &[(F, &Self::LoadedScalar)],
    ) -> Self::LoadedScalar { ... }
    fn sum_with_const(
        &self,
        values: &[&Self::LoadedScalar],
        constant: F,
    ) -> Self::LoadedScalar { ... }
    fn sum(&self, values: &[&Self::LoadedScalar]) -> Self::LoadedScalar { ... }
    fn sum_products_with_coeff(
        &self,
        values: &[(F, &Self::LoadedScalar, &Self::LoadedScalar)],
    ) -> Self::LoadedScalar { ... }
    fn sum_products_with_const(
        &self,
        values: &[(&Self::LoadedScalar, &Self::LoadedScalar)],
        constant: F,
    ) -> Self::LoadedScalar { ... }
    fn sum_products(
        &self,
        values: &[(&Self::LoadedScalar, &Self::LoadedScalar)],
    ) -> Self::LoadedScalar { ... }
    fn product(&self, values: &[&Self::LoadedScalar]) -> Self::LoadedScalar { ... }
    fn batch_invert<'a>(
        values: impl IntoIterator<Item = &'a mut Self::LoadedScalar>,
    )
       where Self::LoadedScalar: 'a { ... }
}

Field element loader.

Required Associated Types

type LoadedScalar: LoadedScalar<F, Loader = Self>

LoadedScalar.

Required Methods

fn load_const(&self, value: &F) -> Self::LoadedScalar

Load a constant field element.

fn assert_eq( &self, annotation: &str, lhs: &Self::LoadedScalar, rhs: &Self::LoadedScalar, )

Assert lhs and rhs field elements are equal.

Provided Methods

fn load_zero(&self) -> Self::LoadedScalar

Load zero as constant.

fn load_one(&self) -> Self::LoadedScalar

Load one as constant.

fn sum_with_coeff_and_const( &self, values: &[(F, &Self::LoadedScalar)], constant: F, ) -> Self::LoadedScalar

Sum field elements with coefficients and constant.

fn sum_products_with_coeff_and_const( &self, values: &[(F, &Self::LoadedScalar, &Self::LoadedScalar)], constant: F, ) -> Self::LoadedScalar

Sum product of field elements with coefficients and constant.

fn sum_with_coeff( &self, values: &[(F, &Self::LoadedScalar)], ) -> Self::LoadedScalar

Sum field elements with coefficients.

fn sum_with_const( &self, values: &[&Self::LoadedScalar], constant: F, ) -> Self::LoadedScalar

Sum field elements and constant.

fn sum(&self, values: &[&Self::LoadedScalar]) -> Self::LoadedScalar

Sum field elements.

fn sum_products_with_coeff( &self, values: &[(F, &Self::LoadedScalar, &Self::LoadedScalar)], ) -> Self::LoadedScalar

Sum product of field elements with coefficients.

fn sum_products_with_const( &self, values: &[(&Self::LoadedScalar, &Self::LoadedScalar)], constant: F, ) -> Self::LoadedScalar

Sum product of field elements and constant.

fn sum_products( &self, values: &[(&Self::LoadedScalar, &Self::LoadedScalar)], ) -> Self::LoadedScalar

Sum product of field elements.

fn product(&self, values: &[&Self::LoadedScalar]) -> Self::LoadedScalar

Product of field elements.

fn batch_invert<'a>( values: impl IntoIterator<Item = &'a mut Self::LoadedScalar>, )

where Self::LoadedScalar: 'a,

Batch invert field elements.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl<C: CurveAffine, EccChip: EccInstructions<C>> ScalarLoader<<C as PrimeCurveAffine>::Scalar> for Rc<Halo2Loader<C, EccChip>>

type LoadedScalar = Scalar<C, EccChip>

fn load_const(&self, value: &C::Scalar) -> Scalar<C, EccChip>

fn assert_eq( &self, _annotation: &str, lhs: &Scalar<C, EccChip>, rhs: &Scalar<C, EccChip>, )

fn sum_with_coeff_and_const( &self, values: &[(C::Scalar, &Scalar<C, EccChip>)], constant: C::Scalar, ) -> Scalar<C, EccChip>

fn sum_products_with_coeff_and_const( &self, values: &[(C::Scalar, &Scalar<C, EccChip>, &Scalar<C, EccChip>)], constant: C::Scalar, ) -> Scalar<C, EccChip>

impl<F: PrimeField<Repr = [u8; 32]>> ScalarLoader<F> for Rc<EvmLoader>

type LoadedScalar = Scalar

fn load_const(&self, value: &F) -> Scalar

fn assert_eq(&self, _: &str, _: &Scalar, _: &Scalar)

fn sum_with_coeff_and_const( &self, values: &[(F, &Scalar)], constant: F, ) -> Scalar

fn sum_products_with_coeff_and_const( &self, values: &[(F, &Scalar, &Scalar)], constant: F, ) -> Scalar

fn batch_invert<'a>(values: impl IntoIterator<Item = &'a mut Scalar>)

Implementors

impl<F: PrimeField> ScalarLoader<F> for NativeLoader

type LoadedScalar = F