~/talk

Ethereum's Infrastructure is Critical in Building Trust and Safety in AI

Talkat Pragma Cannes 2025 · on Thursday, 2025-07-03· [web3]
links:none on file
slides:none on file

Claims that Deep Prove can generate 1,100x faster zero-knowledge proofs and is the only commercially viable library that proves LLM inference, supporting frontier models (300–400B parameters) and GPU hyperparallelism. Demonstrations include verifiable inference over committed ONNX models, deployed with partners like Intel, Nvidia and AWS, plus live use in defense, hospital diagnostic systems and content-moderation workflows. Roadmap items: proofs of training, fairness and composable reasoning as ZKML moves beyond Web3 into regulated sectors.

AI-written summary · about

  1. 0:00Introduction
  2. 0:36Zero Knowledge Proofs & ZKML Overview
  3. 1:35Challenges in AI Trust, Safety, and Bias
  4. 2:26Importance of ZKPs for AI Verifiability
  5. 3:17Lrange Labs & Deep Prove Introduction
  6. 4:29How Deep Prove Works
  7. 5:56Use Cases: Defense, Healthcare, Web2, Web3
  8. 8:05Decentralization & Open Source Approach
  9. 9:07Lrange Research & Industry Collaboration
  10. 10:44Extending ZKML Beyond Crypto
  11. 11:29Societal and Sectoral Impact of ZKML
  12. 13:14Agentic Systems, Compliance, Content Moderation
  13. 15:02DeFi, Governance, and Healthcare Applications
  14. 16:40The Future: ZK as a Default Primitive
  15. 17:43Q&A: ZK Computational Improvements & Future Directions
  16. 20:33Conclusion
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.