Here we report on the progress of the leading builders in the Proving Service ecosystem, documenting recent significant releases, technical breakthroughs and general updates. Featuring: @fermah_xyz, @Ingo_zk, @brevis_zk, @cysic_xyz, @zan_team, @thezkcloud, @vlayer_xyz, & @zerobasezk 👇

Fermah 🔹 Publications 🔹 @fermah_xyz shared an article explaining how its universal proof market is helping @zksync improve scalability, decentralization, and cost-efficiency: By integrating with ZKsync, Fermah’s system replaces complex workflows with on-demand compute and abstracted actors, simplifying proof generation. The collaboration shows Fermah’s ability to handle real-world ZK use cases at scale, reinforcing that decentralized proof markets are viable, cost-effective, and technically sound. 🔹 Partnerships 🔹 The project also announced two new partnerships aimed at scaling its universal proof market and enhancing decentralized ZK proving infrastructure: 🔹 @Ingo_zk: Integrated ICICLE-Snark to accelerate Confidential Proving Delegation with GPU support, boosting performance up to 10× per node and enabling real-time, privacy-preserving proving using Groth16. The collaboration makes Fermah’s ZK infrastructure faster and more scalable without requiring custom GPU setup: 🔹 @mintairxyz: Continued collaboration to support prover deployment and network stability ahead of Fermah’s mainnet. Mintair provides one-click prover deployment and contributed to testnet Phase 2 with 99.9% uptime and key optimizations, helping stress-test the system under real-world conditions:

Brevis 🔹 Partnerships 🔹 @brevis_zk has launched a dynamic fee system with @QuickswapDEX, using its zkCoprocessor to offer automated trading discounts based on users’ 30-day volumes. Already live on @soneium in select pools, it securely calculates rewards by verifying off-chain volume data on-chain. Through the Brevis Portal, pool deployers can easily set custom fee hooks in one transaction: In addition, they have partnered with @OpenEden_X to bring U.S. Treasury yields on-chain while rewarding genuine user engagement through Continuous Protocol Incentivization (CPI). The system uses ZKPs to ensure fairness, avoid snapshot farming, and minimize gas costs. A pilot will launch on @ethereum, with future plans to expand to @solana and various DeFi applications across OpenEden’s ecosystem: 🔹 Audit 🔹 The project has completed a security audit of its ZK Data Coprocessor in collaboration with @sherlockdefi: All identified issues were addressed and approved. Full details are available in the published report on GitHub:

Cysic 🔹 Partnerships 🔹 @cysic_xyz has officially joined the @SuccinctLabs Prover Network, contributing its high-performance, GPU-based infrastructure to support real-time, scalable ZKPs: As a multi-node prover, Cysic enhances the network’s capacity to handle production-grade ZK workloads efficiently. Built entirely in-house, Cysic’s stack includes custom hardware, parallelized GPU clusters, and an upcoming ASIC tailored for SP1, Succinct’s open-source zkVM. This collaboration aims to create a decentralized, permissionless proving layer optimized for modern applications like zkRollups, identity checks, and AI audits - meeting the growing demand for real-world ZK infrastructure. 🔹 Publications 🔹 The project published an article explaining how ComputeFi aims to turn idle computing power into a liquid, investable asset: As AI and ZK technologies surge in demand, underused GPU infrastructure remains widespread. ComputeFi connects this capacity to real workloads, enabling revenue generation for hardware owners.

ZAN 🔹 Publications 🔹 @zan_team shared an article covering how MCP (Model-Context Protocol) enables secure, standardized interaction between large language models and external Web3 tools: Developed by @AnthropicAI, MCP supports blockchain actions like querying balances, deploying contracts, and trading NFTs. The article guides users through building a Web3 MCP service in Node.js, integrating it with Cursor, and demonstrates how to execute real-time blockchain tasks via natural language in development environments. 🔹 Partnerships 🔹 The project recently announced two new collaborations: • @JovayNetwork: Enabled developers to build on the Jovay testnet by supporting RPC and faucet services through ZAN Node. Jovay is an @ethereum-compatible L2 by Ant Digital Technologies, targeting institutional-grade use cases like RWA: • @AvailProject: Began operating as a validator on Avail, supporting its mission of providing decentralized infrastructure across the Asia-Pacific region:

vlayer @vlayer_xyz has launched a $200K grant program to support developers building verifiable, privacy-focused applications: The funding includes $100K in USD and $100K in compute credits. Open to early-stage or advanced projects, grantees receive mentorship, support, and exposure. This effort is part of vlayer’s broader Builders Program, aimed at expanding its ecosystem and backing creative, technically ambitious ideas with long-term potential.

Zerobase @zerobasezk is partnering with @alignedlayer to enhance its ZK App Network with persistent, cost-efficient ZKP verification: Using Aligned’s @eigenlayer-secured infrastructure, the network gains @ethereum-level finality, uptime, and reliability. This supports a range of applications - including staking, identity, and AI audits - that depend on consistent performance and cannot afford downtime.

Ingonyama 🔹 Tech 🔹 @Ingo_zk has introduced a major update to its ezkl-halo2 fork, achieving up to 25x faster proving performance by making Halo2 nearly fully GPU-native: Using ICICLE and custom CUDA kernels, the team offloaded key bottlenecks like gate and lookup constraint evaluations. Combined with accelerated MSM, NTT, and vector operations, plus efficient data handling, this release sets new performance benchmarks across multiple Halo2 circuit types. 🔹 Partnerships 🔹 The project is helping @fermah_xyz scale its Confidential Proving Delegation system by integrating ICICLE, the world’s fastest GPU-accelerated Groth16 prover: This upgrade delivered 5-10× more proofs per node, reduced infrastructure costs, and enabled real-time privacy-preserving proving. The integration required no verifier-side changes and worked across major GPU vendors, making ZKPs scalable and efficient across all major proof systems and blockchains.