halo2_ecc::fields

Trait PrimeFieldChip

Source
pub trait PrimeFieldChip<F: BigPrimeField>: FieldChip<F>
where Self::FieldType: BigPrimeField,
{ // Required methods fn num_limbs(&self) -> usize; fn limb_mask(&self) -> &BigUint; fn limb_bases(&self) -> &[F]; }

Required Methods§

Source

fn num_limbs(&self) -> usize

Source

fn limb_mask(&self) -> &BigUint

Source

fn limb_bases(&self) -> &[F]

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.

Implementors§

Source§

impl<'range, F: BigPrimeField, Fp: BigPrimeField> PrimeFieldChip<F> for FpChip<'range, F, Fp>