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, @zan_team, & @vlayer_xyz
Tech
@fermah_xyz announced it successfully generated @ethereum proofs using @RiscZero - without relying on Bento, the framework typically used to manage the complexity of R0VM: https://x.com/fermah_xyz/status/1953166545557065986
Instead, Fermah rebuilt the pipeline from scratch, modeling each step - execution, proving, merging, and resolution - as jobs scheduled across CPUs and GPUs.
The achievement demonstrates Fermah’s capacity to handle computationally demanding proof workflows, highlighting its role as a programmable proving layer designed to integrate new systems flexibly.
Events
@vanishree_rao, Founder of Fermah, recently spoke at @googlecloud's Zero Knowledge and AI Summit, addressing whether strong privacy can coexist with good UX: https://x.com/fermah_xyz/status/1955661188962148698
The event gathered researchers, engineers, and industry leaders to explore recent progress in ZK technology, highlighting ongoing work and future directions in the field.
@Ingo_zk team announced the integration of ICICLE ML-KEM with liboqs, an open-source library for quantum-safe cryptography under the @linuxfoundation’s PQC Alliance: https://x.com/Ingo_zk/status/1956402568848110003
This integration connects ICICLE’s lattice-based cryptographic tools with liboqs’ implementations, expanding support for post-quantum security.
@brevis_zk, @MetaMask, and @LineaBuild have launched a partnership to provide MetaMask Card users with ZKP-powered rewards: https://blog.brevis.network/2025/08/13/setting-a-new-standard-for-on-chain-incentives-with-metamask-linea-and-brevis/
Starting August 13th, eligible users on @aave’s Linea market receive a fixed 2.4% APR, capped at 5,000 USDC. Rewards are calculated automatically and claimable on Incentra.
Brevis has also launched the first in-browser verifier for Pico zkVM, now in production: https://x.com/eth_proofs/status/1955625678197440642
@zan_team has announced several new partnerships:
@StarkWareLtd: Partnered to integrate Zan's ZK acceleration service with the Stwo proof system, boosting proof generation speed by 37× and enhancing performance across the ZK ecosystem: https://x.com/zan_team/status/1953047534043271488
@Aptos: Zan became an official validator on the Aptos mainnet, supporting decentralization, scalability, and security of the network: https://x.com/zan_team/status/1956282437778235522
@monad: Zan joined Monad testnet-2 as a validator node, contributing to ecosystem growth and advancing blockchain technology: https://x.com/zan_team/status/1951102405795553580
@vlayer_xyz shared details about @decycle_io, a project built at @ETHGlobal Prague that integrates vlayer’s email proofs into waste management: https://x.com/vlayer_xyz/status/1955255093453857199
By combining these proofs with face-based account abstraction and smart bins, Decycle enables verifiable disposal, transparent ownership, and automated payments. Users receive token rewards for recycling, while collectors can check bin value in advance.
vlayer highlighted potential applications across reverse logistics and supply chain audits.
