Nova Pallas/Vesta in the kernel: how IONA OS does recursive proofs without trusted setup

Most blockchains verify transactions one by one. IONA Protocol verifies thousands at once — inside the kernel, using recursive SNARKs.

I've been building IONA OS — a sovereign operating system written entirely in Rust — for the past 13 years.

But IONA OS is not just an operating system. It has a native L1 blockchain protocol integrated into the kernel itself.

And that blockchain protocol does something most others don't: it verifies transactions recursively, using Nova, a folding scheme that requires no trusted setup.

Here's how I built it — and why it matters.