NØNOS

This account is verified because it's an official organization on X. Learn more

@nonossystems

Privacy is the default. Research at the edge of trust: a memory-only microkernel backed by formal proofs. NOX zero-knowledge privacy on Ethereum.

Ø State nonos.software Joined April 2025

92 Following 3.2K Followers 1.6K Posts

Latest posts 5

Pinned post

NØNOS @nonossystems Oct 31

NØNOS 0.9.3 is out. nonos.software/download

1:17

NØNOS @nonossystems 15h

New beta release, NØNOS 0.9.3.5 is out.

📩 nonos.software/download/

nonos.software Download NØNOS 0.9.3: the bootable ISO and the USB image, each with SHA-256 and BLAKE3, two signatures and a STARK proof you can check yourself.

NØNOS @nonossystems 3d

x.com/i/article/2118…

NØNOS @nonossystems Nov 2

NØNOS now proves its kernel security core in Lean 4: five properties over every reachable state and the syscall capability table proved equal to the shipped Rust for all 190 syscalls. What is proved, what the proofs found and what is still open.

NØNOS Verified account @nonossystems Nov 2

x.com/i/article/2117…
View quoted post on X

NØNOS @nonossystems Nov 2

x.com/i/article/2117…