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.10.0)
- ✅ gnark - Plonk (with BN254 and BLS12-381) (v0.10.0)
- ✅ SP1 (v3.0.0)
- ✅ Risc0 (v1.1.2)
- 🏗️ Circom
- 🏗️ Lambdaworks
- 🏗️ Kimchi
The following are in the roadmap to be added:
- 🔲 Jolt
- 🔲 Nexus