Aligned will verify and aggregate all the proofs, creating a single core infrastructure of the internet, and helping Ethereum to become the global open coordination network.

Introduction Zero-knowledge and validity proofs have gained attention due to their capabilities in decentralized private computation, scaling blockchains, identity protocols, and verifiable machine learning, among others. They allow one party, the prover, to show to other parties, the verifiers, that a given statement is true in a time- and memory-efficient