Fermah Generates Proofs for a16z’s Jolt

TL;DR 

Fermah has integrated the Jolt zkVM by the team at a16z to deliver cheap and fast proof generation. 

This partnership combines Jolt’s prover algorithm with Fermah's intelligent orchestration, setting the stage for a step-function leap in making ZK technology more accessible to builders and end-users.

The Challenge of Proof Generation 

Generating ZK proofs has long been a pain point for projects. It is slow, expensive, and requires managing the complexity of proving infrastructure.

This is where Fermah steps in.

Fermah is a universal proof market capable of generating proofs for any proof system, chain, or VM. It removes the complexity of managing proving infrastructure. You simply send Fermah a proof request and get your proof back – fast, cheap, and reliable.

In pursuit of our goal of generating proofs for any proof system (the universality), we have now integrated Jolt, one of the most exciting zkVMs in the space today.

Jolt's Breakthrough Technology 

Jolt has made a strategic technological bet that’s paying off. By leveraging sum-check protocols, Jolt has developed a proof system that enables a blazing-fast proving algorithm. 

Jolt's impressive performance stems from its streamlined commitment strategy: it commits to a very small amount of data, with all the committed values also kept small. This design choice drastically reduces the need for expensive group operations or extensive hashing. On top of that, Jolt leverages the sum-check protocol to verify the data using only basic field operations, which Jolt has pushed to peak efficiency.

And that’s just the beginning: upcoming innovations like Twist and Shout (sum-check-based memory-checking arguments) will supercharge Jolt’s performance even further.

Fermah's Intelligent Orchestration 

While powerful algorithms like Jolt’s are crucial, deploying them efficiently at scale requires sophisticated orchestration—a challenge Fermah is uniquely equipped to address.

How Fermah Optimizes the Workflow

• End-to-End Workflow Management: Fermah’s network manages the entire proving pipeline, from initial task assignment to final compression. It eliminates dependencies on external orchestrators while maintaining adaptability across different hardware types.
• Hardware Optimization: Fermah’s orchestrator optimizes for available hardware configurations, ensuring maximum efficiency.

Fermah’s Efficient Mechanism Design 

At the heart of this partnership is a shared commitment to cost efficiency.

Fermah's mechanism design continuously optimizes for cost, seeking out every possible efficiency gain. By combining Jolt's algorithmic innovations with Fermah's lean orchestration and mechanism design, we're creating a proving system that's both cheap and powerful.

Making ZK Mainstream

Jolt’s integration with Fermah represents a significant step forward in making zero-knowledge proofs practical for widespread adoption. Together, we're addressing both the technical and economic challenges that have historically limited ZK technology's potential.

Join Us in Building the Future 

If you're looking to leverage zero-knowledge proofs in your project, you no longer need to worry about the complexities of proving. Let Fermah handle the infrastructure while you focus on building your core business.

Ready to get started? 

Fill out our form, and our team will reach out to set you up. We'll create a dedicated Telegram chat to ensure you have direct access to our support team whenever you need it.

For more technical details, explore our documentation.

Together, let’s bring moon math to the masses!

‍