Documentation

Cryptlib.Protocols.Sphinx.bench_registry

Sphinx benchmark cases #

Every registered NIKE and KEM at several payload sizes and hop counts.

source
inductive Cryptlib.Protocols.Sphinx.BenchRegistry.SchemeKind :
Type 1

The scheme a bench case runs, with its registry name.

Instances For
    source
    structure Cryptlib.Protocols.Sphinx.BenchRegistry.BenchCase :
    Type 1

    One benchmark configuration: a forward packet, no SURB.

    Instances For
      source
      def Cryptlib.Protocols.Sphinx.BenchRegistry.BenchCase.name (c : BenchCase) :
      String

      A display label: scheme name, payload size, hop count.

      Equations
      • One or more equations did not get rendered due to their size.
      Instances For
        source
        def Cryptlib.Protocols.Sphinx.BenchRegistry.sphinxBenchCases :
        List BenchCase

        Every registered NIKE and KEM, at three payload sizes and 5 hops.

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