Documentation

Cryptlib.Protocols.Sphinx.schemes

Sphinx scheme registry #

source
def Cryptlib.Protocols.Sphinx.Schemes.schemeNames :
List String

Every Sphinx scheme name currently constructible, NIKE-backed and KEM-backed together.

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    source
    noncomputable def Cryptlib.Protocols.Sphinx.Schemes.sphinxScheme (geom : Geometry.Geometry) :
    Except String (NIKESphinx.NIKESphinxScheme ⊕ KEMSphinx.KEMSphinxScheme)

    The Sphinx scheme a Geometry names.

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