# Fermah > Proof generation marketplace AVS on Eigen Layer **Published by:** [A Pinch of Tech](https://paragraph.com/@megabyte/) **Published on:** 2025-04-26 **Categories:** eigenlayer, decentralisation, zk, proof **URL:** https://paragraph.com/@megabyte/fermah ## Content 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.Problem in generating Zero Knowledge ProofZero-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.What is Fermah?Fermah is a 2-sided marketplace for proof generation. Vanishree Rao @vanishree_rao Fermah is a 2-sided marketplace. The demand side consists of Seekers and the supply side consists of Prover Nodes. 15 9:32 PM • Mar 11, 2025 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 cloudBuild verifiable services with cryptoeconomic security.https://paragraph.com2-sided MarketplaceFermah marketplace consists Seekers on the demand side and Prover Nodes on the supply side.Seekers (Demand)The whitelisted users that can submit Proof Requests.Prover Nodes (Supply)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.How does Fermah marketplace work?There are three major components of the Fermahs's proof marketplace:SeekerProver NodeMatchmaker High Level Overview of the Fermah's Proof MarketplaceSeeker 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.Proving System supported in FermahThe 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 LabsThe RISC Zero zkVM Jolt by a16zGroth16 by Jens Grothcheck latest details hereCurrent users of FermahThe 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.ZKSyncZKSync'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. Fermah @fermah_xyz Fermah will generate proofs for @zksync ZKsync is innovating at the bleeding edge of ZK. Their adoption of Fermah for a critical component of their stack – proof generation – makes it official: Proof markets are here... and they're bringing moon math to the masses 165 10:30 PM • Mar 17, 2025 This partnership will help ZKSync:Increase resilience through decentralization Lower proving costs via market competition Enhanced scalability without bottlenecksScrollScroll 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. Fermah @fermah_xyz Breaking: @Scroll_ZKP integrates Fermah for proof generation 90 11:31 PM • Feb 18, 2025 GatewayGateway'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 @fermah_xyz Ready for more big news? Fermah will generate proofs for ZK projects deployed via @gateway_eth 61 10:30 PM • Mar 4, 2025 Who can use Fermah for proof generation?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 AgglayerPolygon'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.Agglayer Architecture DiagramThe 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.ConclusionTo 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 (🧱,) ## Publication Information - [A Pinch of Tech](https://paragraph.com/@megabyte/): Publication homepage - [All Posts](https://paragraph.com/@megabyte/): More posts from this publication - [RSS Feed](https://api.paragraph.com/blogs/rss/@megabyte): Subscribe to updates - [Twitter](https://twitter.com/megabyte0x): Follow on Twitter ## Optional - [Collect as NFT](https://paragraph.com/@megabyte/fermah): Support the author by collecting this post - [View Collectors](https://paragraph.com/@megabyte/fermah/collectors): See who has collected this post