Zero-trust operating system. Built from bare metal.

The nønos microkernel
Updated 2026-10-29 07:55:50 -04:00
zKolang, a verifiable-compute language proven by the NONOS transparent STARK
Updated 2026-10-03 19:22:35 -04:00
Attest a set of artifacts with one 32-byte statement, transparently and post-quantum
Updated 2026-09-27 06:01:31 -04:00
Host-side capsule packager and marketplace index tool for NONOS
Updated 2026-09-26 20:11:08 -04:00
Trust anchor, publisher pubkeys, sealed policy, signed capsule manifests and ledger for the NONOS microkernel
Updated 2026-09-11 11:23:12 -04:00
Host-side capsule signer and verifier for the NONOS microkernel (Ed25519 + ML-DSA-65 hybrid trust chain)
Updated 2026-09-11 11:21:23 -04:00