Here we report on the progress of the leading builders in the Proving Service ecosystem, documenting recent significant releases, technical breakthroughs and general updates
@fermah_xyz has published further details about its integration with @zksync, enabling proof generation for the Elastic Network through Fermah’s decentralized proving infrastructure: https://fermah.xyz/blog-posts/fer
This collaboration connects ZKsync’s block proving process to Fermah’s Universal Proof Market, which distributes computational workloads across a network of independent operators instead of relying on centralized providers. The system dynamically allocates resources through a matchmaker component that selects the most cost-effective compute nodes based on the seeker’s requirements. Proof workflows are executed across high-performance hardware, with fault tolerance handled via a decentralized storage layer that supports checkpointing and recovery.
The overall setup is designed to reduce proving costs, improve resilience, and enable greater scalability. Developers using ZKsync can now benefit from flexible hardware configurations, adaptive scaling, and more efficient resource utilization. By removing the need for custom infrastructure or centralized provers, Fermah simplifies the path to scalable, decentralized ZKP generation.
In other news, @HouseofZK has released the fourth episode of 'From Zero to Knowledge', where Fermah Founder, @vanishree_rao, explains the key decision points facing developers when first stepping into the world of ZK: https://x.com/HouseofZK/status/1899164329930354993
@thezkcloud has launched its Ambassador Program to engage content creators, developers, and community leaders in supporting its ZK ecosystem. Participants can earn monthly rewards, including stablecoins and $PROOF tokens, while advancing through tiered ambassador roles. Contributions include content creation, tech tutorials, event hosting, and community growth. Applications for the first 15 spots close March 26: https://blog.zkcloud.com/p/announcing-the-zkcloud-ambassador…
They continue to expand the Deluge Testnet, adding 15 new validators, including @0xZeeve, @polka_chu, @binary_builders, @P2Pvalidator, @zkv_xyz, @ChorusOne, @DeFimans, @luganodes, @2077Research, @nansen_ai, @krakenfx, @01node, @everstake_pool, @SimplyStaking, and @joinrepublic. These partners strengthen the decentralized cloud infrastructure for fast and affordable zero-knowledge proof generation and verification: https://x.com/thezkcloud/status/1902998136659784034
@Ingo_zk has developed ICICLE-snark, a new Groth16 prover built from scratch using the ICICLE library. Designed for high performance, it delivers up to 320x faster FFT and 63x faster MSM by leveraging GPU acceleration and caching. Fully compatible with existing zkey files, it integrates easily with Rust and other languages via a background worker mode: https://medium.com/@ingonyama/icicle-snark-the-fastest-groth16-implementation-in-the-world-00901b39a21f…
Also, ICICLE v3.6 now supports the Metal backend, enabling macOS users to gain performance improvements without changing code. Metal works with C++ and Rust, supporting MSM, NTT, and Sumcheck. Updates include a faster CPU Sumcheck and enhanced Rust API. Future releases will expand hash and Merkle tree support and advance lattice-based cryptography features: https://medium.com/@ingonyama/icicle-goes-metal-v3-6-163fa7bbfa44
@cysic_xyz has officially closed Phase II of its Genesis Node Testnet, recording over 557,000 participants and 8.4 million transactions. Key milestones include a mobile app launch, dual-token model introduction, expanded Prover/Verifier participation, and strong community growth via referrals. A network snapshot preserves user data as the project prepares for its Phase III launch in Q2 2025: https://medium.com/@cysic/cysic-network-phase-ii-genesis-node-testnet-officially-closed-28912cac94c0…
Co-founder of Cysic, @leofanxiong, spoke to @Cointelegraph about the dependence of @ethereum’s long-term scalability on hardware acceleration. He noted current L2 solutions offer only temporary relief, and without purpose-built hardware like ASICs, Ethereum risks falling behind faster networks and missing mainstream and institutional adoption opportunities across finance, AI, and gaming: https://cointelegraph.com/news/the-future-of-ethereum-scaling
@MarlinProtocol highlights how developers can use Trusted Execution Environments to run AI models like Llama 3.2 securely while protecting user data. In a guide by @KalpitaMandal, a setup using a signing tool, Ollama server, and the model takes just seven minutes. This enables verifiable AI outputs onchain for sensitive apps: https://x.com/MarlinProtocol/status/1902358018110476373…
They’ve also made securing decentralized apps easier with Marlin’s TEEs. Using the Oyster CVM CLI, developers can deploy, manage, and verify workloads with simple commands. A detailed guide by @inamanmonga walks through the process, helping users navigate TEE deployment more efficiently for a range of dApp needs: https://x.com/MarlinProtocol/status/1903081365056188522
