pub trait ScalarArithmetic: Curve {
    type Scalar: DefaultIsZeroes + From<ScalarCore<Self>> + Into<FieldBytes<Self>> + Into<Self::UInt> + IsHigh + Field + PrimeField<Repr = FieldBytes<Self>>;
}
Expand description

Scalar arithmetic.

Required Associated Types§

source

type Scalar: DefaultIsZeroes + From<ScalarCore<Self>> + Into<FieldBytes<Self>> + Into<Self::UInt> + IsHigh + Field + PrimeField<Repr = FieldBytes<Self>>

Scalar field type.

Note: the following bounds are provided by ff::Field:

Implementors§