Here we report on the progress of the leading builders in the Proving Service ecosystem, documenting recent significant releases, technical breakthroughs and general updates
@fermah_xyz has announced that it will generate proofs for @gateway_eth's Presto, a Platform-as-a-Service that enables users to create zkRollups in minutes.
Fermah optimizes the proving workflow by managing hardware, increasing efficiency, and lowering costs: https://x.com/fermah_xyz/status/1896969019938472281…
Additionally, the third episode of ‘From Zero to Knowledge’ has been released, where @fermah_xyz Founder @vanishree_rao explains the nuances of essential ZK terminology, aiming to help developers with a deeper understanding of its fundamental concepts: https://hozk.io/education
Vanishree also participated prominently in the recent @Zk_Hub_Global, organized by House of ZK at @EthereumDenver, engaging in multiple sessions:
• On Day 1, Vanishree was joined by @anthonykrose, CTO at @the_matter_labs, to discuss @zksync’s recent integration with Fermah: https://x.com/HouseofZK/status/1897219755599085872…
• On Day 2, Vanishree first contributed heavily to a panel discussing how to build an optimal proving service, alongside fellow proving experts from @Snarkify_ZKP, @RiscZero, and the returning Anthony Rose from ZKsync, exploring the requirements for an optimal proving service: https://x.com/i/broadcasts/1yNGaLzAgLvKj… (Timestamp - 2:35:00)
• Finally, Vanishree participated in a discussion on the future of ZK alongside thought-leaders from @arbitrum, @ProjectZKM, @VeridiseInc, and @MantaNetwork: https://x.com/i/broadcasts/1yNGaLzAgLvKj… (Timestamp - 4:14:08)
Fermah were also a major sponsor of ZK Hub, helping to make the event possible.
@thezkcloud has announced the second cohort of validators joining its Deluge Testnet, enhancing its efforts to create a decentralized, efficient ZKP-based cloud. The new validators include @_Supranational, @dsrvlabs, @StableLab, @CosmostationVD, and @ArtifactStaking, each contributing expertise in cryptographic hardware, Web3 infrastructure, DAO governance, blockchain validation, and high-performance computing: https://x.com/thezkcloud/status/1895475289142284297…
The project also participated in @Zk_Hub_Global, organized by @HouseofZK at @EthereumDenver. @NorbertVadas, Head of Product at Gevulot Labs, took part in the 'Proving Services & The Future of ZK' session on Day 2, discussing the practical challenges in proof outsourcing.Timestamp - 03:17:03: https://x.com/i/broadcasts/1yNGaLzAgLvKj…
@Snarkify_ZKP sponsored and participated in @Zk_Hub_Global, organized by @HouseofZK at @EthereumDenver, contributing to several key discussions:
• On Day 1, their CEO @drouyang joined the @eth_proofs panel, alongside fellow contributors from @o1_labs, @KakarotZkEvm, and @ProjectZKM: https://x.com/HouseofZK/status/1897560527846420993…
• On Day 2, Dr. Jiannan Ouyang returned to talk about 'Designing GPU-Native zkVMs and Challenges for Realtime Proving', discussing the complexities of building zkVMs optimized for GPU execution.Timestamp - 01:52:45: https://x.com/i/broadcasts/1yNGaLzAgLvKj…
• Dr. Ouyang also participated in a panel examining the key requirements for an optimal proving service alongside prominent speakers from @fermah_xyz, @RiscZero, and @zksync.Timestamp - 02:35:00: https://x.com/i/broadcasts/1yNGaLzAgLvKj…
@HouseofZK also released a new podcast episode featuring @Niall_Emmart, Co-founder and Head of GPU Engineering at Snarkify, offering a masterclass in hardware acceleration for ZK proving: https://youtube.com/live/ml1hB997JjY
@Ingo_zk has accelerated @ZircuitL2’s proof generation by integrating ICICLE’s GPU-accelerated primitives: : https://ingonyama.com/blog/case-study-accelerating-zircuits-zero-knowledge-proofs-with-icicle
Zircuit improved performance by 20–30%, reducing computational overhead, with the primary enhancements focused around multi-GPU distribution, caching strategies, and efficient workload balancing. This collaboration strengthens Zircuit’s scalability and security, with further optimizations planned in its upcoming Garfield update.
Additionally, Chief Architect of Ingonyama, @yuval_domb, presented a new work introducing a novel approach to modular reduction in cryptography, highlighting the Barrett-Montgomery duality. His findings offer new insights into structured, efficient modular reduction techniques, particularly for low-power devices: https://hackmd.io/@Ingonyama/Barret-Montgomery
@cysic_xyz’s testnet has expanded significantly, with over 500,000 connected wallets and 1.5M CYS + CGT rewards distributed: https://medium.com/@cysic/this-week-on-cysic-8affb9089d6d…
Their new Android Verifier App is now live, making participation easier and community members can now nominate themselves for roles as Cysic prepares for a large-scale marketing campaign.
@MarlinProtocol has introduced a new feature for Oyster, allowing secure secret passing when deploying an enclave: https://x.com/MarlinProtocol/status/1893996837939372501…
Users no longer need a separate server to transfer private keys, API keys, or passwords. Parameters are encoded with source path details, encryption preferences, and hash inclusion. The kms-endpoint fetches a unique public key, enabling secure deployment.
