Introduction
Supported Proof Systems
Fermah is designed to accommodate any proving system. Below are the currently supported systems, with more being added regularly.
Currently Supported
Jolt
High-performance proving system by a16z
Groth16
Industry standard zk-SNARK by Jens Groth
RISC Zero
The RISC Zero zkVM for general computation
Valida
Advanced proving system by Lita
Stwo
Next-gen proving system by Starkware
SP1
High-performance prover by Succinct Labs
Coming Soon
The following systems are in integration testing and will be available soon.
Nexus 2.0
The Nexus 2.0 zkVM for scalable computation
Stone
Advanced prover by Starkware
Aztec
The Aztec Proof System for private computation
We plan to support all major proving systems. If you'd like to integrate your proving system with Fermah, please email us at hello@fermah.xyz.