Documentation

Cryptlib.Primitives.MKEM.Schemes

Concrete MKEM instances #

source
@[reducible]
def Cryptlib.Primitives.MKEM.Schemes.blake2b256Scheme :
Hash.Hash.Hash

BLAKE2b-256 as a Hash, hashing the accumulated message at finalize.

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    source
    def Cryptlib.Primitives.MKEM.Schemes.mkemX25519 :
    MKEM.MKEM

    MKEM over X25519, AES-256-GCM-SIV and BLAKE2b-256.

    Equations
    • One or more equations did not get rendered due to their size.
    Instances For