Module Elliptic_curve_lib

module Config_presets : sig ... end
module Ec_fpn_dbl : sig ... end

Fully unrolled eliptic curve point doubling.

module Ec_fpn_mixed_add : sig ... end

Fully unrolled eliptic curve point adding.

module Ec_fpn_ops_config : sig ... end
module Point : sig ... end