package mec

You can search for identifiers within the package.

in-package search v0.2.0

mec
- Mec
  - Curve
    
    Utils
  - Hash
  - Permutation
  - Protocol
    
    Sapling
  - Signature
  - Utils
mec.Curve.Utils
- Mec_curve_utils
  - Ec
    
    MakeAffineEdwards
    
    Base
    
    Params
    
    Scalar
    
    MakeAffineEdwardsToAffineMontgomery
    
    E
    
    Base
    
    Scalar
    
    MakeAffineMontgomery
    
    Base
    
    Fp
    
    Fq
    
    Params
    
    Scalar
    
    MakeAffineWeierstrass
    
    Base
    
    Fp
    
    Fq
    
    Params
    
    Scalar
    
    MakeJacobianWeierstrass
    
    Base
    
    Fp
    
    Fq
    
    Params
    
    Scalar
    
    MakeProjectiveWeierstrass
    
    Base
    
    Fp
    
    Fq
    
    Params
    
    Scalar
  - PBT
    
    MakeCompressedSerialisationAffine
    
    G
    
    Base
    
    Scalar
    
    MakeECProperties
    
    G
    
    Base
    
    Scalar
    
    MakeEdwardsCurveProperties
    
    G
    
    Base
    
    Scalar
    
    MakeEquality
    
    G
    
    Base
    
    Scalar
    
    MakeIsZero
    
    G
    
    Base
    
    Scalar
    
    MakeSerialisationProperties
    
    G
    
    Base
    
    Scalar
    
    MakeValueGeneration
    
    G
    
    Base
    
    Scalar
mec.CurveSig
- Mec_curve_sig
  - Ec_sig
    
    AffineEdwardsT
    
    Base
    
    Scalar
    
    AffineMontgomeryT
    
    Base
    
    Scalar
    
    AffineWeierstrassT
    
    Base
    
    Scalar
    
    BASE
    
    Base
    
    Scalar
    
    JacobianWeierstrassT
    
    Base
    
    Scalar
    
    MontgomeryT
    
    Base
    
    Scalar
    
    PAIRING
    
    G1
    
    Base
    
    Scalar
    
    G2
    
    Base
    
    Scalar
    
    GT
    
    ProjectiveWeierstrassT
    
    Base
    
    Scalar
    
    WeierstrassT
    
    Base
    
    Scalar
mec.curve
- Mec_curve
  - Babyjubjub
    
    Affine
    
    Base
    
    Scalar
  - Babyjubjub_reduced
    
    Affine
    
    Base
    
    Scalar
  - Bandersnatch
    
    AffineEdwards
    
    Base
    
    Scalar
    
    AffineMontgomery
    
    Base
    
    Scalar
    
    AffineWeierstrass
    
    Base
    
    Scalar
  - Bls12_381
    
    G1
    
    Affine
    
    Base
    
    Scalar
    
    Projective
    
    Base
    
    Scalar
  - Bn254
    
    Affine
    
    Base
    
    Scalar
    
    Jacobian
    
    Base
    
    Scalar
    
    Projective
    
    Base
    
    Scalar
  - Curve25519
    
    AffineEdwards
    
    Base
    
    Scalar
    
    AffineMontgomery
    
    Base
    
    Scalar
  - Curve448
    
    Affine
    
    Base
    
    Scalar
  - Jubjub
    
    AffineEdwards
    
    Base
    
    Scalar
    
    AffineMontgomery
    
    Base
    
    Scalar
    
    AffineWeierstrass
    
    Base
    
    Scalar
  - Pallas
    
    Affine
    
    Base
    
    Scalar
    
    Iso
    
    Affine
    
    Base
    
    Scalar
    
    Jacobian
    
    Base
    
    Scalar
    
    Projective
    
    Base
    
    Scalar
  - Secp256k1
    
    Affine
    
    Base
    
    Scalar
    
    Jacobian
    
    Base
    
    Scalar
    
    Projective
    
    Base
    
    Scalar
  - Secp256r1
    
    Affine
    
    Base
    
    Scalar
    
    Jacobian
    
    Base
    
    Scalar
    
    Projective
    
    Base
    
    Scalar
  - Tweedledee
    
    Affine
    
    Base
    
    Scalar
    
    Jacobian
    
    Base
    
    Scalar
    
    Projective
    
    Base
    
    Scalar
  - Tweedledum
    
    Affine
    
    Base
    
    Scalar
    
    Jacobian
    
    Base
    
    Scalar
    
    Projective
    
    Base
    
    Scalar
  - Vesta
    
    Affine
    
    Base
    
    Scalar
    
    Jacobian
    
    Base
    
    Scalar
    
    Projective
    
    Base
    
    Scalar
mec.digestif
- Mec_digestif
  - BLAKE2B
  - BLAKE2S
  - Make_BLAKE2B
    
    D
  - Make_BLAKE2S
    
    D
  - S
mec.hash
- Mec_hash
  - Ark_neptunus
  - Ark_orchard
  - Ark_poseidon128
  - Ark_poseidon252
  - Mds_orchard
  - Mds_poseidon128
  - Mds_poseidon252
  - Neptunus
    
    Constant
    
    Make
    
    Hash
    
    Scalar
    
    Strategy
  - Orchard
    
    Constant
    
    Make
    
    Hash
    
    Scalar
    
    Strategy
  - Pedersen_hash
    
    MakePedersenHash
    
    Ec
    
    Base
    
    Scalar
    
    Params
    
    Zcash
  - Poseidon128
    
    Constant
    
    Make
    
    Hash
    
    Scalar
    
    Strategy
  - Poseidon252
    
    Constant
    
    Make
    
    Hash
    
    Scalar
    
    Strategy
  - Poseidon_core
    
    HASH
    
    Make
    
    C
    
    Hash
    
    Scalar
    
    Strategy
    
    PARAMETERS
    
    STRATEGY
  - Sinsemilla
    
    MakeSinsemilla
    
    Params
    
    Zcash
  - Sinsemilla_zcash_generators
mec.permutation
- Mec_permutation
  - Hades
    
    Make
    
    Param
    
    Scalar
    
    PARAMETERS
  - Hades_linear_optimisation
    
    Make
    
    Param
    
    Scalar
    
    PARAMETERS
  - Marvellous
    
    Make
    
    Param
    
    Scalar
    
    PARAMETERS
mec.signature
- Mec_signature
  - Group_hash
  - Reddsa
    
    MakeRedDSA
    
    Ec
    
    Base
    
    Scalar
    
    Param
    
    SIGNATURE_SCHEME
  - Redjubjub
    
    Make
    
    Param
mec.utils
- Mec_utils
  - Iterator
    
    Bit
  - Linear_algebra
    
    Field_sig
    
    Make_Module
    
    Ring
    
    Make_VectorSpace
    
    Field
    
    Module_sig
    
    Ring_sig
    
    VectorSpace_sig

Legend:
Library
Module
Module type
Parameter
Class
Class type

module type SIGNATURE_SCHEME = sig ... end

module MakeRedDSA
  (Ec : Mec_curve_sig.Ec_sig.AffineEdwardsT)
  (Param : sig ... end) : 
  SIGNATURE_SCHEME
    with type secret_key = Ec.Scalar.t
     and type public_key = Ec.t