Supported Proof Systems

Fermah is designed to accommodate any proving system. These are the ones we currently support:

• Jolt by a16z 
• Groth16 by Jens Groth 
• The RISC Zero zkVM 
• Valida by Lita 
• Stwo by Starkware 
• SP1 by Succinct Labs 

Very soon, we will also support:

• The Nexus 2.0 zkVM 
• Stone by Starkware 
• The Aztec Proof System 

This initial support allows developers to integrate these systems quickly and leverage Fermah’s capabilities without additional setup.

We plan to support all major proving systems.