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.
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: https://x.com/i/broadcasts/1rmxPvVAQVjGN
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: https://x.com/brevis_zk/status/1967561347463516284
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.
Tech
@cysic_xyz unveiled the DogeBox 1 at @token2049, describing it as the first pocket-sized Scrypt miner for Dogecoin and Litecoin: https://x.com/cysic_xyz/status/1973241770256605276
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: https://x.com/cysic_xyz/status/1970126183074337089
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: https://x.com/i/broadcasts/1rmxPvVAQVjGN
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: https://x.com/cysic_xyz/status/1966496926167142612
Cysic contributes hardware-accelerated proving through its chips, ASICs, and GPUs, while zkVerify focuses on simplifying deployment, interoperability, and verification.
@fermah_xyz is celebrating its first year since emerging from stealth, reflecting on milestones and community participation: https://x.com/fermah_xyz/status/1968344243455570423
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: https://x.com/vanishree_rao/status/1968355431140450594
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.
@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: https://x.com/IrreducibleHW/status/1967936039269405095
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.
@MarlinProtocol shared a post explaining that governance is essential for decentralized protocols, allowing systems to adapt beyond their initial design: https://x.com/MarlinProtocol/status/1971548556457861276
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.
@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: https://x.com/vlayer_xyz/status/1971218352048578741
• @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: https://x.com/vlayer_xyz/status/1970509338671194258
@zerobasezk has partnered with @BitwayOfficial to combine its ZK prover network with Bitway’s @Bitcoin-compatible L1 platform: https://x.com/zerobasezk/status/1970035917089095846
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: https://x.com/zerobasezk/status/1969291245055877369
They aim to combine privacy, usability, and verifiable ZK rewards in one place, offering a simpler and more transparent experience for users.
Validation
@thezkcloud published a post explaining how they validated @RiscZero’s trie collapsing implementation: https://x.com/thezkcloud/status/1971510714582864052
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: https://x.com/eth_proofs/status/1966519031088763337
