Zero Knowledge Proofs (ZKPs) have evolved tremendously in the past few years. There are now multiple proving systems, each with its pros and cons, and tons of use cases.

ZK is the endgame.

With every improvement or introduction of a proving system and algorithm, there's in complexity for the software and the hardware. Every application cannot use every type of proving algorithm, and every type of hardware cannot run every proving system.

This eventually creates a new problem for generating ZKPs.

Zero-knowledge proofs definitely increase the network/system's speed and throughput, but generating proofs is a resource-intensive process that requires a different setup for different proving systems.

So here there's both a demand and supply problem. And Fermah solves this problem.

Fermah is a 2-sided marketplace for proof generation.

Fermah helps in the cheap, fast and reliable generation of Zero Knowledge proofs.

Under the hood, Fermah is an Eigen Layer AVS module.

Learn more about Eigen Layer here:

Eigen Layer: The trusted, verifiable cloud

Build verifiable services with cryptoeconomic security.

https://paragraph.com

Fermah marketplace consists Seekers on the demand side and Prover Nodes on the supply side.

The whitelisted users that can submit Proof Requests.

The nodes that generate proofs for the Proof Requests assigned to them. These prover nodes consists of Eigen Layer Operators which provide computational resources like CPU and GPU.

There are three major components of the Fermahs's proof marketplace:

1. Seeker

2. Prover Node

3. Matchmaker

Seeker first sends a request to generate proof to Matchmaker which is the core and is responsible for allocating requests to different Provider nodes.

The Matchmaker allocate the request based on the requirements of the proof request and maintaining competitive pricing. This orchestration ensures the optimization of the utilization rate of machines and fast generation of the proof, with the core goal to minimize the cost of generating proofs.

The Fermah's architecture is build to support any proving system. Currently most of the major proving systems are supported and more will be add soon.

Proving systems currently supported:

• SP1 by Succinct Labs

• The RISC Zero zkVM

• Jolt by a16z

• Groth16 by Jens Groth

• check latest details here

The proof marketplace brought a cheap and fast way to generate zero knowledge proofs which has been a big requirement for the L2 squencers and other infrastructure components in the blockchain.

ZKSync's Elastic Network helps devs by providing aggregation of the zero knowledge proofs for their app chains, and as the ecosystem expands the proof generation will cost expand proportionately. To solve this, ZKSync is partnering with Fermah for generating proofs for their sequencers.

This partnership will help ZKSync:

• Increase resilience through decentralization

• Lower proving costs via market competition

• Enhanced scalability without bottlenecks

Scroll have a complete proving pipeline where they generate different proofs (Chunk Proofs, Batch Proofs, Bundle Proofs) before submitting it to the Ethereum. This cost heavy process is now being powered by the Fermah's universal proof generation capabilities.

Gateway's Presto is a Platform to deploy ZK rollup in few clicks. Integration with Fermah will help all the ZK rollups to get proofs generated in a fast and reliable way.

Fermah can support any type of Proving system and it already supports major of them, therefore can network or application which requires can to generate proof can utilize Fermah proof market.

Polygon's Agglayer uses Pessimistic Proof to prove that withdrawal claim made on any chain connected to Agglayer are backed by deposits made to the unified bridge contract.

The proofs are being generated using SP1 zkVM and the Plonky3 proving system which is supported by the Fermah marketplace.

This integration can help Agglayer in generating proof in a cost-effective manner and removing any possible bottlenecks for scalability.

To conclude this post it will be right to say the infrastructure and research around ZK has been on exponential growth, and Fermah will play a critical role in generating cost-effective proof for the app chains, L2s, or basically anything that requires proof generation.

Also, more AVSs like Fermah on Eigen Layer will provide the infrastructure with shared economic security for the upcoming consumer applications in crypto.

Thanks for reading.

If you have any queries or feedback, DM

Keep Building (,🚀)

Zero Knowledge Proofs (ZKPs) have evolved tremendously in the past few years. There are now multiple proving systems, each with its pros and cons, and tons of use cases.

ZK is the endgame.

With every improvement or introduction of a proving system and algorithm, there's in complexity for the software and the hardware. Every application cannot use every type of proving algorithm, and every type of hardware cannot run every proving system.

This eventually creates a new problem for generating ZKPs.

Zero-knowledge proofs definitely increase the network/system's speed and throughput, but generating proofs is a resource-intensive process that requires a different setup for different proving systems.

So here there's both a demand and supply problem. And Fermah solves this problem.

Fermah is a 2-sided marketplace for proof generation.

Fermah helps in the cheap, fast and reliable generation of Zero Knowledge proofs.

Under the hood, Fermah is an Eigen Layer AVS module.

Learn more about Eigen Layer here:

Eigen Layer: The trusted, verifiable cloud

Build verifiable services with cryptoeconomic security.

https://paragraph.com

Fermah marketplace consists Seekers on the demand side and Prover Nodes on the supply side.

The whitelisted users that can submit Proof Requests.

The nodes that generate proofs for the Proof Requests assigned to them. These prover nodes consists of Eigen Layer Operators which provide computational resources like CPU and GPU.

There are three major components of the Fermahs's proof marketplace:

1. Seeker

2. Prover Node

3. Matchmaker

Seeker first sends a request to generate proof to Matchmaker which is the core and is responsible for allocating requests to different Provider nodes.

The Matchmaker allocate the request based on the requirements of the proof request and maintaining competitive pricing. This orchestration ensures the optimization of the utilization rate of machines and fast generation of the proof, with the core goal to minimize the cost of generating proofs.

The Fermah's architecture is build to support any proving system. Currently most of the major proving systems are supported and more will be add soon.

Proving systems currently supported:

• SP1 by Succinct Labs

• The RISC Zero zkVM

• Jolt by a16z

• Groth16 by Jens Groth

• check latest details here

The proof marketplace brought a cheap and fast way to generate zero knowledge proofs which has been a big requirement for the L2 squencers and other infrastructure components in the blockchain.

ZKSync's Elastic Network helps devs by providing aggregation of the zero knowledge proofs for their app chains, and as the ecosystem expands the proof generation will cost expand proportionately. To solve this, ZKSync is partnering with Fermah for generating proofs for their sequencers.

This partnership will help ZKSync:

• Increase resilience through decentralization

• Lower proving costs via market competition

• Enhanced scalability without bottlenecks

Scroll have a complete proving pipeline where they generate different proofs (Chunk Proofs, Batch Proofs, Bundle Proofs) before submitting it to the Ethereum. This cost heavy process is now being powered by the Fermah's universal proof generation capabilities.

Gateway's Presto is a Platform to deploy ZK rollup in few clicks. Integration with Fermah will help all the ZK rollups to get proofs generated in a fast and reliable way.

Fermah can support any type of Proving system and it already supports major of them, therefore can network or application which requires can to generate proof can utilize Fermah proof market.

Polygon's Agglayer uses Pessimistic Proof to prove that withdrawal claim made on any chain connected to Agglayer are backed by deposits made to the unified bridge contract.

The proofs are being generated using SP1 zkVM and the Plonky3 proving system which is supported by the Fermah marketplace.

This integration can help Agglayer in generating proof in a cost-effective manner and removing any possible bottlenecks for scalability.

To conclude this post it will be right to say the infrastructure and research around ZK has been on exponential growth, and Fermah will play a critical role in generating cost-effective proof for the app chains, L2s, or basically anything that requires proof generation.

Also, more AVSs like Fermah on Eigen Layer will provide the infrastructure with shared economic security for the upcoming consumer applications in crypto.

Thanks for reading.

If you have any queries or feedback, DM

Keep Building (,🚀)