Trait sunscreen_zkp_backend::FieldSpec

pub trait FieldSpec: Clone {
    type BackendField: Add<Self::BackendField, Output = Self::BackendField> + Sub<Self::BackendField, Output = Self::BackendField> + Mul<Self::BackendField, Output = Self::BackendField> + Neg<Output = Self::BackendField> + Clone + TryFrom<BigInt, Error = Error> + ZkpInto<BigInt>;

    const FIELD_MODULUS: BigInt;
}

Indicates the given type is a field used used in a ZKP backend. E.g. Bulletproofs uses Ristretto Scalar values.

Required Associated Types

type BackendField: Add<Self::BackendField, Output = Self::BackendField> + Sub<Self::BackendField, Output = Self::BackendField> + Mul<Self::BackendField, Output = Self::BackendField> + Neg<Output = Self::BackendField> + Clone + TryFrom<BigInt, Error = Error> + ZkpInto<BigInt>

The underlying field type used in a backend.

Required Associated Constants

const FIELD_MODULUS: BigInt

The modulus defining the FieldSpec::BackendField type.

Implementors

impl FieldSpec for BulletproofsFieldSpec

type BackendField = Scalar

const FIELD_MODULUS: BigInt = _