package mirage-crypto-ec

  1. Overview
  2. Docs

Module Dsa.PrimitiveSource

Low-level arithmetic operations.

Sourceval generator : pub

generator is the generator point (base point) of the curve.

Sourceval add : pub -> pub -> pub

add p q is the sum of points p and q.

Sourceval scalar_mult : priv -> pub -> pub

scalar_mult s p is the scalar multiplication of p by s.