House of ZK will co-host the major ZK & AI events at @EFDevcon! If you're in Argentina this month, here is your schedule for the 18th-20th 👇 You'll start your DevConnect journey at ZKonnect on the 18th, co-hosted with @brevis_zk and featuring a truly stellar lineup of expert ZK speakers: luma.com/jix04ltq From there you'll move on to zkFriends at Sunset, co-hosted with @MinaProtocol, to wind down with delicious food & drink - and even better people: luma.com/bigtlk44 On the 19th, you'll head over to Cultural Vivo for Verifying Intelligence, co-hosted with @brevis_zk & @invisiblgarden, to explore the intersection of ZK, AI, & x402: luma.com/xevcy7za At Verifying Intelligence, you'll also find the highly acclaimed @WPReadingClub Sessions, which will run alongside the main speaking program and feature speakers from @boundless_xyz, @o1_labs, & more: luma.com/1ac4bc27 Following this, you'll join @EtherArgentina's much anticipated hackathon, sponsored by House of ZK and featuring core technical team members from projects like @Scroll_ZKP, @ProjectZKM, & others: cryptonomads.org/e/EthereumA… You may head to the hackathon again on the morning of the 20th, or instead go straight to the House of ZK sponsored StarkConnect - a one-day festival by @StarkWareLtd & @Starknet to celebrate the Starknet Ecosystem: luma.com/StarkConnect See you in Buenos Aires - an intense three days of ZK, AI, and proof-native innovation 🫡 Note: Verifying Intelligence is sponsored by @0G_labs, @ZKVProtocol, @VeridiseInc, @OntologyNetwork, @ProjectZKM, @Starknet, @MinaProtocol, & @EtherArgentina 🤝

zkVerify x Verifying Intelligence 3.0 🇦🇷 Proud to support @HouseofZK's global gathering of the brightest minds driving the future of verifiable compute and agentic AI. Buenos Aires is about to see where ZK meets AI and verification meets scale.

A ZK masterclass. If you want to learn about the technical foundations, history and evolution of ZK, you need to watch this ⤵️

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: x.com/zkLink_Official/status… • @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: x.com/zkLink_Official/status… 🔹 Visit hozk.io for more reports from across the industry 🔹

ZkAGI 🔹 Vision 🔹 @zk_agi published an article explaining its vision of building private artificial intelligence through a privacy-focused protocol that ensures confidentiality, composability, and trusted infrastructure: x.com/zk_agi/status/19780554… The project aims to create an ecosystem where developers can build AI agents and applications that think and learn securely, protecting both innovation and user data. Through its DAO governance and open collaboration, ZkAGI seeks to make privacy a foundation for intelligent systems and long-term community-driven growth. 🔹 Partnerships 🔹 ZkAGI has partnered with @DelphinusLab to explore integrating ZKWASM technology into its privacy-preserving AI network: x.com/DelphinusLab/status/19… The collaboration focuses on enabling verifiable and confidential AI inference, ensuring every model action can be proven without revealing sensitive data. Combining ZkAGI’s decentralized GPU network with Delphinus Lab’s verifiable compute layer, the partnership advances accountable AI infrastructure. 🔹 Visit hozk.io 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: spaceandtime.io/blog/space-a… 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: spaceandtime.io/blog/space-a… • 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: spaceandtime.io/blog/salib-s… 🔹 Visit hozk.io 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: blog.polyhedra.network/data-… 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 hozk.io 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: lagrange.dev/blog/deepprove-… 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: lagrange.dev/blog/proving-ge… 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: x.com/HouseofZK/status/19780… 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: x.com/HouseofZK/status/19791… 🔹 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: x.com/lagrangedev/status/197… • @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: x.com/lagrangedev/status/197… • @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: x.com/lagrangedev/status/198… • @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: x.com/lagrangedev/status/198… • @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: x.com/lagrangedev/status/198… • @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: x.com/lagrangedev/status/198… • @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: x.com/lagrangedev/status/198… 🔹 Visit hozk.io for more reports from across the industry 🔹

Inference Labs 🔹 JSTprove 🔹 @inference_labs has introduced JSTprove, a new open-source toolkit that lets anyone verify AI model outputs using zkML: x.com/inference_labs/status/… The system simplifies complex cryptographic processes, allowing developers to confirm that AI results match the original model’s logic without exposing private data. Built on @PolyhedraZK’s Expander backend, JSTprove supports ONNX models and includes an easy command-line interface. Future updates will add support for larger architectures and GPU acceleration. Full details: arxiv.org/abs/2510.21024 🔹 Publications 🔹 The project has published three articles exploring how cryptographic methods can bring trust, transparency, and accountability to AI systems: • In the first article, the focus is on the real AI crisis - the lack of verifiability. It explains that the main risk isn’t hallucinations but the inability to prove what AI models actually do, emphasizing Proof of Inference as the key to building auditable and trustworthy AI: x.com/inference_labs/status/… • The second article highlights the fragility of AI content watermarking, showing how it can be easily removed or forged. It argues that only cryptographic verification can ensure authentic, tamper-proof content and restore trust in AI-generated media: x.com/inference_labs/status/… • In the last article, the discussion centers on ZKPs and their role in enabling privacy-preserving and verifiable AI computations. It also outlines their current limitations in scalability and usability while stressing their importance for secure and decentralized AI systems: x.com/inference_labs/status/… 🔹 Visit hozk.io 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: human.tech/blog/building-the… 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 hozk.io for more reports from across the industry 🔹

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 hozk.io for more reports from across the industry 🔹

The @brevis_zk Special with @no89thkey x.com/i/broadcasts/1dRJZaXNP…

You don’t want to miss this one!👀 Mo's diving deep into Brevis’s verifiable compute stack, Pico Prism’s real-time proving performance, and what’s next on our roadmap. Big thanks to @HouseofZK for the solid breakdown of everything we’ve been building lately, click below to learn more 👇 x.com/HouseofZK/status/19861…

Demonstrating the sort of quality you can expect on Nov 19th at our upcoming Verifying Intelligence 3.0 event with @brevis_zk & @invisiblgarden at @EFDevcon, here's a recap of 2.0 during @token2049, held in partnership with @boundless_xyz & @googlecloud. Enjoy. 🎟️ hozk.io/events

The future of AI is verifiable, composable, and on-chain. We are proud to join the builders shaping the next era of AI at Verifying Intelligence 3.0 - Where ZK Meets AI & x402 - at @EFDevcon in Argentina. See you in Buenos Aires 🇦🇷👇

After a day of intense talks at ZKonnect, come and unwind with zkFriends at sunset 🌇 Join @MinaProtocol, @SuccinctLabs, @zk_monk, and @HouseofZK as we hang out, share ideas, and establish new connections 🫂 ​The food & drink is on us: luma.com/bigtlk44

David Liberman @DaLiberman joins @HouseofZK Radio to explore how decentralized compute and verifiable inference can redefine AI infrastructure. Listen to the full episode: the architecture of useful work, explained.

“You can run an application inside a secure enclave - nobody sees what it does - and you also create a zero-knowledge proof that the application was run correctly.” - @rolfversluis, Co-founder of @ZKVProtocol In House of ZK Radio #82, zkVerify Co-founder Rolf Versluis explains how trusted execution environments give confidentiality (inputs/weights/keys stay inside), but you still need an external guarantee that the computation actually followed the intended program and produced a valid output. This is where Zero-knowledge proofs come in. The enclave emits a minimal trace or commitment; a prover constructs a ZK proof that (1) the trace is consistent with the specified program and (2) the enclave’s attestation is valid. Verifiers don’t see private inputs or model weights, yet they can check correctness. This TEE→ZK pattern removes single-vendor trust and mitigates rollback or output-tampering risks: even if you can’t inspect the enclave, the ZK proof binds the result to the approved code path and inputs. zkVerify is the verification layer for this workflow. It verifies modern proof systems natively (not just Groth16), returns fast, low-cost receipts on its L1, and can post receipts to EVM chains for on-chain logic. In practice: run confidential compute in a TEE, generate a ZK proof of correct execution, submit to zkVerify for verification, and reference the receipt in your app or smart contract. Typical uses: • Private/regulated AI inference: keep models and prompts confidential in TEEs; prove correct inference to counterparties via ZK; settle with zkVerify receipts. • Selective-disclosure identity and compliance: verify checks inside TEEs (age, jurisdiction, sanctions) without exposing full PII; anchor proofs via zkVerify. • Fair off-chain compute for dapps and games: execute deterministically in TEEs; ZK-prove rule adherence; zkVerify attests results to on-chain contracts. Watch House of ZK Radio #82 to learn more about how TEEs provide confidentiality and hardware attestation, ZK provides correctness, and zkVerify operationalizes verification at speed and cost suitable for real applications: hozk.io/radio#82-rolf-verslu…

Who's heading down to Buenos Aires?? 🙋‍♀️🇦🇷

𝗪𝗵𝗮𝘁 𝗱𝗼𝗲𝘀 𝗮 𝘁𝗿𝘂𝗹𝘆 𝘃𝗲𝗿𝗶𝗳𝗶𝗮𝗯𝗹𝗲 𝘃𝗮𝗹𝘂𝗲 𝗹𝗮𝘆𝗲𝗿 𝗳𝗼𝗿 𝘁𝗵𝗲 𝗶𝗻𝘁𝗲𝗿𝗻𝗲𝘁 𝗹𝗼𝗼𝗸 𝗹𝗶𝗸𝗲? At Verifying Intelligence, @rolfversluis, Co-founder of zkVerify, joins a panel on 𝘅𝟰𝟬𝟮 & 𝗔𝗴𝗲𝗻𝘁-𝘁𝗼-𝗔𝗴𝗲𝗻𝘁 𝗣𝗮𝘆𝗺𝗲𝗻𝘁𝘀, exploring how proofs, requests, and receipts create trustless, automated payment systems built on verification. 🗓️ November 19th @ 12:55 PM ART 📍 Cultura Vivo, Buenos Aires