Supported Verifiers
Last updated
Last updated
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 (v1.0.1)
Risc0 (v1.0.1)
🏗️ Circom
🏗️ Lambdaworks
🏗️ Kimchi
The following are in the roadmap to be added:
Jolt
Nexus