---

Zero-Knowledge Proofs for Verifying Safety Properties @ Secure AI Workshop 2026

With Pascal Berrang

---