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...