The ZK/AI Latest 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: @0xHolonym, @inference_labs, @lagrangedev, @PolyhedraZK, @spaceandtime, @zk_agi, & @zkLink_Official 👇 🔹 Visit for more reports from across the industry 🔹

human tech @0xHolonym published an article covering its ongoing 10-day residency at Edge City Patagonia in Argentina, where 25 builders, artists, and researchers are collaborating to create technologies aligned with human values: The program highlights AI and machine learning for social benefit - systems that remain transparent, accountable, and centered on human agency. Guided by the d/acc philosophy and the Covenant of Human-Aligned Technologies, participants are prototyping privacy, governance, and ethical AI tools, supported by up to $10,000 in HUMN grants. 🔹 Visit for more reports from across the industry 🔹

Lagrange 🔹 DeepProve 🔹 Lagrange has integrated its DeepProve system into Anduril’s Lattice SDK to demonstrate verifiable AI decision-making within autonomous reconnaissance workflows: The project combines trained machine learning models with ZKPs, allowing every tactical action - such as proximity detection, response classification, and movement calculation - to be cryptographically verified without revealing sensitive data. This prototype highlights how defense systems can pair autonomy with real-time verification for transparent and accountable AI operations. 🔹 Events 🔹 1/ Lagrange has extended its DeepProve system to verify @Google’s new Gemma 3 AI model, announced at the Verifying Intelligence Event in Singapore, hosted by @HouseofZK and @boundless_xyz in partnership with @googlecloud: Gemma 3’s compact architecture improves speed and accuracy while running efficiently on devices. DeepProve’s integration enables cryptographic verification of Gemma 3’s outputs, allowing advanced models to deliver provable, trustworthy results across real-world applications. Keynote by the Founder @Ismael_H_R from the event: 2/ He also joined @alicelingl of HoZK, @DaLiberman of @gonka_ai, @DMSKwak of @LazAINetwork, and @robviglione of @ZKVProtocol to discuss how cryptography can make AI verifiable and trustworthy. Full panel: 🔹 Partnerships 🔹 Lagrange has announced multiple new partnerships, including: • @arbitrum: Integrated DeepProve into Arbitrum to support onchain AI agents participating in DeFi use cases. The collaboration powers a new generation of autonomous agents capable of managing portfolios and executing trades with verifiable logic: • @usetoku: Teamed up to bring verifiable AI to global payroll systems. DeepProve adds cryptographic proof to AI-driven wage and tax calculations, enabling autonomous, auditable, and privacy-preserving payment workflows using stablecoins: • @MAIN_AI_DEX: Partnered with Lagrange to integrate DeepProve, allowing AI-driven DEX trades to be cryptographically verified. This ensures every trading action by an agent is transparent, auditable, and proven without exposing sensitive data: • @khalani_network: Integrated Lagrange’s zkML to make intent execution verifiable across solver networks. Developers can now cryptographically prove cross-chain coordination outcomes, bringing audit-grade trust to intent-driven DeFi flows: • @GrovioAI: Teamed up with Lagrange to verify AI-generated marketing decisions. DeepProve enables Grovio to prove that AI outputs are accurate, privacy-preserving, and compliant - without slowing down creative workflows: • @MerkleScience: Joined forces with Lagrange to bring zero-knowledge verification to blockchain risk analysis. AI-generated alerts and risk scores now come with cryptographic proofs, adding verifiable trust to compliance and fraud detection: • @Talus_Labs: Integrated DeepProve into Talus’ agent infrastructure to verify AI decisions on-chain. This enables trusted agent activity in gaming, betting markets, and autonomous workflows - particularly within the Sui/Move ecosystem: 🔹 Visit for more reports from across the industry 🔹

Polyhedra @PolyhedraZK has applied its zkPyTorch framework to the Gemma-3 model, enabling verifiable AI inference without revealing model data or parameters: By converting Gemma-3 into ZK-friendly circuits, zkPyTorch allows users to confirm that outputs are genuine while protecting intellectual property. The system employs quantization, preprocessing, and hierarchical optimization to ensure efficient proof generation. This integration highlights how Gemma-3 can operate securely in sensitive fields where data protection and verifiable computation are essential. 🔹 Visit for more reports from across the industry 🔹

Space and Time 🔹 Space and Time v2 🔹 @spaceandtime has launched v2 of its mainnet, enabling institutions to securely connect and verify offchain financial data for tokenized assets: The upgrade addresses risks tied to using centralized systems for linking asset data to blockchains, which can lead to mispricing or faulty settlements. With v2, banks, asset managers, and enterprises can ensure data integrity for tokenization and stablecoin projects. Major institutions, including @Microsoft, have already adopted Space and Time’s data solutions. Space and Time has announced two new integrations expanding the reach of its verifiable data infrastructure across financial and educational ecosystems. 🔹 Integrations🔹 • @StellarOrg: Integrated Stellar into Space and Time’s blockchain indexing layer, allowing developers to access verifiable onchain and cross-chain data for building advanced financial applications. The collaboration enables smart contracts on Stellar to reference historical data and external sources securely, supporting use cases like payments, asset issuance, and token flows: • Salib Suci Foundation: Partnered with Indomobil Group and Space and Time to store and verify English fluency test credentials for 14,000 K-12 students across 70 schools in Indonesia. Students use SXT, the native token of Space and Time, for course enrollment, while course results are recorded on-chain for universal verifiability. The initiative aims to expand access to trusted education credentials across the country: 🔹 Visit for more reports from across the industry 🔹

zkLink @zkLink_Official has announced new partnerships aimed at integrating AI capabilities into its L3 zkEVM infrastructure to power smarter, autonomous DeFi experiences: • @revoxdotai: Partnered with zkLink to build the AI Agent Trading Network of the future by combining Revox’s autonomous AI infrastructure with zkLink’s aggregated zkEVM L3. The collaboration focuses on enabling fast, trustless, and intelligent trading across DeFi using ZK and AI: • @Openpad_io: Teamed up with zkLink to bring decentralized AI analytics to the zkLink ecosystem. By integrating OpenPad’s data-driven investment strategies with zkLink’s L3, the partnership aims to unlock smarter decision-making and enhance capital efficiency in DeFi: 🔹 Visit for more reports from across the industry 🔹