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, @IrreducibleHW, @MarlinProtocol, @vlayer_xyz, @thezkcloud, & @zerobasezk.
🔹 Visit hozk.io for more reports from across the industry 🔹
Oct 2, 2025 · 8:02 AM UTC
Brevis
🔹 Events 🔹
@no89thkey, Co-founder of @brevis_zk, participated in Verifying Intelligence in Singapore, which was hosted by @HouseofZK and @boundless_xyz in partnership with @googlecloud. Timestamp: 02:31:15: x.com/i/broadcasts/1rmxPvVAQ…
He was joined by @provenauthority of @billions_ntwk, @sd_eigen of @ProjectZKM, @anuragarjun of @AvailProject, and @ssh_nkar of Boundless. Together they discussed the challenges of scaling ZKPs from theory to global adoption, focusing on questions of performance, decentralization, and standards.
🔹 Partnerships 🔹
Brevis has partnered with @beefyfinance to bring ZKP technology to @LineaBuild vaults, beginning with the Linea Ignition program: x.com/brevis_zk/status/19675…
Using its zkCoprocessor, Brevis enables cryptographic verification of deposits, trades, and reward distributions, proving accuracy without exposing private data. This removes the need for trust in reward systems and establishes a transparent, scalable model that can extend across all Beefy vaults and future incentive programs.
🔹 Visit hozk.io for more reports from across the industry 🔹
Cysic
🔹 Tech 🔹
@cysic_xyz unveiled the DogeBox 1 at @token2049, describing it as the first pocket-sized Scrypt miner for Dogecoin and Litecoin: x.com/cysic_xyz/status/19732…
The device offers 125 MH/s hashrate at 55W, operates quietly under 35 dB, and connects via Wi-Fi and Bluetooth. Designed for easy setup, it integrates with the Cysic Network for on-chain verification and staking support. Pre-orders launched at $399, requiring a $99 deposit at booth K42.
🔹 Publications 🔹
Cysic shared an article covering the progress of its ZKP network from early testnet phases to preparing for mainnet: x.com/cysic_xyz/status/19701…
The project expanded from a small closed pilot in 2024 to over 1.36 million participants in Phase III, demonstrating decentralized compute at scale.
🔹 Events 🔹
@leofanxiong, Co-founder of Cysic, took part in Verifying Intelligence in Singapore, an event co-organized by @HouseofZK and @boundless_xyz in partnership with @googlecloud. Timestamp: 01:52:51: x.com/i/broadcasts/1rmxPvVAQ…
He was joined by @alicelingl of HoZK, @yq_acc of @alt_layer, @FormallyJon of @VeridiseInc, and @robviglione of @ZKVProtocol & @horizenglobal. Together they discussed the dual role of AI in security - how it can both accelerate threat detection and introduce new vulnerabilities when exploited by attackers - and its implications for building secure digital systems.
🔹 Partnerships 🔹
Cysic and @ZKVProtocol have announced a partnership: x.com/cysic_xyz/status/19664…
Cysic contributes hardware-accelerated proving through its chips, ASICs, and GPUs, while zkVerify focuses on simplifying deployment, interoperability, and verification.
🔹 Visit hozk.io for more reports from across the industry 🔹
Fermah
@fermah_xyz is celebrating its first year since emerging from stealth, reflecting on milestones and community participation: x.com/fermah_xyz/status/1968…
Key highlights from the past year include:
• Introduction of Fermah with a seed funding announcement.
• Founder @vanishree_rao sharing a vision shaped by decades of work.
• Launch of Devnet, enabling developers to test the technology early.
• Strong online engagement, with thousands of active participants following their updates.
• Invitation for the community to share favorite Fermah stories.
Vanishree announced that Fermah secured its first paying customers (@zksync) within six months and expanded its base quickly: x.com/vanishree_rao/status/1…
She noted the team had worked intensely for five months in silence and hinted that major developments are about to be revealed. Fermah is preparing for its next phase with growing anticipation.
Irreducible
@IrreducibleHW has released an open-source demo of zkLogin running on Binius64, showing how the system enables fast, privacy-preserving authentication for blockchain and beyond: x.com/IrreducibleHW/status/1…
zkLogin lets users log in with familiar OpenID accounts, removing the need for new secrets while protecting the link between identities.
Tests on Android devices showed proofs generated in about a second, even on budget phones, with compact proof sizes. The demo code and Binius64 prover are now available for developers.
🔹 Visit hozk.io for more reports from across the industry 🔹
Marlin
@MarlinProtocol shared a post explaining that governance is essential for decentralized protocols, allowing systems to adapt beyond their initial design: x.com/MarlinProtocol/status/…
Current models face challenges like chain-specific voting power, lack of cross-chain inclusion, and absence of vote privacy. To address this, Marlin proposes a governance framework using TEEs, enabling encrypted votes, cross-chain staking recognition, and verifiable results on-chain, ensuring secure, private, and more inclusive decision-making for decentralized communities.
🔹 Visit hozk.io for more reports from across the industry 🔹
vlayer
@vlayer_xyz continues to grow its Grants program, supporting early teams building verifiable, trust-minimized solutions for developers:
• @livylabs simplified Trusted Execution Environments (TEEs) by allowing Rust programs to run inside Intel TDX enclaves with verifiable outputs. Together with TLS Notary, the project delivered enclave-backed attestations that strengthened privacy-first applications and made trustless computation accessible to developers: x.com/vlayer_xyz/status/1971…
• @mcpaytech provided a plug-and-play toolkit for adding per-call payments to MCP servers and APIs. It enabled flexible pricing, wallet-based identity, and used vlayer Web Proofs to guarantee authentic responses, helping developers monetize APIs globally in a scalable and permissionless way: x.com/vlayer_xyz/status/1970…
🔹 Visit hozk.io for more reports from across the industry 🔹
Zerobase
@zerobasezk has partnered with @BitwayOfficial to combine its ZK prover network with Bitway’s @Bitcoin-compatible L1 platform: x.com/zerobasezk/status/1970…
This collaboration aims to integrate a risk-neutral strategy proof, enhancing security and compliance for on-chain finance. It also seeks to accelerate ecosystem growth and support new applications in e-commerce through stronger risk-assessment mechanisms.
The project has also partnered with @Hpx_Official to enable staking directly through the HPX wallet: x.com/zerobasezk/status/1969…
They aim to combine privacy, usability, and verifiable ZK rewards in one place, offering a simpler and more transparent experience for users.
🔹 Visit hozk.io for more reports from across the industry 🔹
We are thrilled to announce our partnership with @BitwayOfficial !
ZEROBASE will leverage our advanced ZK prover network together with BITWAY’s Bitcoin-compatible L1 platform to expand the ecosystem and integrate the ZK risk-neutral strategy proof.
This collaboration will deliver a more secure risk-assessment mechanism for on-chain finance, ensuring neutrality and compliance of strategies while accelerating innovation in e-commerce.
ZkCloud
🔹 Validation 🔹
@thezkcloud published a post explaining how they validated @RiscZero’s trie collapsing implementation: x.com/thezkcloud/status/1971…
Initially thought to be a bug, the issue stemmed from Reth producing minimal witnesses under the assumption that keys were sorted. Using unordered keys caused collapsing without expected nodes. Sorting keys before state updates fixed the problem, highlighting practical steps toward production-ready ZK prover networks.
🔹 Ethproofs 🔹
@eth_proofs announced a second multi-GPU prover in ZkCloud, running RiscZero’s R0VM across 48 GPUs, with more systems expected soon: x.com/eth_proofs/status/1966…
🔹 Visit hozk.io for more reports from across the industry 🔹
Prover networks don’t just do heavy-computer math - they must replicate Ethereum’s state transitions exactly, down to the quirks of the Merkle Patricia Trie (MPT).
This week we validated the correctness of @RiscZero's trie collapsing implementation.
At first, we suspected a bug, but the real issue turned out to be elsewhere:
→ Reth builds a very minimal witness, assuming keys are sorted
→ When updates were applied with unordered keys, collapsing was triggered without the extra nodes Reth expected
→ Fix: sort keys before state updates (much cheaper than doubling witness size)
These are the details that turn ZK prover networks from research prototypes into production systems.
👉 Full notes: github.com/zenith-network/ri…














