Hi everyone, thank you for today’s call (2025.05.08). Special thanks to @apotheosis for the great presentation on zkML and the update on Kinic! This is the generated summary (short version, please find the long version here ): @apotheosis gave an update on Kinic’s browser plugin which is now in open beta and then deep dived into Zero-Knowledge Machine Learning (ZKML). His presentation explored ZKML on the Internet Computer (ICP), highlighting how zk-proofs enable verifiable AI computation without exposing sensitive data. He compared ZK with Trusted Execution Environments (TEEs), outlined technical advancements like folding schemes, Jolt-based ZKVMs, and WebGPU acceleration, and showcased real-world use cases such as private LLM inference and AI agent coordination. The ICP’s architecture allows for native on-chain verification of modern proof systems, positioning it as a powerful platform for decentralized, privacy-preserving AI.
Please find the video recording of the call here
Links shared during the call:
- https://www.kinic.io/
- https://www.novanet.xyz/
- Fun demos we do of our zkTech https://zkp.fun/
- Research refs: Jolt: SNARKs for Virtual Machines via Lookups
- Nova: Recursive Zero-Knowledge Arguments from Folding Schemes
- Older work which is still interesting: [2404.16109] zkLLM: Zero Knowledge Proofs for Large Language Models
- Starter ZK: zkHack Discord ZK Hack
- Thaler’s book. He also does session above: https://people.cs.georgetown.edu/jthaler/ProofsArgsAndZK.pdf