Revision 9f33821a62219c811267420b899e69b851975c6c authored by Nic Volanschi on 20 December 2023, 16:59:45 UTC, committed by Marge Bot on 04 January 2024, 09:23:34 UTC
1 parent 8217185
Raw File
mec.ml
open Mec_curve_utils
module Ff = Ff

module Curve = struct
  module BabyJubjub = Babyjubjub
  module BabyJubjubReduced = Babyjubjub_reduced
  module Bandersnatch = Bandersnatch
  module BN254 = Bn254
  module BLS12_381 = Bls12_381_ref
  module Curve25519 = Curve25519
  module Curve448 = Curve448
  module Jubjub = Jubjub
  module Pallas = Pallas
  module Secp256k1 = Secp256k1
  module Secp256r1 = Secp256r1
  module Tweedledee = Tweedledee
  module Tweedledum = Tweedledum
  module Vesta = Vesta

  module Utils = struct
    module PBT = PBT
    module Functor = Ec
  end
end

module CurveSig = Ec_sig

module Hash = struct
  module Poseidon252 = Poseidon252
  module Poseidon128 = Poseidon128
  module Orchard = Orchard
  module Neptunus = Neptunus
  module PedersenHash = Pedersen_hash
  module Sinsemilla = Sinsemilla
end

module Permutation = struct
  module Hades = Hades
  module Marvellous = Marvellous
  module HadesLinearOptimisation = Hades_linear_optimisation
end

module Signature = struct
  module RedDSA = Reddsa
  module RedJubjub = Redjubjub
end

module Protocol = struct
  module Sapling = struct
    module GroupHash = Group_hash
  end
end

module Digestif = Mec_digestif

module Utils = struct
  module Iterator = Iterator
  module LinearAlgebra = Linear_algebra
end
back to top