> 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 [(v5.0.0)](https://github.com/succinctlabs/sp1/releases/tag/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
* :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 %}