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: @brevis_zk, @cysic_xyz, @fermah_xyz, @vlayer_xyz, @zan_team, @thezkcloud, & @zerobasezk.
Pico Prism
@brevis_zk unveiled Pico Prism, a system approaching real-time @ethereum L1 proving on 64 consumer-grade RTX 5090 GPUs: https://hozk.io/journal/pico-prism-real-time-ethereum-proving-on-consumer-hardware
Over a 24 hour period, 99.6% of 45M gas blocks were proven in under 12 seconds, and 96.8% within 10 seconds - just short of the @ethereumfndn’s 99% real-time target.
With an average proving time of 6.9 seconds, Pico Prism is 3.4 times more efficient and half the hardware cost of previous systems, marking major progress toward full real-time Ethereum proving.
Publications
Brevis published an article about solving blockchain’s long-standing computation limits through verifiable computing: https://blog.brevis.network/2025/10/17/the-brevis-guide-the-infinite-compute-layer-for-everything/
Traditional blockchains require every validator to re-execute transactions, making advanced applications inefficient. Brevis replaces this with mathematical proofs that verify computations off-chain. Its two core products, Pico zkVM and ZK Data Coprocessor, enable scalable, trustless execution for complex tasks.
The project’s technology now supports major DeFi protocols like @MetaMask, enabling personalized rewards, verifiable data access, and efficient blockchain operations at production scale.
Events
1/ Brevis will host ZKONNECT on Nov 18th at CasaSur Palermo Hotel in Buenos Aires, as part of @EFDevcon - co-hosted by @HouseofZK.
The event will explore how zkVMs, ZK Data Coprocessors, zkML, and zkTLS are moving from concept to production - powering real-world use cases in verifiable computation, cross-chain data, and Verifiable AI.
Registration link: https://luma.com/jix04ltq
2/ The project will also co-host Verifying Intelligence 3.0 with @HouseofZK and @invisiblgarden on Nov 19th at Cultural Vivo, Buenos Aires: https://x.com/HouseofZK/status/1980937640686850398
The event explores the intersection of ZK technology and AI, focusing on Verifiable AI.
Sponsored by @0G_labs, @ZKVProtocol, and @ProjectZKM, with support from @solowcripto & @dev3pack.
Registration link: https://luma.com/xevcy7za
Partnerships
Brevis and @GoKiteAI have announced a partnership to build verifiable trust infrastructure for AI payments: https://x.com/brevis_zk/status/1980933556391313469
Kite AI will provide a blockchain layer for agent identity, governance, and stablecoin micropayments, while Brevis adds ZKP technology to verify AI computations.
@cysic_xyz has released an updated whitepaper, shifting its focus from verifiable computing to creating an open, programmable compute economy called ComputeFi: https://x.com/cysic_xyz/status/1977752490838733136
The system addresses rising demand and limited access to computing power by introducing a decentralized, on-chain marketplace that connects providers and users of compute resources.
Using a “Proof of Compute” model, Cysic enables verifiable, cross-chain, and hardware-agnostic workloads for AI, ZK, and high-performance computing.
@HouseofZK has begun recapping its genesis educational series where @vanishree_rao, Founder of @fermah_xyz, timelessly explains the core principles of ZK in a way that's intuitive for developers who are new to the field:
• Episode 1: What is a Zero-Knowledge Proof: https://hozk.io/education#Episode-1-What-is-a-Zero-Knowledge-Proff
Vanishree explains the essence of ZKPs through simple examples, showing how one party can prove a fact without revealing underlying data. She introduces key ideas of functionality, security, and the balance between trust and verification.
• Episode 2: The Evolution of ZK: https://hozk.io/education#Episode-2-The-Evolution-of-ZK-with-Vanishree-Rao-Founder-of-Fermah
Vanishree traces how ZK has advanced from early interactive models to efficient, non-interactive systems with faster proving, recursion, and aggregation. She highlights progress in trusted setups, proof systems, and developer tools that make ZK more practical.
• Episode 3: Zero-Knowledge Terminology: https://hozk.io/education#Episode-3-Zero-Knowledge-Terminology
Vanishree breaks down core terms like constraints, circuits, and zkVMs to clarify how ZK systems operate. Also explains proof markets, client-side proving, and trusted setup ceremonies, connecting technical language to real ZK applications.
• Episode 4: The Zero-Knowledge Supply Chain: https://hozk.io/education#Episode-4-The-Zero-Knowledge-Supply-Chain
Vanishree outlines the full decision-making journey of a developer when adopting ZK - from choosing a proof system to setting up proving and verification infrastructure. She emphasizes how developers weigh cost, time, and security when building efficient, scalable ZK solutions.
1/ @vlayer_xyz is joining forces with @complywiser to modernize compliance verification through privacy-focused technology: https://vlayer.xyz/blog/vouch-partners-with-complywiser-to-redefine-compliance-verification-with-privacy-first-proofs
Their collaboration integrates @Vouch_io app into Complywiser’s platform, replacing document-based checks with cryptographic proofs that complete in seconds.
This method aims to minimize fraud, protect user data, and aligns with GDPR and AML standards, allowing compliance teams to verify information faster and more securely.
2/ The project has also partnered with @ORQO_digital, a unified digital asset management platform with over US$370 million in assets, to enable real-time verification of Proof of Reserves and Assets Under Management.
Using vlayer’s Web Proofs and Email Proofs, ORQO can securely attest to both on-chain and off-chain holdings: https://vlayer.xyz/blog/orqo-chooses-vlayer-for-real-time-proof-of-aum-verification
@zan_team released its September report:https://x.com/zan_team/status/1976845919556673548
Highlights include:
• A limited-time 20% discount on node sales marking its 2nd anniversary, offering higher request capacity and faster RPC services.
• The launch of @JovayNetwork mainnet node and added MEV protection for @solana Trading Boost.
• PowerZebra’s rebrand to “ZK Acceleration,” featuring GPU-based, customizable solutions for ZK workloads.
• Participation at @token2049 as an exhibitor, showcasing leading Web3 infrastructure across the Asia-Pacific region.
@thezkcloud shared an article explaining its role in @aztecnetwork’s Public Testnet - detailing how the network enables programmable privacy through decentralized proof generation: https://blog.zkcloud.com/p/what-does-it-take-to-prove-aztecs
The article explains the structure of Aztec’s proving architecture, including prover nodes, brokers, and agents that generate proofs for each epoch.
ZkCloud participated in all test phases, submitting over 7,600 proofs using 72 prover agents. It also describes Aztec’s updated proving model for mainnet, which simplifies coordination and opens participation to all provers.
