Trait FieldWitness

pub trait FieldWitness
where
    Self: Field + Send + Sync + Into<BigInteger256> + From<BigInteger256> + Into<BigInt> + From<i64> + From<i32> + ToFieldElements<Self> + Check<Self> + FromFpFq + PrimeField + FftField + SpongeParamsForField<Self> + Debug + 'static,
{
    type Scalar: FieldWitness<Scalar = Self>;
    type Affine: AffineRepr<Group = Self::Projective, BaseField = Self, ScalarField = <Self as FieldWitness>::Scalar> + Into<GroupAffine<Self>> + KimchiCurve + Debug;
    type Projective: CurveGroup<Affine = Self::Affine, BaseField = Self, ScalarField = <Self as FieldWitness>::Scalar> + From<Projective<Self::Parameters>> + Debug;
    type Parameters: SWCurveConfig<BaseField = Self, ScalarField = <Self as FieldWitness>::Scalar> + Clone + Debug;
    type Shifting: ShiftingValue<Self> + Clone + Debug;
    type OtherCurve: KimchiCurve<ScalarField = Self, BaseField = <Self as FieldWitness>::Scalar>;
    type FqSponge: Clone + FqSponge<<Self as FieldWitness>::Scalar, Self::OtherCurve, Self>;

    const PARAMS: Params<Self>;
    const SIZE: BigInteger256;
    const NROUNDS: usize;
    const SRS_DEPTH: usize;
}

All the generics we need during witness generation

Required Associated Constants

const PARAMS: Params<Self>

const SIZE: BigInteger256

const NROUNDS: usize

const SRS_DEPTH: usize

Required Associated Types

type Scalar: FieldWitness<Scalar = Self>

type Affine: AffineRepr<Group = Self::Projective, BaseField = Self, ScalarField = <Self as FieldWitness>::Scalar> + Into<GroupAffine<Self>> + KimchiCurve + Debug

type Projective: CurveGroup<Affine = Self::Affine, BaseField = Self, ScalarField = <Self as FieldWitness>::Scalar> + From<Projective<Self::Parameters>> + Debug

type Parameters: SWCurveConfig<BaseField = Self, ScalarField = <Self as FieldWitness>::Scalar> + Clone + Debug

type Shifting: ShiftingValue<Self> + Clone + Debug

type OtherCurve: KimchiCurve<ScalarField = Self, BaseField = <Self as FieldWitness>::Scalar>

type FqSponge: Clone + FqSponge<<Self as FieldWitness>::Scalar, Self::OtherCurve, Self>

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 FieldWitness for Fp

const PARAMS: Params<Self>

https://github.com/openmina/mina/blob/46b6403cb7f158b66a60fc472da2db043ace2910/src/lib/crypto/kimchi_backend/pasta/basic/kimchi_pasta_basic.ml#L107

const SIZE: BigInteger256 = mina_curves::pasta::fields::FpParameters::MODULUS

const NROUNDS: usize = 16usize

const SRS_DEPTH: usize = 32_768usize

type Scalar = Fp<MontBackend<FrConfig, 4>, 4>

type Parameters = PallasParameters

type Affine = Affine<<Fp<MontBackend<FqConfig, 4>, 4> as FieldWitness>::Parameters>

type Projective = Projective<PallasParameters>

type Shifting = ShiftedValue<Fp<MontBackend<FqConfig, 4>, 4>>

type OtherCurve = Affine<<Fp<MontBackend<FrConfig, 4>, 4> as FieldWitness>::Parameters>

type FqSponge = DefaultFqSponge<VestaParameters, PlonkSpongeConstantsKimchi>

impl FieldWitness for Fq

const PARAMS: Params<Self>

https://github.com/openmina/mina/blob/46b6403cb7f158b66a60fc472da2db043ace2910/src/lib/crypto/kimchi_backend/pasta/basic/kimchi_pasta_basic.ml#L95

const SIZE: BigInteger256 = mina_curves::pasta::fields::FqParameters::MODULUS

const NROUNDS: usize = 15usize

const SRS_DEPTH: usize = 65_536usize

type Scalar = Fp<MontBackend<FqConfig, 4>, 4>

type Parameters = VestaParameters

type Affine = Affine<<Fp<MontBackend<FrConfig, 4>, 4> as FieldWitness>::Parameters>

type Projective = Projective<VestaParameters>

type Shifting = ShiftedValue<Fp<MontBackend<FrConfig, 4>, 4>>

type OtherCurve = Affine<<Fp<MontBackend<FqConfig, 4>, 4> as FieldWitness>::Parameters>

type FqSponge = DefaultFqSponge<PallasParameters, PlonkSpongeConstantsKimchi>

Implementors