Trait FieldWitness

pub trait FieldWitness
where
    Self: Field + Send + Sync + Into<BigInteger256> + TryFrom<BigInteger256, Error = InvalidBigInt> + Into<BigInt> + From<i64> + From<i32> + ToFieldElements<Self> + Check<Self> + FromFpFq + PrimeField + SquareRootField + FftField + SpongeParamsForField<Self> + Debug + 'static,
{
    type Scalar: FieldWitness<Scalar = Self>;
    type Affine: AffineCurve<Projective = Self::Projective, BaseField = Self, ScalarField = Self::Scalar> + Into<GroupAffine<Self>> + KimchiCurve + Debug;
    type Projective: ProjectiveCurve<Affine = Self::Affine, BaseField = Self, ScalarField = Self::Scalar> + From<GroupProjective<Self::Parameters>> + Debug;
    type Parameters: SWModelParameters<BaseField = Self, ScalarField = Self::Scalar> + Clone + Debug;
    type Shifting: ShiftingValue<Self> + Clone + Debug;
    type OtherCurve: KimchiCurve<ScalarField = Self, BaseField = Self::Scalar>;
    type FqSponge: Clone + FqSponge<Self::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: AffineCurve<Projective = Self::Projective, BaseField = Self, ScalarField = Self::Scalar> + Into<GroupAffine<Self>> + KimchiCurve + Debug

type Projective: ProjectiveCurve<Affine = Self::Affine, BaseField = Self, ScalarField = Self::Scalar> + From<GroupProjective<Self::Parameters>> + Debug

type Parameters: SWModelParameters<BaseField = Self, ScalarField = Self::Scalar> + Clone + Debug

type Shifting: ShiftingValue<Self> + Clone + Debug

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

type FqSponge: Clone + FqSponge<Self::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 = Fp256<FqParameters>

type Parameters = PallasParameters

type Affine = GroupAffine<<Fp256<FpParameters> as FieldWitness>::Parameters>

type Projective = GroupProjective<PallasParameters>

type Shifting = ShiftedValue<Fp256<FpParameters>>

type OtherCurve = GroupAffine<<Fp256<FqParameters> 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 = Fp256<FpParameters>

type Parameters = VestaParameters

type Affine = GroupAffine<<Fp256<FqParameters> as FieldWitness>::Parameters>

type Projective = GroupProjective<VestaParameters>

type Shifting = ShiftedValue<Fp256<FqParameters>>

type OtherCurve = GroupAffine<<Fp256<FpParameters> as FieldWitness>::Parameters>

type FqSponge = DefaultFqSponge<PallasParameters, PlonkSpongeConstantsKimchi>

Implementors