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.