Trait AccumulatorEncoding

pub trait AccumulatorEncoding<C, L>: Clone + Debug
where
    C: CurveAffine,
    L: Loader<C>,
{
    type Accumulator: Clone + Debug;

    // Required method
    fn from_repr(repr: &[&L::LoadedScalar]) -> Result<Self::Accumulator, Error>;
}

Accumulator encoding.

Required Associated Types

type Accumulator: Clone + Debug

Accumulator to be encoded.

Required Methods

fn from_repr(repr: &[&L::LoadedScalar]) -> Result<Self::Accumulator, Error>

Decode an AccumulatorEncoding::Accumulator from serveral crate::loader::ScalarLoader::LoadedScalars.

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, L, PCS> AccumulatorEncoding<C, L> for PhantomData<PCS>

where C: CurveAffine, L: Loader<C>, PCS: PolynomialCommitmentScheme<C, L>,

type Accumulator = <PCS as PolynomialCommitmentScheme<C, L>>::Output

fn from_repr(_: &[&L::LoadedScalar]) -> Result<Self::Accumulator, Error>

Implementors

impl<C, EccChip, const LIMBS: usize, const BITS: usize> AccumulatorEncoding<C, Rc<Halo2Loader<C, EccChip>>> for LimbsEncoding<LIMBS, BITS>

where C: CurveAffine, EccChip: LimbsEncodingInstructions<C, LIMBS, BITS>,

type Accumulator = KzgAccumulator<C, Rc<Halo2Loader<C, EccChip>>>

impl<C, const LIMBS: usize, const BITS: usize> AccumulatorEncoding<C, NativeLoader> for LimbsEncoding<LIMBS, BITS>

where C: CurveAffine,

type Accumulator = KzgAccumulator<C, NativeLoader>

impl<C, const LIMBS: usize, const BITS: usize> AccumulatorEncoding<C, Rc<EvmLoader>> for LimbsEncoding<LIMBS, BITS>

where C: CurveAffine, C::Scalar: PrimeField<Repr = [u8; 32]>,

type Accumulator = KzgAccumulator<C, Rc<EvmLoader>>