Here we report on the progress of the leading builders in the Proving Service ZKonomy, documenting recent significant releases, technical breakthroughs and general updates
Gevulot rebranded as @thezkcloud: the first decentralized, neutral cloud for ZKP generation and verification. Launching in Q1 2025, ZkCloud reduces ZK costs, supports permissionless participation, and introduces the $PROOF token for governance, staking, and rewards in the ZK ecosystem: https://blog.zkcloud.com/p/gevulot-is-now-zkcloud
@cysic_xyz announced some key updates covering their ZK proving system, staking, and the Cysic Network's future. Founder @leofanxiong addressed integration with proof backends, plans to decentralize task assignment, and upcoming milestones ahead of the 2025 mainnet launch. Tokenomics and TGE ratios will soon be detailed: https://medium.com/@cysic/%EF%B8%8Fleo-community-ama-recap-be217a3241b1
@zan_team announced their GPU-accelerated basefold commitment for Jolt-b over GoldilocksExt2 field. Using the sumcheck protocol, ZAN aims to enhance GPU acceleration for @a16z's Jolt and @PolyhedraZK's Expander:
@lagrangedev founder @Ismael_H_R and @hyle_org founder @sylvechv explored how lean, provable apps could shape crypto’s future, with Sylve proposing a halting of Ethereum’s evolution and Ismael sharing his own views:
@SindriLabs API now supports @SuccinctLabs SP1 zkVM, enhancing developer workflows with production-ready proving frameworks. Developers can upload guest code directories with a sindri.json manifest to generate SP1 proofs using schemes like Groth16 or Plonk: https://sindri.app/changelog/2024/12/23/sp1-support/
@MarlinProtocol introduced oyster-cvm, a versatile CLI tool simplifying TEE app development. It enables building, debugging, deploying, and updating enclave images via Docker. The stated standout feature is local setups mirroring TEE environments perfectly: https://docs.marlin.org/oyster/build-cvm/tutorials…
In addition, Marlin research shared an article on securing TEE apps and their growing importance in modern computing. This comprehensive guide explores TEE fundamentals, their deployment workflows, and critical precautions like reproducible builds, attestations, and secure enclave operation: https://bedlamresear.ch/posts/securing-tee-apps/
@IrreducibleHW launched the alpha-ready Binius library and its first application: an @Ethereum state proving service. This supports stateless clients without major protocol changes, reducing node bandwidth needs and enabling true decentralization: https://x.com/IrreducibleHW/status/1877086675907871044
@Ingo_zk released ICICLE V3.3, introducing major upgrades: large field NTT performance now matches Arkworks, and KoalaBear support is added, thanks to @0xPolygon: https://github.com/ingonyama-zk/icicle/releases/tag/v3.3.0…
In addition, Ingonyama announced its 2025 Research Grants, offering $100,000 to researchers improving algorithms with ICICLE, their advanced math library for ZK proofs. Participants re-implement benchmarks from existing research using ICICLE for grants based on performance gains: https://medium.com/@ingonyama/ingonyama-research-grants-2025-73796f1de44d
@fermah_xyz, the universal proof market, hinted at an upcoming educational series starring their founder @vanishree_rao, a PhD in Cryptography with over 15 years of experience in designing and building ZK.The series, which is being produced in collaboration with @HouseofZK, aims to educate a broad audience about the fundamentals of Zero-Knowledge, covering everything from ZKP basics and terminology, to ZK applications and proof markets: https://x.com/fermah_xyz/status/1877160241818681427
