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.
Source: [Dev.to](https://dev.to/ionablokchain/nova-pallasvesta-in-the-kernel-how-iona-os-does-recursive-proofs-without-trusted-setup-3aed)