Here we report on the progress of the leading builders in the Proving Service ZKonomy, documenting recent significant releases, technical breakthroughs and general updates
@fermah_xyz has announced its integration with @the_matter_labs's ZK Stack, enhancing the proof generation capabilities of @zksync's Elastic Network, an expanding system of ZK rollups. This collaboration aims to streamline and decentralize the process of creating ZK Proofs, an essential upgrade for the network's interoperability and scalability. Fermah introduces a universal proof market, simplifying what has traditionally been a complex and expensive aspect of blockchain development: https://fermah.xyz/blog-posts/proofs-for-elastic-network…
Fermah is now also able to generate proofs for @StarkWareLtd's advanced STARK prover, Stwo, optimizing efficiency for commodity CPUs and GPUs. By combining Stwo's scalability with Fermah's resource management, this integration reduces proving costs and latency, advancing Ethereum (and potentially Bitcoin) scaling ready for mass adoption: https://x.com/fermah_xyz/status/1883923198808580359…
Last but not least, Fermah's founder @vanishree_rao has partnered with @HouseofZK for the first series of 'From Zero to Knowledge', an educational initiative aimed at introducing ZKP's to developers of all backgrounds. The first episode is available now on YouTube: https://youtube.com/watch?v=j6rEs-D-ix0
@thezkcloud shared some upcoming plans such as the launch of its mainnet in March 2025, aiming to become a cost-efficient ZK proving layer, with the 'Deluge' testnet launching in February for hardware contributors. ZkCloud will gradually deploy proving functionality post-mainnet to ensure stability, with Firestarter clients migrating during the transition phase: https://blog.zkcloud.com/p/attention-zkclouds-prover-and-validator…
They also announced the launch of the ZkCloud Quest with a $1,500 prize pool. Seventy-five participants will win $20 each by completing simple tasks: https://x.com/thezkcloud/status/1883894465808785424
@cysic_xyz shared an blog update stating that that they have surpassed 2.5k provers and 113k verifiers in the testnet, while the leaderboard continues to reward top contributors. Phase I rewards are being claimed, new tasks have been added, and the Android verification app entered beta testing. Platforms like Cysic HQ and Discord enhance engagement of this initiative with regular AMA sessions: https://medium.com/@cysic/this-week-on-cysic-jan-24th-c616e5027719
@zerobasezk's launched their V2 Staking, with key upgrades include LP tokens, borrowing options, proof browser, and risk-neutral trading strategies: https://mirror.xyz/zerobasezk.eth/P7x34W9Wyr7MxSSAh10jVOM73-tDyMVEmLSqw2EfX8A…
Additionally, they partnered with @hyle_org to support the Hylé ecosystem with their advanced prover network. This collaboration enhances Hylé’s lean blockchain, enabling fast, cost-efficient proof generation for developers building provable, minimally on-chain apps: https://x.com/zerobasezk/status/1881915431251767522
@zan_team shared a report for December highlighting key achievements: @solana transaction optimization, TON v3 API release, and @taikoxyz mainnet node launch. ZAN also partnered with @SuiNetwork to tokenize ESG assets, joined @Mint_Blockchain’s ecosystem and engaged in blockchain adoption discussions at the Consumer Web3 Meetup: https://x.com/zan_team/status/1880154122797871192
@MarlinProtocol announced collaborations with projects such as @theNOTAI, @launchcybers, @QuillAI_Network, @buildwithtaco, @kobotoAI, @InferiumAI, @APRO_Oracle, and @Rena_labs to drive secure and efficient Web3 adoption. These partnerships leverage Marlin's Trusted Execution Environment infrastructure to enhance privacy, verifiability, and scalability in AI and blockchain ecosystems. Key integrations include secure AI operations, verifiable computations, tamper-proof data transfer, and cross-chain agent collaboration: https://x.com/MarlinProtocol/status/1878805612106023166
@Ingo_zk introduced ICICLE V3.4, with upgrades that include improved CPU MSM performance, Blake3 CPU + CUDA support, Vulkan backend integration, and taskflow-based CPU redesign: https://x.com/Ingo_zk/status/1879246804996514285… GitHub: https://github.com/ingonyama-zk/icicle/releases/tag/v3.4.0
@IrreducibleHW and @RiscZero have partnered to integrate the Binius proof system with R0's RISC-V-based zkVM. This collaboration enhances proof generation for integrated blockchains, combining decentralization with hardware acceleration and advancing the offerings of the @boundless_xyz universal ZK protocol: https://irreducible.com/posts/irreducible-x-risc-zero
@SindriLabs published a thought-provoking article stating that ZKPs are vital for the future of AI-driven economies. ZK enables trustless transactions between autonomous agents, verifying data or tasks without exposing sensitive details. With zkVMs, programmable trust allows dynamic negotiations and cryptographic reputation building. Despite scalability challenges, innovations like zkVM-as-an-API promise a scalable foundation for global agent-to-agent commerce, revolutionizing economic exchange: https://sindri.app/blog/2025/01/24/agents-zk/
The @ethereumfndn launched its @eth_proofs initiative alongside its first partners: @Snarkify_ZKP, @ProjectZKM and @SuccinctLabs. Akin to @l2beat, Ethproofs is a platform showcasing zkVM proving performance on Ethereum’s mainnet EVM blocks. Aiming to bolster zkVM diversity, the initiative encourages vendors to demonstrate proving capabilities, with dozens of integrations planned and with the ultimate goal to reach sub-12-second proving: https://x.com/eth_proofs/status/1883907113220739102
