No description
- TeX 47.1%
- eC 27.3%
- Zig 15.7%
- Python 9.9%
Janus compiles directly to Zig (same backend, single native binary). There is no FFI boundary. Corrected in methodology and appendix. |
||
|---|---|---|
| arxiv | ||
| bench | ||
| easycrypt | ||
| figures | ||
| tamarin | ||
| .gitignore | ||
| LICENSE | ||
| README.md | ||
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.