Supported Verifiers

The following proving systems can be submitted to Aligned's Proof Aggregation Service:

• ✅ SP1 (v5.0.0) — compressed proofs only

The following are in the roadmap to be added:

• 🏗️ Risc0 — on-chain proof inclusion checks already accept Risc0 program IDs, but proof submission is not available yet

• 🔲 Additional zkVMs

SP1 proofs must be generated in compressed mode. See Generating proofs for Aligned.