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:

• ✅ 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)

• 🏗️ Lambdaworks

• 🏗️ Kimchi

The following are in the roadmap to be added:

• 🔲 Jolt

• 🔲 Nexus