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:
- ✅ gnark - Groth16 (with BN254) (v0.12.0)
- ✅ gnark - Plonk (with BN254 and BLS12-381) (v0.12.0)
- ✅ SP1 (v5.0.0)
- ✅ Risc0 (v3.0.3). Previous versions are also compatible.
- ✅ Circom (v2.2.2)
- ✅ Mina (Testnet only - Sepolia, Hoodi)
- ✅ Mina Account (Testnet only - Sepolia, Hoodi)
- 🏗️ Lambdaworks
- 🏗️ Kimchi
The following are in the roadmap to be added:
- 🔲 Jolt
- 🔲 Nexus