Documentation

Cryptlib.Primitives.NIKE.Schemes

The X25519 schemes #

X25519Scheme computes in the curve group, so commutes is proved. X25519LadderScheme and X25519FeScheme are RFC 7748 Montgomery ladders and take commutativity and safety as axioms.

source
def Cryptlib.Primitives.NIKE.X25519Scheme :
NIKE.NIKE
Equations
Instances For
    source
    def Cryptlib.Primitives.NIKE.X25519LadderScheme :
    NIKE.NIKE
    Equations
    Instances For
      source
      def Cryptlib.Primitives.NIKE.X25519FeScheme :
      NIKE.NIKE

      The Montgomery ladder on Field25519 limbs.

      Equations
      Instances For
        source
        def Cryptlib.Primitives.NIKE.implementations :
        List NIKE.NIKE
        Equations
        Instances For

          Registry by canonical scheme name #

          source
          structure Cryptlib.Primitives.NIKE.RegistryEntry :
          Type 1

          A canonical scheme name and its implementation.

          Instances For
            source
            def Cryptlib.Primitives.NIKE.x25519LadderEntry :
            RegistryEntry
            Equations
            Instances For
              source
              def Cryptlib.Primitives.NIKE.x25519GroupEntry :
              RegistryEntry
              Equations
              Instances For
                source
                def Cryptlib.Primitives.NIKE.x25519FeEntry :
                RegistryEntry
                Equations
                Instances For
                  source
                  def Cryptlib.Primitives.NIKE.registry :
                  List RegistryEntry
                  Equations
                  Instances For
                    source
                    def Cryptlib.Primitives.NIKE.byName (name : String) :
                    Option NIKE.NIKE

                    Case-insensitive lookup by scheme name.

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