package mec

You can search for identifiers within the package.

in-package search v0.2.0

package mec

mec
- Mec
  - Curve
    
    Utils
  - Hash
  - Permutation
  - Protocol
    
    Sapling
  - Signature
  - Utils
mec.Curve.Utils
- Mec_curve_utils
  - Ec
    
    MakeAffineEdwards
    
    Params
    
    MakeAffineEdwardsToAffineMontgomery
    
    E
    
    MakeAffineMontgomery
    
    Params
    
    MakeAffineWeierstrass
    
    Params
    
    MakeJacobianWeierstrass
    
    Params
    
    MakeProjectiveWeierstrass
    
    Params
  - PBT
    
    MakeCompressedSerialisationAffine
    
    G
    
    MakeECProperties
    
    G
    
    MakeEdwardsCurveProperties
    
    G
    
    MakeEquality
    
    G
    
    MakeIsZero
    
    G
    
    MakeSerialisationProperties
    
    G
    
    MakeValueGeneration
    
    G
mec.CurveSig
- Mec_curve_sig
  - Ec_sig
    
    AffineEdwardsT
    
    AffineMontgomeryT
    
    AffineWeierstrassT
    
    BASE
    
    JacobianWeierstrassT
    
    MontgomeryT
    
    PAIRING
    
    G1
    
    G2
    
    ProjectiveWeierstrassT
    
    WeierstrassT
mec.curve
- Mec_curve
  - Babyjubjub
    
    Affine
  - Babyjubjub_reduced
    
    Affine
  - Bandersnatch
    
    AffineEdwards
    
    AffineMontgomery
    
    AffineWeierstrass
  - Bls12_381
    
    G1
    
    Affine
    
    Projective
  - Bn254
    
    Affine
    
    Jacobian
    
    Projective
  - Curve25519
    
    AffineEdwards
    
    AffineMontgomery
  - Curve448
    
    Affine
  - Jubjub
    
    AffineEdwards
    
    AffineMontgomery
    
    AffineWeierstrass
  - Pallas
    
    Affine
    
    Iso
    
    Affine
    
    Jacobian
    
    Projective
  - Secp256k1
    
    Affine
    
    Jacobian
    
    Projective
  - Secp256r1
    
    Affine
    
    Jacobian
    
    Projective
  - Tweedledee
    
    Affine
    
    Jacobian
    
    Projective
  - Tweedledum
    
    Affine
    
    Jacobian
    
    Projective
  - Vesta
    
    Affine
    
    Jacobian
    
    Projective
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
    
    Strategy
  - Orchard
    
    Constant
    
    Make
    
    Hash
    
    Strategy
  - Pedersen_hash
    
    MakePedersenHash
    
    Ec
    
    Params
    
    Zcash
  - Poseidon128
    
    Constant
    
    Make
    
    Hash
    
    Strategy
  - Poseidon252
    
    Constant
    
    Make
    
    Hash
    
    Strategy
  - Poseidon_core
    
    HASH
    
    Make
    
    C
    
    Hash
    
    Strategy
    
    PARAMETERS
    
    STRATEGY
  - Sinsemilla
    
    MakeSinsemilla
    
    Params
    
    Zcash
  - Sinsemilla_zcash_generators
mec.permutation
- Mec_permutation
  - Hades
    
    Make
    
    Param
    
    PARAMETERS
  - Hades_linear_optimisation
    
    Make
    
    Param
    
    PARAMETERS
  - Marvellous
    
    Make
    
    Param
    
    PARAMETERS
mec.signature
- Mec_signature
  - Group_hash
  - Reddsa
    
    MakeRedDSA
    
    Ec
    
    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

val repeat : int -> (unit -> 'a) -> unit -> unit

module MakeEquality (G : Mec_curve_sig.Ec_sig.BASE) : sig ... end

module MakeValueGeneration (G : Mec_curve_sig.Ec_sig.BASE) : sig ... end

module MakeIsZero (G : Mec_curve_sig.Ec_sig.BASE) : sig ... end

module MakeECProperties (G : Mec_curve_sig.Ec_sig.BASE) : sig ... end

module MakeEdwardsCurveProperties
  (G : Mec_curve_sig.Ec_sig.AffineEdwardsT) : 
  sig ... end

module MakeSerialisationProperties
  (G : Mec_curve_sig.Ec_sig.BASE) : 
  sig ... end

module MakeCompressedSerialisationAffine (G : sig ... end) : sig ... end