Trait modular_frost::curve::Group

pub trait Group: Sized + Clone + Copy + Debug + Eq + Send + Sync + 'static + Sum + for<'a> Sum<&'a Self> + Neg<Output = Self> + GroupOps + GroupOpsOwned + ScalarMul<Self::Scalar> + ScalarMulOwned<Self::Scalar> {
    type Scalar: PrimeField;

    // Required methods
    fn random(rng: impl RngCore) -> Self;
    fn identity() -> Self;
    fn generator() -> Self;
    fn is_identity(&self) -> Choice;
    fn double(&self) -> Self;
}

This trait represents an element of a cryptographic group.

Required Associated Types

type Scalar: PrimeField

Scalars modulo the order of this group’s scalar field.

Required Methods

fn random(rng: impl RngCore) -> Self

Returns an element chosen uniformly at random from the non-identity elements of this group.

This function is non-deterministic, and samples from the user-provided RNG.

fn identity() -> Self

Returns the additive identity, also known as the “neutral element”.

fn generator() -> Self

Returns a fixed generator of the prime-order subgroup.

fn is_identity(&self) -> Choice

Determines if this point is the identity.

fn double(&self) -> Self

Doubles this element.

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl Group for EdwardsPoint

Available on crate feature group only.

type Scalar = Scalar

fn random(rng: impl RngCore) -> EdwardsPoint

fn identity() -> EdwardsPoint

fn generator() -> EdwardsPoint

fn is_identity(&self) -> Choice

fn double(&self) -> EdwardsPoint

impl Group for SubgroupPoint

Available on crate feature group only.

type Scalar = Scalar

fn random(rng: impl RngCore) -> SubgroupPoint

fn identity() -> SubgroupPoint

fn generator() -> SubgroupPoint

fn is_identity(&self) -> Choice

fn double(&self) -> SubgroupPoint

impl Group for RistrettoPoint

Available on crate feature group only.

type Scalar = Scalar

fn random(rng: impl RngCore) -> RistrettoPoint

fn identity() -> RistrettoPoint

fn generator() -> RistrettoPoint

fn is_identity(&self) -> Choice

fn double(&self) -> RistrettoPoint

impl Group for EdwardsPoint

type Scalar = Scalar

fn random(rng: impl RngCore) -> EdwardsPoint

fn identity() -> EdwardsPoint

fn generator() -> EdwardsPoint

fn is_identity(&self) -> Choice

fn double(&self) -> EdwardsPoint

impl Group for RistrettoPoint

type Scalar = Scalar

fn random(rng: impl RngCore) -> RistrettoPoint

fn identity() -> RistrettoPoint

fn generator() -> RistrettoPoint

fn is_identity(&self) -> Choice

fn double(&self) -> RistrettoPoint

impl Group for ProjectivePoint

type Scalar = Scalar

fn random(rng: impl RngCore) -> ProjectivePoint

fn identity() -> ProjectivePoint

fn generator() -> ProjectivePoint

fn is_identity(&self) -> Choice

fn double(&self) -> ProjectivePoint

impl Group for Point

type Scalar = Scalar

fn random(rng: impl RngCore) -> Point

fn identity() -> Point

fn generator() -> Point

fn is_identity(&self) -> Choice

fn double(&self) -> Point

impl<C> Group for ProjectivePoint<C>

where ProjectivePoint<C>: Double, C: PrimeCurveParams,

type Scalar = <C as CurveArithmetic>::Scalar

fn random(rng: impl RngCore) -> ProjectivePoint<C>

fn identity() -> ProjectivePoint<C>

fn generator() -> ProjectivePoint<C>

fn is_identity(&self) -> Choice

fn double(&self) -> ProjectivePoint<C>

Implementors