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, @thezkcloud, @Snarkify_ZKP, @cysic_xyz, @zan_team, @zerobasezk, & @SindriLabs
@fermah_xyz has successfully generated a block for @zksync on its testnet - a major step toward boosting ZKsync's decentralization. The ultimate goal is to reduce reliance on a single prover, cut costs through competitive pricing, and improve scalability by matching proof demand with supply:
https://x.com/fermah_xyz/status/1942630383016927281
Fermah also shared an article explaining how ZKPs enable systems to become more efficient by shifting heavy computation from many users to a single prover: https://fermah.xyz/blog-posts/critical-for-the-zk-endgame
While zkVMs have lowered adoption barriers by allowing developers to use familiar languages, proving remains expensive and slow.
Fermah proposes a universal proof market to solve this - optimizing hardware use, accelerating proof generation, and simplifying operations. This approach supports both centralized and decentralized projects, offering practical improvements across the entire ZK ecosystem.
@Ingo_zk has launched IMP1, a mobile-optimized zero-knowledge proof framework for iOS and Android.
Built on the fast ICICLE-SNARK engine, IMP1 enables up to 3× faster proving than existing tools while keeping memory usage low. It supports use cases like private AI, identity, and voting.
With open-source licensing and easy integration, IMP1 aims to bring secure, on-device cryptography to real-world mobile applications: https://x.com/Ingo_zk/status/1940455372734533668
They also released ICICLE v4.0.0, introducing a redesigned object-oriented Field API, support for method chaining, and improvements to the Rust API with updated trait structures: https://x.com/Ingo_zk/status/1943572467789754601
The update includes implementation of the NIST ML-KEM post-quantum protocol on CUDA and initial support for lattice-based cryptography.
Breaking changes affect C++ and Rust APIs, with migration guides available. The release also features bug fixes, developer tools, and expanded cryptographic functionality.
Finally, the project has introduced Labradorrrr, a high-speed, GPU-native lattice-based prover built using ICICLE v4: https://x.com/Ingo_zk/status/1944776389216948380
The team emphasizes it's still under development, with performance improvements and breaking changes expected as it moves toward production. The code is available publicly on GitHub.
@thezkcloud has drastically reduced the time it takes to prepare @ethereum blocks for ZK proving, demonstrated on @eth_proofs: https://x.com/thezkcloud/status/1940711799487139890
By replacing thousands of RPC calls with a single fetch using Reth's debug_executionWitness, they cut preprocessing time from 4-5 minutes to just 2-3 seconds.
In recent benchmarks, ZkCloud outperformed other provers by a wide margin and are now testing multi-GPU options for real-time proving.
The project also added four new validators - @NoditPlatform, Extra Mile (TV Asahi), KDDI, and @txblockchain - to its decentralized ZK proving network.
These institutions bring expertise in node infrastructure, media innovation, telecom, and blockchain education.
As ZkCloud approaches Mainnet, it emphasizes collaboration across sectors to advance scalable, secure Web3 systems through data, AI, and decentralized technology: https://x.com/thezkcloud/status/1938492552694665546
@Snarkify_ZKP has joined the @SuccinctLabs Prover Network and launched SP1-SRT, a GPU-native proving engine designed for real-time proving: https://x.com/Snarkify_ZKP/status/1940810807430074775
As an official SP1 prover, Snarkify enhances the network with faster, lower-cost, and higher-throughput proofs, supporting applications like @ethereum block verification.
Internal testing is ongoing, with public benchmarks to follow, as the team continues to work toward setting new standards for decentralized, verifiable compute.
@cysic_xyz has launched its Verifier Android app, allowing users to verify ZKPs directly from their phones during idle time: https://x.com/cysic_xyz/status/1937505039008023001
The app supports the Ignition verifier task, giving participants a chance to complete the challenge and earn rewards by contributing through mobile devices.
The @zan_team recently shared their Monthly Report, highlighting key product and event updates: https://x.com/zan_team/status/1942151085181067397
Key highlights include:
@zerobasezk has announced a strategic partnership with @ZKVProtocol, a verification-layer infrastructure designed for efficient, trustless ZKP validation: https://x.com/zerobasezk/status/1937840866330394967
Together, they aim to support high-throughput ZK apps by linking Zerobase’s task scheduling and proof generation with zkVerify’s robust verification network.
This integration enables real-time, chain-agnostic proof validation and strengthens decentralized trust standards across on-chain finance, private computation, and real-world data use cases.
The project also launched Earn, a program allowing users to generate passive income by sharing bandwidth from their existing devices like phones or laptops: https://x.com/zerobasezk/status/1938528032123215988
Participants in the test network can earn $20-$300 monthly, depending on device uptime and location. Early users in the U.S. and Taiwan report $20-$40 per device.
@ZircuitL2 has partnered with @SindriLabs to utilize its proving capabilities, supported by @SuccinctLabs's SP1 and @a16zcrypto's Jolt: https://x.com/ZircuitL2/status/1938683623504519450
Sindri's cloud-based infrastructure enables scalable cryptographic workloads and simple zkVM integration.
Internal zkVM-based testnets have been running successfully, with a public testnet and mainnet on the way.
