Here we report on the progress of the leading builders in the zkCoprocessor ecosystem, documenting recent significant releases, technical breakthroughs and general updates
@lagrangedev has joined @SentientAGI in the Verifiable Compute Consortium to advance trustworthy AI through its zkML library, DeepProve. The tool enables fast, cost-effective verification of AI inferences, helping ensure transparency as AI becomes integral to daily life. With growing reliance on AI for work, health, and decision-making, verifiable outputs are seen as essential to a future built on trustworthy information: https://x.com/lagrangedev/status/1923000413684392329…
The team is also collaborating with @billions_ntwk to build a trusted human-AI network. Billions provides verified digital identity for humans and agents, while Lagrange’s DeepProve technology adds cryptographic proof to AI outputs. Together, they enable real-time verification, reduce fake activity, and support a trust-based digital economy rooted in provable identity and transparent AI behavior:https://x.com/lagrangedev/status/1924736969650872786…
In other news, Lagrange is hosting an event in Seoul, with talks focused on verifiable AI. Guests can enjoy dinner, drinks, exclusive merch, and a raffle with prizes. For more details: https://x.com/lagrangedev/status/1923285863078953229…
Finally, @HouseofZK published a presentation from @Zk_Hub_Global, in which @Ismael_H_R, CEO of Lagrange, explained why everything will be subject to proof - from rollups to artificial intelligence - and why decentralized proof networks are the key infrastructure making it possible: https://x.com/HouseofZK/status/1924450856860070004
@brevis_zk has launched its Explorer, offering real-time statistics on ZKPs. The platform has processed over 24 million proofs and serves more than 44,000 users. It supports six DeFi partners, including @PancakeSwap, @usualmoney, @jojo_exchange and Kwenta (@synthetix_io). Upcoming features will include detailed dashboards for tracking proof metrics such as gas usage, cost, and block data: https://x.com/brevis_zk/status/1924329171351941147…
The partnership with Pancake Swap means Brevis powers dynamic, trustless hooks on 'Infinity', enabling personalized DeFi experiences through secure, off-chain computation.
Using ZKPs, these hooks adjust swap fees or rewards based on user trading volume or token holdings - without staking or third parties. Deployed via the Brevis Portal, this system helps developers create custom logic for pools, combining scalability, flexibility, and L1-level security on a decentralized foundation: https://blog.brevis.network/2025/05/12/hook-into-the-future-intelligent-ux-on-pancakeswap-infinity-powered-by-brevis/…
Finally, in a recently released episode of @HouseofZK Radio, @succinct_li, CTO of Brevis, joined @pavel_sinel to discuss Pico - a modular, high-performance zkVM designed for seamless integration into real-world applications.
They covered customizable proving workflows, performance benchmarking, and how Pico interacts with ZK co-processors such as ZKML and data access proofs: https://x.com/HouseofZK/status/1922214965370347971
@SpaceandTimeDB announced its indexed blockchain data will be integrated with @Microsoft Fabric, enabling developers to access data from Bitcoin, @ethereum, and @SuiNetwork within the platform. Revealed at Microsoft Build, the integration supports enterprise applications in Web3, AI, and finance. Microsoft’s venture fund previously invested in the company’s $20M Series A round: https://x.com/SpaceandTimeDB/status/1924814650463682647…
S+T also released v2.0 of its whitepaper, detailing its system design, node operations, and the SXT economic model.
It also explains the Proof of SQL protocol and outlines practical use cases for the platform, offering a technical and utility-focused look at its infrastructure.
More details: https://spaceandtime.io/whitepaper The project completed security audits across its platform and ecosystem tools, conducted by @PaloAltoNtwks, @spearbit, @Hashlock_, and @PashovAuditGrp: https://x.com/SpaceandTimeDB/status/1919887306670145948…
Finally, Proof of SQL has achieved sub-second processing on one million rows. It combines @nvidia’s accelerated computing with a custom GPU framework to handle large data volumes more efficiently than existing solutions, according to the company: https://x.com/SpaceandTimeDB/status/1923017460116226457
@primus_labs’ zkTLS SDK now supports mobile, enabling developers to run trustless, secure DApps on Android with full feature parity to desktop.
Developers can integrate zkTLS via the web-based Dev Hub, with support for multi-chain deployments and conditional logic. With Google Play Instant and upcoming iOS App Clip support, seamless mobile DApp experiences are now accessible: https://x.com/primus_labs/status/1921951075118260588…
In addition, the project announced three new partnerships:
• @pharos_network: developing a zkDID framework using zkTLS to enable privacy-preserving identity verification for compliant RWAs and Web3 payments. This integration brings regulatory-grade trust to DeFi without compromising user privacy: https://x.com/primus_labs/status/1921721458964972013…
• @entertainm_io: powering verifiable, private, and AI-enhanced onchain entertainment using zkTLS and zkFHE. The collaboration supports dynamic sentiment markets, trusted viewer insights, and bot-free engagement across creator platforms: https://x.com/primus_labs/status/1920819934835208472…
• @satlayer: exploring zkTLS applications in the Bitcoin ecosystem for use cases like private credit and KYC-less DeFi. With restaked BTC securing the system, the partnership brings confidential offchain data onchain without exposing sensitive information: https://x.com/primus_labs/status/1919362789723812200
@AutomataNetwork has open-sourced its UniFi TDX Prover, developed with @puffer_finance to improve real-time finality for @ethereum rollups: https://x.com/AutomataNetwork/status/1922275991722066067…
Using Intel's Trusted Execution Environment, the system generates fast, verifiable proofs without sacrificing security. DCAP Attestation ensures only verified hardware runs the code. This approach enables low-latency UX, secure cross-chain DApps, and brings rollups closer to Ethereum-level security and composability.
@vlayer_xyz has launched its v1.0 Mainnet, introducing developer-focused smart contract tools like Time Travel, Teleport, Email Proofs, and Web Proofs to bridge Web2 and Web3: https://vlayer.xyz/blog/vlayer-launches-mainnet-the-next-step-in-making-smart-contracts-useful-for-billions…
Its scalable, decentralized architecture has already drawn strong interest, generating nearly 500,000 ZK proofs during Testnet.
Audited for security and open to review, vlayer also launched initiatives to support adoption, with enterprise use cases already underway and v2.0 in development.
The project also partnered with @AccountableData to enable continuous proof of reserves and verifiable yield.
By integrating technologies like Web Proofs, Time Travel, and Teleport, the collaboration enhances real-time verification of both on-chain and off-chain financial data: https://vlayer.xyz/blog/accountable-and-vlayer-join-forces-to-enable-continuous-proof-of-reserves-and-verifiable-yield
