Developer Tools & Resources

Welcome to Fermah's developer resources. Here you'll find everything you need to build zero-knowledge applications using our supported proof systems.

Fermah handles all proof generation infrastructure - you only need to focus on writing your circuits and applications. For deployment and proof generation, see our Quick Start Guide.

Circuit Development

Tools and frameworks for writing ZK circuits

Development Environments

IDEs and interactive development tools

Testing & Analysis

Circuit testing and analysis tools

Supported Proof Systems

Our platform supports multiple proof systems, each with its own strengths:

Groth16
- Industry standard for deterministic circuits
- Extensive tooling ecosystem
- Optimal for fixed-computation scenarios
RISC Zero
- General-purpose computation
- Rust-based development
- Flexible program execution
Valida
- LLVM-based compilation
- Multiple language support
- Advanced optimization features
Stwo
- StarkWare's next-gen system
- Advanced cryptographic features
- Optimized for scalability
SP1
- High-performance design
- Modern development toolkit
- Extensive testing features

Getting Started

Choose Your System: Review our supported proof systems to find the best fit for your use case
Set Up Tools: Follow our development environment setup guide
Write Circuits: Learn from our circuit development guides
Test & Optimize: Use our testing and analysis tools