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, @MarlinProtocol, @vlayer_xyz, @zan_team, & @thezkcloud. 🔹 Visit for more reports from across the industry 🔹

Brevis 🔹 Media 🔹 @no89thkey, Co-founder of @brevis_zk, joined @alicelingl on @HouseofZK Radio’s “Brevis Special” to discuss the project’s advances in real-time proving with Pico Prism: He explained that Brevis originated from DeFi’s demand for customized trading experiences, where on-chain computation remains too costly. By shifting complex tasks off-chain and verifying them efficiently on-chain, Brevis aims to make scalable, verifiable compute practical. Their modular glue-and-co-processor architecture underpins Pico Prism’s ability to achieve near real-time @eth_proofs, supporting applications from incentive programs to dynamic DeFi fees. 🔹 Events 🔹 This month, Brevis is joining and co-hosting multiple events, including: • Nov 16 - Ethereum Cypherpunk Congress #2: • Nov 18 - ZKONNECT: organized by Brevis, co-hosted with House of ZK: • Nov 19 - AdoptionCon | Devconnect: • Nov 19 - Verifying Intelligence: co-hosted by House of ZK and Brevis: • Nov 21 - ZK Real World Summit: • Nov 21 - Zero Hour Rooftop: organized by Brevis, co-hosted with @fenbushi: • Nov 22 - PancakeSwap Meetup: Find more Brevis news in our recent Brevis Special Report:

Cysic 🔹 Venus 🔹 In the recent @eth_proofs Call #6, @leofanxiong (Co-founder @cysic_xyz) shared updates on Venus, a heterogeneous Real-Time Prover (RTP) integrating GPUs and FPGAs for @ethereum. Timestamp - 00:36:00: The team migrated all 50+ chips’ TraceGen function to GPU, achieving up to 325× speedup and around 30× even with PCIe. Further kernel fusion added 15-30% gains, making Venus about 2-2.1× faster end-to-end than Hypercube by @SuccinctLabs. 🔹 Roadmap 🔹 Cysic has presented a detailed roadmap outlining its three-layer strategy for building a decentralized compute ecosystem: Highlights: • Cysic ZK focuses on hardware acceleration for verifiable computation, advancing from FPGA prototypes to full ASIC design for zero-knowledge proofs and AI processing. • Cysic Network establishes a coordination layer linking provers, verifiers, and clients through decentralized infrastructure, enabling verifiable performance and AI service integration. • Cysic Miner creates the access layer, offering plug-and-play hardware that allows users to contribute computing power and receive yield from real workloads. 🔹 Publications 🔹 Cysic published two articles diving into the fundamentals of compute and ZK: • One piece looks at the meaning of compute itself - how chips like CPUs, GPUs, and ASICs drive everything from AI to blockchain, and why access has become centralized and expensive. Cysic presents ComputeFi as a way to make computing power verifiable, distributed, and owned by users rather than rented: The other focuses on ZK, explaining how it proves correctness without exposing data and why that process consumes vast processing power. It outlines how distributed proving networks and specialized hardware turn verification into a measurable, efficient layer of computation: 🔹 CyRunners Ambassador Program 🔹 Finally, the project has launched the CyRunners Ambassador Program, inviting community members to help grow the ComputeFi ecosystem: CyRunners will create content, engage in online discussions, and promote the concept of decentralized computing. Participants will gain access to internal team channels and contribute to shaping the project’s direction. The program is now open for applications through the official Cysic website. 🔹 Visit for more reports from across the industry 🔹

Fermah 🔹 Airbender Proofs 🔹 During @eth_proofs Call #6, @vanishree_rao (Founder of @fermah_xyz) shared that Fermah is now generating Airbender proofs. Timestamp - 00:17:40: She explained how the goal is to bring diversity of proof systems, demonstrate Fermah’s ability to integrate any prover quickly, and contribute to @zksync’s Airbender. Fermah’s team automated proof generation and orchestration, managed storage and retries internally, fixed GPU proving issues, restored builds, and submitted upstream code improvements. 🔹 Publications 🔹 Vanishree also published two articles examining the security flaws and risks that arise from blockchain systems’ dependence on offchain infrastructure: • In the first, she argues that most crypto losses stem not from weak protocols but from fragile offchain components like fund managers, oracles, and bots. Using @StreamDefi as an example, she shows how architectures that push core logic offchain turn decentralization into an illusion of safety: • In the second, she analyzes @MoonwellDeFi incident, where a faulty offchain price feed caused major losses even though the smart contracts behaved correctly. Through this case, she highlights how relying on external data strips away onchain guarantees, reducing security to a “God-save-my-money” level of trust: 🔹 Media 🔹 Lastly, Vanishree revealed an upcoming appearance on @HouseofZK Radio podcast with host @alicelingl, hinting that their sure-to-be insightful conversation is soon to be released: 🔹 Visit for more reports from across the industry 🔹