No description
  • TeX 47.1%
  • eC 27.3%
  • Zig 15.7%
  • Python 9.9%
Find a file
Markus Maiwald 1fd0e1a1e1
Fix Janus/Zig relationship: compiles to Zig, not FFI
Janus compiles directly to Zig (same backend, single native binary).
There is no FFI boundary. Corrected in methodology and appendix.
2026-03-21 17:38:15 +01:00
arxiv Fix Janus/Zig relationship: compiles to Zig, not FFI 2026-03-21 17:38:15 +01:00
bench v1: SKH arXiv preprint with phased PQ migration 2026-03-21 17:22:06 +01:00
easycrypt v1: SKH arXiv preprint with phased PQ migration 2026-03-21 17:22:06 +01:00
figures v1: SKH arXiv preprint with phased PQ migration 2026-03-21 17:22:06 +01:00
tamarin v1: SKH arXiv preprint with phased PQ migration 2026-03-21 17:22:06 +01:00
.gitignore v1: SKH arXiv preprint with phased PQ migration 2026-03-21 17:22:06 +01:00
LICENSE v1: SKH arXiv preprint with phased PQ migration 2026-03-21 17:22:06 +01:00
README.md v1: SKH arXiv preprint with phased PQ migration 2026-03-21 17:22:06 +01:00

SKH: Anonymous Root Keys for Quantum-Safe Decentralized Identity

A three-tier hierarchical identity architecture combining post-quantum key exchange, context-separated identities, Sybil resistance, and anonymous root keys -- without blockchain dependency.

Structure

arxiv/          LaTeX source + bibliography for the arXiv preprint
bench/          Benchmark harness (Zig) and comparative benchmarks (Python)
easycrypt/      EasyCrypt formal proofs (HKDF, hybrid sig, KEM)
tamarin/        Tamarin Prover protocol security model

Build

cd arxiv
pdflatex skh-arxiv-v1 && bibtex skh-arxiv-v1 && pdflatex skh-arxiv-v1 && pdflatex skh-arxiv-v1

Reproduce Benchmarks

See bench/README.md.

Reference Implementation

The SKH cryptographic core (Zig) and application layer (Janus) are part of the Libertaria identity stack.

Citation

@misc{maiwald2026skh,
    title         = {SKH: Anonymous Root Keys for Quantum-Safe
                     Decentralized Identity},
    author        = {Markus Maiwald},
    year          = {2026},
    eprint        = {2603.XXXXX},
    archivePrefix = {arXiv},
    primaryClass  = {cs.CR}
}

License

Libertaria Unbound License (LUL-1.0) -- use it, change it, ship it. Attribution required.