Documentation

Cryptlib.Primitives.Sign.Schemes

Ed25519 with key blinding, and a hybrid #

source
@[reducible, inline]
abbrev Cryptlib.Primitives.Sign.Schemes.ed25519Signature :
Sign.Signature

Ed25519 as a plain signature scheme.

Equations
Instances For
    source
    @[reducible, inline]
    abbrev Cryptlib.Primitives.Sign.Schemes.ed25519Blindable :
    Blindable.Blindable

    Ed25519 with key blinding: blinding is scalar multiplication modulo ℓ.

    Equations
    Instances For
      source
      def Cryptlib.Primitives.Sign.Schemes.ed25519Hybrid :
      Sign.Signature

      A hybrid signature: Ed25519 paired with a second scheme, here Ed25519 again.

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