# Supported Verifiers

Aligned's support for multiple proof systems is a significant advantage, as it allows users to choose the most suitable system based on their specific requirements.

The following is the list of the verifiers currently supported by Aligned:

* :white\_check\_mark: gnark - Groth16 (with BN254) [(v0.12.0)](https://github.com/Consensys/gnark/releases/tag/v0.12.0)
* :white\_check\_mark: gnark - Plonk (with BN254 and BLS12-381) [(v0.12.0)](https://github.com/Consensys/gnark/releases/tag/v0.12.0)
* :white\_check\_mark: SP1 [(v5.0.0)](https://github.com/succinctlabs/sp1/releases/tag/v5.0.0)
* :white\_check\_mark: Risc0 [(v3.0.3)](https://github.com/risc0/risc0/releases/tag/v3.0.3). Previous versions are also compatible.
* :white\_check\_mark: Circom [(v2.2.2)](https://github.com/iden3/circom/releases/tag/v2.2.2)
* :white\_check\_mark: Mina (Testnet only - Sepolia, Hoodi)
* :white\_check\_mark: Mina Account (Testnet only - Sepolia, Hoodi)
* 🏗️ Lambdaworks
* 🏗️ Kimchi

The following are in the roadmap to be added:

* :black\_square\_button: Jolt
* :black\_square\_button: Nexus