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 (v2.3.0). Risc0 v2.2.0 is also compatible.
- ✅ Circom (v2.2.2)
- 🏗️ Lambdaworks
- 🏗️ Kimchi
The following are in the roadmap to be added:
- 🔲 Jolt
- 🔲 Nexus