Here we report on the progress of the leading builders in the ZK Coprocessing ecosystem, documenting recent significant releases, technical breakthroughs and general updates
@lagrangedev, together with @HouseofZK, organized the highly successful ZK/AI Summit at @token2049. Lagrange’s Founder, @Ismael_H_R, opened the event with a talk highlighting the current state of AI and emphasizing the critical role of verifiability through ZK. Timestamp - 00:38:31: https://x.com/i/broadcasts/1rmGPybnanmJN…Later, he gave an interview to @alicelingl and took part in several thematic panels addressing key topics.
Prior to this event, Ismael spoke at The @boundless_xyzHouse of ZK during @festival_web3 in Hong Kong. Joined by @anuragarjun, co-founder of @AvailProject, and @Gink5814 from @zerobasezk, Ismael gave his quick-fire thoughts on whether ZK technology is currently overhyped, which technical issues remain overlooked, and why honest dialogue is essential for the industry's progress: https://x.com/HouseofZK/status/1912230088516784455…
Lagrange have also announced multiple partnerships recently, most of which involve DeepProve:
@hellomother_ai: enabling verifiable AI inference for autonomous agent networks using DeepProve, ensuring agents coordinate, decide, and operate with cryptographic trust: https://x.com/lagrangedev/status/1909245129946284402…
@Gaianet_AI: integrating DeepProve and Lagrange’s ZK Coprocessor to verify model execution, validate knowledge bases, and enable cross-chain communication for AI agents at scale: https://x.com/lagrangedev/status/1909970031611465896…
@LayerOnEth: embedding DeepProve into Layer’s AVS framework, making zkML verifications easily pluggable for apps like deterministic AI agents, oracles, and intent protocols: https://x.com/lagrangedev/status/1910336716096823649…
@0xHolonym: applying DeepProve to Human Wallet, allowing AI agents to manage wallets under user-defined rules with verifiable execution and full user control: https://x.com/lagrangedev/status/1910694732390686825…
@spicenetio: scaling verification of intents in omnicomposable apps by integrating Lagrange’s ZK Coprocessor into its validation layer for secure, efficient execution: https://x.com/lagrangedev/status/1911781802487718215…
@fere_ai: strengthening AI assistant reliability by using DeepProve to verify research, real-time analysis, and transactions within the Fere ecosystem: https://x.com/lagrangedev/status/1912143899872710999…
@SpheronNetwork: providing scalable zkML validation for decentralized GPU compute providers, ensuring AI outputs are provable, tamper-resistant, and institution-ready: https://x.com/lagrangedev/status/1917225637946736915…
@gaib_ai: securing tokenized GPU-based AI compute with DeepProve, tying synthetic yield (AID) to real, verifiable workloads backed by zero-knowledge proofs: https://x.com/lagrangedev/status/1913231270181470482…
@crestalnetwork: integrating DeepProve into IntentKit to enable scalable, verifiable AI agent actions within a modular, community-owned onchain agent ecosystem: https://x.com/lagrangedev/status/1912869356024791249
@primus_labs published an article explaining how combining zkTLS, TEE, and zkVM creates a secure, privacy-preserving framework for bringing Web2 data on-chain: https://x.com/primus_labs/status/1908193205537194090… zkTLS verifies web data authenticity, TEE safeguards private computations, and zkVM executes programs without exposing sensitive inputs. This integration enables scalable, decentralized apps using Web2 data while maintaining user privacy and system integrity.
In other news, @xxiang_xie, Co-founder of Primus Labs, participated in a panel at The Boundless House of ZK hosted by @boundless_xyz&@HouseofZK.ogether with @1HowardWu, Co-founder of @AleoHQ, @tongtongbee, Co-founder & Editor-in-Chief at @PANewsCN, @Joshua_zkp, Co-founder of @zkPass, and @deligong, Co-founder of @AutomataNetwork, they discussed applied use cases of ZKPs in real-world products, protocols, and user interfaces across various industries: https://x.com/HouseofZK/status/1913282413356077520…
The project also announced multiple new partnerships, which include:
@questflow: using zkTLS to cryptographically verify off-chain actions of AI agents, enabling automated task execution and fair reward distribution based on provable contributions: https://x.com/primus_labs/status/1910316857967730791…
@buildonnillion: integrating SecretVault with Primus’s zkTLS infrastructure to securely use private Web2 data in blind computations without exposing personal information: https://x.com/buildonnillion/status/1911751385538076860…
@GoKiteAI: deploying zkTLS on the Kite AI blockchain, allowing AI applications to verify the authenticity of off-chain data and agent actions through cryptographic proofs: https://x.com/primus_labs/status/1915073275836985542…
@DeluluTrade: applying zkTLS to onchain marketing to attract real users and build an engaged community through campaigns within the @monad_xyz ecosystem: https://x.com/primus_labs/status/1915392719461245161…
@buzzingdotclub: ensuring secure and transparent operations of AI agents in the prediction market by verifying data sources and reducing dependence on manual oversight: https://x.com/primus_labs/status/1916856933690081307
@AutomataNetwork shared its 2025 roadmap, outlining upcoming efforts to advance confidential and verifiable AI through Trusted Execution Environments: https://automatanetwork.medium.com/automata-2025-roadmap-what-comes-next-82c7b2144303…Planned developments include expanding tools like http://1RPC.ai, building Confidential Virtual Machines, and enhancing multi-prover rollups on @eigenlayer.
The roadmap also sets out goals to broaden SDK support and simplify machine attestation for greater trust in decentralized, agent-driven applications across Web3.
Automata also wrote about its continued advancements in DCAP Attestation with added support for @solana, broader network compatibility, and new SDKs for SGX, TDX, and other TEEs. The integration of Multi-Prover architectures using TEEs enhances rollup scalability. A security audit by @trailofbits confirmed the system’s robustness, reinforcing trust in hardware-based security within blockchain infrastructure: https://blog.ata.network/automatas-dcap-attestation-v1-0-0-building-for-rollups-and-ai-agents-2508221be0b8?source=user_profile_page---------0-------------f15317e02c04…
Finally, @deligong, Co-founder of Automata Network, spoke at a panel during The Boundless House of ZK, organized by @boundless_xyz and @HouseofZK.
Alongside @1HowardWu (@AleoHQ), @tongtongbee (@PANewsCN), @Joshua_zkp (@zkPass), and @xxiang_xie (@primus_labs), they explored practical applications of ZKPs - from digital identity systems to private payments and verifiable AI: https://x.com/HouseofZK/status/1913282413356077520
@SpaceandTimeDB’s ZK coprocessor, ’Proof of SQL’, has tripled in speed ahead of its mainnet launch. It enables smart contracts to perform fast, verifiable SQL queries on blockchain data. Benchmarks show sub-second proof generation for 600,000 rows, around 11 seconds for 10 million rows, and 5-millisecond verification time. Performance upgrades were made by @MakeInfiniteCo: https://x.com/SpaceandTimeDB/status/1917722928101351591…
Additionally, S+T have launched a new block explorer for the @SuiNetwork. It lets users view finalized transactions, wallet activity, token movements, smart contracts, and NFTs, using indexed onchain data. The tool offers fast, detailed access to blockchain activity, allowing users to explore blocks, track assets, and monitor contract modules with full historical context: https://x.com/SpaceandTimeDB/status/1915497628261113868…
The project also announced the Space and Time Foundation, which will oversee the long-term development and decentralization of the Space and Time ecosystem. It will fund and support developers building crypto apps using ZK-proven data. Formerly Space and Time Labs, now MakeInfinite Labs, continues under the same leadership, with several team members moving into key Foundation roles to ensure continuity:https://spaceandtime.io/blog/introducing-the-space-and-time-foundation
@brevis_zk's zkCoprocessor is now powering @usualmoney’s Revenue Switch - a decentralized revenue distribution feature. Using ZKPs, Brevis securely and transparently verifies users’ token holdings off-chain. This enables USUALx holders to receive a share of protocol revenue, including fees and interest from USD0 collateral, while reducing costs and preserving trust in a fully decentralized system: https://blog.brevis.network/2025/04/07/usual-money-activates-revenue-switch-powered-by-brevis/…
Brevis is also powering the new Continuous Protocol Incentivization program on mainnet, enabling verifiable, trustless @usualmoney rewards. Users providing liquidity for USD0 and USD0++ across DeFi platforms like @CurveFinance, @pendle_fi, @MorphoLabs, @origami_fi, @levelusd, @Penpiexyz_io, and @Equilibriafi receive daily rewards, calculated via off-chain ZKPs and verified on-chain. CPI aligns incentives, cuts costs, and ensures transparent token distribution based on real activity: https://blog.brevis.network/2025/04/21/trustless-and-zk-powered-usual-rewards-now-on-mainnet/…
Lastly, Brevis Founder @no89thkey took part in a @boundless_xyz House of ZK panel during @festival_web3 in Hong Kong. Alongside @yq_acc (@alt_layer), @leofanxiong (@cysic_xyz), and @sinka2022 (@DelphinusLab), the discussion centered on how projects compete for visibility in the expanding ZK ecosystem. Moderator @TinaLiu333 (@RiscZero) guided the conversation with direct questions focused on exploring how different narratives are shaping the space:https://x.com/HouseofZK/status/1914637653129007264
