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…
The IONA Protocol is a revolutionary blockchain system that verifies thousands of transactions simultaneously within its kernel, utilizing recursive SNARKs. The developers have spent 13 years building the IONA OS, a sovereign operating system written entirely in Rust. What sets this system apart is its integrated L1 blockchain protocol directly written into the kernel, which allows for recursive proofs using Nova, a folding scheme that requires no trusted setup.
Nova, a cryptographic technique, allows the folding of proofs of multiple transactions into a single proof, significantly enhancing scalability. Unlike previous SNARKs like Groth16, Nova doesn't necessitate a trusted ceremony, eliminating a single point of failure. Moreover, Nova proofs can be recursively verified, with a proof on one curve being verified by a circuit on another, enabling unbounded recursion.
These elliptic curves, known as Pallas and Vesta, are used in Zcash's Halo2 and other advanced cryptographic systems.
The integration of Nova into the kernel brings several advantages, including high performance due to the absence of context switching, enhanced security as the verification logic becomes part of the trusted computing base, and direct integration with the mempool, consensus engine, and storage layer. The Nova implementation in IONA Protocol is woven into the blockchain subsystem, folding transaction proofs incrementally and verifying them once at the kernel level.
This final step commits the verified proof to the blockchain, updating the state root and finalizing the block—all without any userspace involvement.
This innovative approach results in scalability, as verification costs remain constant regardless of transaction volume, enhanced privacy through recursive proofs, and trustlessness, as no trusted setup is required. The system is also highly performant, offering faster verification compared to any userspace implementation. IONA Protocol, therefore, represents a significant leap forward in blockchain technology, providing scalability, privacy, trustlessness, and sovereignty—all launched on September 15, 2026, as part of IONA OS.
Written by urgent.news from Dev.to's reporting — not their text. Machine-written — may contain errors; check the original before relying on it.
