Here we report on the progress of the leading builders in the ZK/AI ecosystem, documenting recent significant releases, technical breakthroughs and general updates.
Featuring: @lagrangedev, @NexusLabs, @SpaceandTimeDB, @zk_agi, @gizatechxyz, @ZKMLsystems, @PolyhedraZK, @ZircuitL2, @0xHolonym, @zkLink_Official, @ThreeProtocol, @0G_labs, @LazAINetwork, @VeridiseInc, & @OntologyNetwork
@lagrangedev has introduced DeepProve-1, the first system to generate a ZKP for the full inference of a large language model, beginning with @OpenAI’s GPT-2:https://lagrange.dev/blog/deepprove-1
The system extends verifiability to transformer-based models, a step previously limited to simpler architectures. DeepProve-1 adds support for complex graph structures, specialized layers, and GGUF model formats, while also enabling autoregressive inference. Lagrange plans to optimize performance and expand support to models like LLAMA, advancing cryptographic integrity in critical AI applications.
Partnerships
Lagrange announced several new integrations of its DeepProve zkML system including:
@Mira_Network: Integrated DeepProve to enable verifier nodes in Mira’s decentralized AI verification network to generate ZKPs for model inferences, enhancing reliability, privacy, and composability across AI outputs:https://x.com/lagrangedev/sttus/1955721079286325727
@LazAINetwork: Partnered to mint verifiable AI proofs as DATs on LazAI, enabling agents, models, and data streams to be ownable, tradeable, and programmable with cryptographic guarantees:https://x.com/lagrangedev/status/1960767014391235027
@LayerOnEth: Collaborated to integrate DeepProve into Layer One’s WAVS runtime, enabling AI decisions and off-chain computations to be proven on-chain, unlocking trustless agents and verifiable inference pipelines:https://x.com/lagrangedev/status/1962548768970260959
@LitProtocol: Worked together to enhance Lit’s decentralized agent wallets by proving agent inferences with DeepProve, bringing cryptographic trust and verifiability to autonomous trading and AI decision-making:https://x.com/lagrangedev/st
@NexusLabs announced two new partnerships aimed at strengthening its AI infrastructure: @billions_ntwk: Partnered to integrate Proof of Humanity into Nexus through Billions’ @PrivadoID. This enables developers to add human verification into AI workflows, strengthening trust and authenticity across onchain interactions and future Nexus releases:https://blog.nexus.xyz/billions-partnership/
@spheronai: Teamed up to scale verifiable compute using Spheron’s community-powered AI infrastructure. Spheron now supports the Nexus prover network and provides GPU access for developers building AI agents and inference-heavy applications within the Nexus ecosystem: https://blog.nexus.xyz/partnering-wit
Tech
@SpaceandTimeDB has launched SXT Chain V2, enabling developers and enterprises to create self-custodied tables secured by its Proof of SQL system:https://x.com/SpaceandTimeDB/status/1963234714434883799
The update allows data to be inserted, queried, and verified onchain, with each insertion requiring SXT payments. Supported uses range from financial data to AI training sets. V2 is live in a permissioned rollout, with wider, permissionless access expected later this month. In collaboration with @CoinbaseDev, the project also introduced a programmable framework that enables organizations to integrate onchain logic into operations:https://spaceandtime.io/blog/programmable-verifiable-infrastructure-for-onchain-systems
The system addresses gaps in verifiable infrastructure by allowing rules and conditions to be embedded directly into transactions. Powered by Space and Time’s verifiable database and Coinbase CDP Wallets v2, it offers enterprises, nonprofits, and universities secure, accountable processes that reduce reliance on trust and manual oversight.
Partnerships
S+T has announced three new partnerships, including:
Indomobil Group: Partnered to onboard over 50k students onchain in Indonesia. Using Space and Time infrastructure, the initiative brings verifiable education credentials and trustless tuition payments, enabling students to prove coursework onchain and access education without reliance on banks or intermediaries: https://spaceandtime.io/blog/indomobil-group-leverages-space-and-time-to-onboard-50-000-students-onchain
@a16zcrypto: Collaborated to power the latest performance upgrade for Jolt, a zkVM developed by a16z. Space and Time’s optimized implementation of the Dory polynomial commitment scheme enables 6x faster ZK proof generation and now supports leading ZK systems like Jolt and Proof of SQL:https://x.com/SpaceandTimeDB/status/1957450333346783316
@WalrusProtocol: Joined forces to deliver a full-stack data tooling layer for developers building on @SuiNetwork. Space and Time provides verifiable relational data and indexing, while Walrus handles offchain storage and access control. Together, they enable developers to build rich, AI-driven applications using both structured and unstructured data: https://x.com/SpaceandTimeDB/status/195816585727
Monthly Report
@zk_agi published a monthly report for August:https://medium.com/zkagi/zkagi-monthly-progress-report-august-2025-56fc2288ffca
Key takeaways:
Pawpad development on Oasis advanced with focus on secure execution, order routing, and telemetry.
Agreement signed with @tenprotocol to expand enterprise reach.
@stripe and other processors integrated for Web2/Web3 monetization.
Two fund managers onboarded to automated perpetuals trading.
Revenue grew 20% month-over-month, supported by Blueprint products.
Strengthened Swiss enterprise positioning.
Preparations underway for a potential utility token launch in late 2025.
Tech
@gizatechxyz has unveiled Swarm Finance, a system designed to make decentralized finance capital more efficient:https://x.com/gizatechxyz/status/1965066859839213984
The platform allows autonomous agents to verify incentive offers from protocols, turning unverifiable yield claims into trusted signals. Agents then decide whether to reallocate liquidity instantly, with results tracked transparently. Users benefit from higher returns, while protocols gain accurate data and improved efficiency as adoption of the system expands.
Publications
@renckorzay, Co-founder & CEO of Giza, shared an article explaining how decentralized finance struggles with complexity that deters mainstream adoption: https://x.com/renckorzay/status/1959308154056909124
Unlike products such as @Google or @amazon, which hide vast backend systems behind simple interfaces, DeFi exposes users to every operational detail. Giza proposes an “Intelligence Layer” using autonomous agents like ARMA to optimize stablecoin yields, simplifying strategies into goal-based interactions and making finance more accessible to everyday users.
Partnerships
Giza announced a partnership with @SentientAGI and other projects within the GRID ecosystem: https://x.com/gizatechxyz/status/1956771559978459155
The collaboration will see Giza’s institutional-grade financial agents integrated into what is described as the world’s largest open-source intelligence network, supporting the expansion of agent-based financial technologies.
@PolyhedraZK has launched the EXPchain Testnet V3, introducing Explicity - the first zkML testnet designed for practical use: https://x.com/PolyhedraZK/status/1965072362279403527
Built over years of research, it enables developers to test hardware-accelerated proofs and create real-world applications. The first product, Polyhedra iD, allows identity verification without revealing personal data.
@ZircuitL2 has introduced the first AI-powered L2 rollup, designed to address widespread vulnerabilities in decentralized finance where billions are lost to hacks annually: https://zircuit.com/blog/ai-is-changing-blockchain-security-heres-how-zircuit-is-leading-with-the-first-ai-powered-rollup
Its Sequencer-Level Security (SLS) analyzes pending transactions in real-time, quarantining suspicious activity before it reaches the blockchain.
Unlike traditional detection tools, this system offers proactive protection, aiming to safeguard both users and developers while maintaining network performance and transparency in @ethereum’s scaling ecosystem.
@0xHolonym shared an article covering the growing difficulty of proving humanity online as AI and bots now outpace real users: https://human.tech/blog/proof-of-humanity-in-the-digital-age
Deepfakes, synthetic identities, and large-scale Sybil farms mimic people with alarming accuracy, eroding trust and misallocating resources. Legacy tools like CAPTCHA and KYC are fragile, often intrusive, and ineffective.
@HumnPassport proposes a privacy-preserving, modular system using behavior patterns, wallet data, and ZK checks, already applied in @gitcoin and @Optimism, to protect digital ecosystems.
@Zypher_Network: Partnered to combine zkLink’s cross-rollup infrastructure with Zypher’s ZK compute layer, enabling more scalable and trustless AI-powered applications: https://x.com/zkLink_Official/status/1960926158092165521
@BSquaredNetwork: Teamed up to build autonomous DeFi rails, merging zkLink’s liquidity infrastructure with BSquared’s AI systems for agent-driven trading and execution: https://x.com/zkLink_Official/status/1958092580396355608
@BellaProtocol: Joined forces to integrate zkLink’s onchain AI agent, Zippy, enhancing how data is processed across DeFi protocols through collaborative intelligence: https://x.com/zkLink_Official/status/1955474054502289682
@asteraixyz: Collaborated to fuse zkLink’s ZK infra with Astera’s autonomous AI agents, aiming to accelerate the future of trustless, agent-powered Web3 systems: https://x.com/zkLink_Official/status/1963504173800157440
@ZKMLsystems has launched ZebraAI, a privacy-focused chat platform now in beta for iOS and Android: https://x.com/ZKMLsystems/status/1957911671428505788
The service masks user IPs by default, encrypts all conversations, and requires only one click to create an account with no identity checks. Users can top up with cryptocurrency to access API features, with testing coordinated via Telegram.
@ThreeProtocol announced two new partnerships:
@UseHexly: Partnered to integrate Hexly’s AI-powered wallet security tool into the ecosystem. Hexly scans wallets in real-time to detect scammy dApps, malicious contracts, and privacy risks using features like HexScore™, wallet health reports, and contract flagging - helping protect users from threats that drained over 332K wallets in 2024: https://x.com/ThreeProtocol/status/1953113409211269610
@ProfitAIETH: Teamed up with Profit AI, an on-chain intelligence platform designed to support traders with institutional-grade insights. Tools include a Token Checker for security analysis, Whale Tracker, EVA Security for AI-powered rug protection, social sentiment maps, and a Telegram bot for trading directly within chat: https://x.com/ThreeProtocol/status/1956412633042788752
Marketplace
@0G_labs has introduced AIverse, a marketplace for intelligent NFTs (iNFTs) built on its network: https://0g.ai/blog/introducing-aiverse
Unlike speculative AI tokens, iNFTs are onchain agents that can be minted, traded, and collected. AIverse launches on the Galileo testnet with early access for One Gravity holders. This launch begins the development of an onchain ecosystem where AI agents can be owned and exchanged.
Monthly report
0G Labs shared their monthly report:
Highlights:
Events
0G Labs was announced as a sponsor of Verifying Intelligence, taking place during @token2049. The event is organized by @HouseofZK &@boundless_xyz, in partnership with @googlecloud.
Sept 29th
Caldwell House, Singapore
Testnet
@LazAINetwork has launched its Testnet, introducing a standalone project focused on building a decentralized AI economy:https://lazai.network/blog/lazai-testnet-is-live-the-ai-economy-starts-here
It enables users to create, own, and earn from AI agents and high-quality data, addressing issues like data hoarding, lack of quality control, and unfair compensation.
With tools like the Alith framework and Data Anchoring Tokens, developers can build scalable, transparent AI systems and contribute directly to an open, verifiable AI ecosystem.
Publications
The project has also published two new articles on the future of AI agents and composable intelligence.
This article explains that although thousands of AI agents have been created, users still can’t easily find, trust, or use them. DATs and LazPad are introduced as solutions, offering identity, provenance, and automatic payouts - turning agents into discoverable and monetizable digital assets:
https://lazai.network/blog/agents-are-the-new-apps-wheres-their-app-store
The second article discusses how today’s AI lacks the modularity that made Web3 thrive. With DATs, data, models, and agents become composable building blocks - allowing more powerful, interconnected systems and rewarding creators every time their work is reused:
https://lazai.network/blog/composable-intelligence-the-most-underrated-idea-in-web3-ai
Events
LazAI is listed among the key sponsors of Verifying Intelligence, which will take place during @token2049. The event is organized by @HouseofZK & @boundless_xyz, in partnership with @googlecloud.
Sept 29th
Caldwell House, Singapore
Tech
@VeridiseInc has launched LLZK, an open-source intermediate representation for ZK circuits, supported by the @ethereumfndn:https://veridise.com/blog/veridise-announcements/announcing-llzk-a-unified-open-source-intermediate-representation-ir-for-zero-knowledge-languages/
LLZK unifies fragmented ZK development by providing a modular and verifiable layer between circuit DSLs and proving systems. Built on MLIR, it supports multi-language compilation, backend translation, and formal verification. The release includes C++ and Rust libraries, sample circuits, analysis tools, and full documentation on GitHub.
Research
Veridise announced that two of its research papers have been accepted at @confCAV 2025, a leading conference on formal methods:https://veridise.com/blog/veridise-announcements/veridise-advancing-zero-knowledge-security-two-new-academic-papers-presented-at-cav-2025-conference/
The studies focus on strengthening ZK systems, vital for secure and scalable blockchain applications. The first paper introduces Zequal, a tool to verify consistency in ZK circuit templates whilst the second, Multimod, developed with @Stanford, proposes a solver for mixed-modulus arithmetic, improving verification of complex cryptographic circuits.
Events
Veridise will be a major sponsor of the upcoming Verifying Intelligence event, hosted by @HouseofZK & @boundless_xyz in collaboration with @googlecloud, during @token2049.
Sept 29th
Caldwell House, Singapore
Monthly Update
@OntologyNetwork published its August 2025 report, highlighting steady progress across its ecosystem in decentralized identity, reputation systems, and community engagement:https://ont.io/news/https-ont-io-news-ontology-ecosystem-august-2025/
Key developments include:
Decentralized Identity & Reputation:
1/ @Sony introduced @soneium Score on its @ethereum L2.
2/ @Humanityprot launched with a $1.1B valuation.
3/ @Polkadot tested Proof of Personhood, and @MetaMask added Social Login.
1/ Version 4.9.10 added support for @solana, @ton_blockchain, and @trondao.
2/ Top dApps and chains were ranked.
3/ Trading events with @ston_fi were held.
Community Activities:
1/ @ont_did Loyalty Quest launched on @IntractQuests.
2/ Quizzes and Privacy Hour events rewarded active users.
3/ Writing bounty announced to explore account abstraction.
1/ Released zkTLS guides, launched Orange Pass on Chrome, and published contributor content.
2/ Focused on Sybil resistance and Web2-Web3 trust bridges.
Publications
Ontology published an article explaining how identity theft has escalated in 2025, driven by widespread data breaches and centralized systems that fail to secure user information:https://ont.io/news/https-ont-io-news-identity-theft-in-web3/
The piece highlights how Web3 technologies - like Decentralized Identity and ZKPs - could change this by giving individuals control over their own data.
Events
Ontology was announced as a key sponsor of the upcoming Verifying Intelligence event at @token2049, organized by @HouseofZK & @boundless_xyz in partnership with @googlecloud.
Sept 29th
Caldwell House, Singapore
@HouseofZK and @boundless_xyz, in partnership with @googlecloud, recently announced Verifying Intelligence - a focused program on verifiable AI: proof-carrying inference, accountable data pipelines, audited agents, and privacy-preserving computation.
The event, to be held on September 29th during @token2049 week in Singapore, will convene prominent builders and policy leaders to define minimal verification standards for high-impact AI systems and to examine their societal externalities.
Sponsors include @VeridiseInc, @OntologyNetwork, @0G_labs, @LazAINetwork, @gonka_ai, and @alt_layer.
