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
    
    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 compute_updated_constants : 
  (module Ff_sig.PRIME with type t = 'a) ->
  int ->
  int ->
  int ->
  int ->
  'a array ->
  'a array array ->
  'a array * 'a array * 'a array * 'a array

Update the constants for the linear trick

module type PARAMETERS = sig ... end

module Make (Param : PARAMETERS) (Scalar : Ff_sig.PRIME) : sig ... end

Build an HADES SP network based on the parameters and a scalar field