> For the complete documentation index, see [llms.txt](https://docs.alignedlayer.com/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.alignedlayer.com/proof-aggregation-layer/architecture/4_supported_verifiers.md).

# Supported Verifiers

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

* :white\_check\_mark: SP1 [(v6, sp1-sdk >= 6.1.0)](https://github.com/succinctlabs/sp1/releases/tag/v6.9.0) — **compressed** proofs only. SP1 v5 and v6.0.x proofs are not accepted.

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
* :black\_square\_button: Additional zkVMs

{% hint style="info" %}
SP1 proofs must be generated in compressed mode. See [Generating proofs for Aligned](/proof-aggregation-layer/guides/2_generating_proofs.md).
{% endhint %}