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 th