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 is integrating with @boundless_xyz, enabling cost-effective and high-performance proof generation while allowing seamless deployment across any chain. With Fermah’s developer-friendly tools, even complex proofs become easy to generate, bringing scalable cryptographic solutions to a broader audience: https://x.com/fermah_xyz/status/1887543067152162989…
Fermah will also provide ZKPs for @FunctorNetwork’s AI agents, ensuring verifiable and permissioned on-chain actions. Functor, developed by @securitylabsxyz, enables autonomous AI operations across multiple chains: https://x.com/fermah_xyz/sta
@thezkcloud is launching Deluge, a @cosmos-based testnet designed to support decentralized block building and validator onboarding ahead of its L1 mainnet launch. Validators on Deluge can earn rewards and secure delegation on the mainnet. The Gevulot Foundation has allocated 120 million $PROOF tokens for validator incentives. Applications to join are open until Feb 9, 2025: blog.zkcloud.com/p/introducing-the-zkcloud-deluge-testnet
@Snarkify_ZKP partnered with @NexusLabs, integrate the Elastic Prover with the Nexus zkVM. This GPU-accelerated service offers unmatched scalability, efficiency, and cost-effectiveness for ZKPs, enabling dApps to access fast, reliable proving with easy setup and minimal infrastructure management: https://x.com/Snarkify_ZKP/status/1879233619656572938…
In addition, a new episode of @HouseofZK Radio with Snarkify CEO @drouyang was released, in which he talked about hardware acceleration for ZK proofs, GPUs, FPGAs and ASICs, Snarkify's Elastic Prover platform, the benefits of decentralized proofs, and ZK benchmarking practices: https://youtube.com/watch?v=qCPoDI-NVBE
@cysic_xyz has introduced an Android-based verifier app, allowing users to verify ZKPs with ease. Currently supporting @Scroll_ZKP’s chunk proofs, the app lets users verify proofs, submit results to Cysic Network, and earn rewards. With a lightweight 47.8MB package and 200MB memory usage, users can start verifying in three simple steps: download, import wallet, and start verification: https://medium.com/@cysic/introducing-cysic-verifier-application-3f931b497b35
@zerobasezk and @ElectronZK are working together to reduce costs and improve the speed of ZKP generation. ZeroBase provides a network for fast ZKP creation, while ElectronZK optimizes it through proof bundling: https://x.com/zerobasezk/status/1883982386641379449…
ZeroBase is also partnering with @SoloDePIN to explore the integration of ZK into transaction mining on the @Optimism Superchain, enhancing privacy and on-chain efficiency: https://x.com/zerobasezk/status/1887093816894890115
@MarlinProtocol announced collaborations with @Exponent_AI, @EniqAi, @mellowprotocol, @symbioticfi, @Aither_protocol, and @Chromia to enhance AI security and blockchain efficiency. Exponent AI leverages Marlin Oyster for trusted AI verification. Eniq AI integrates TEE for secure AI-driven education. Mellow and Symbiotic enable POND restaking. Aither uses TEE for AVMs. Chromia implements secure AI memory management: https://x.com/MarlinProtocol/status/1883849090917908598
@Ingo_zk introduced ICICLE-Stwo, a GPU-accelerated backend for @StarkWareLtd’s Stwo prover, boosting performance by 3.25x-7x over the existing SIMD backend. Profiling tests showed significant speedups, with room for further improvements: https://medium.com/@ingonyama/introducing-icicle-stwo-a-gpu-accelerated-stwo-prover-550b413d4f88
@IrreducibleHW has raised $24 million in a Series A funding round co-led by @paradigm and @BainCapCrypto, with participation from @fenbush, @l2iterative, @robotventures, and key angel investors. The funding will support the development of Binius, a cryptographic proof system designed for efficiency and scalability. Additionally, Irreducible has launched its own data centers equipped with custom FPGA-based servers to enhance performance: https://irreducible.com/posts/irreducible-s-24m-series-a
