Supported Verifiers
Aligned Layer'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)
✅ gnark - Plonk (with BN254 and BLS12-381)
✅ SP1 (v1.0.8-testnet)
✅ Risc0 (v1.0.1)
The following proof systems are going to be added soon:
🔲 Kimchi
🔲 Halo2 - Plonk/KZG
🔲 Halo2 - Plonk/IPA
Last updated