pub trait PrimeGroup: AdditiveGroup<Scalar = Self::ScalarField> {
type ScalarField: PrimeField;
// Required methods
fn generator() -> Self;
fn mul_bigint(&self, other: impl AsRef<[u64]>) -> Self;
// Provided method
fn mul_bits_be(&self, other: impl Iterator<Item = bool>) -> Self { ... }
}Expand description
Represents (elements of) a group of prime order r.
Required Associated Types§
Sourcetype ScalarField: PrimeField
type ScalarField: PrimeField
The scalar field F_r, where r is the order of this group.
Required Methods§
Sourcefn mul_bigint(&self, other: impl AsRef<[u64]>) -> Self
fn mul_bigint(&self, other: impl AsRef<[u64]>) -> Self
Performs scalar multiplication of this element.
Provided Methods§
Sourcefn mul_bits_be(&self, other: impl Iterator<Item = bool>) -> Self
fn mul_bits_be(&self, other: impl Iterator<Item = bool>) -> Self
Computes other * self, where other is a big-endian
bit representation of some integer.
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".