Resources / Recordings / Zero-Knowledge Proofs for Verifying Safety Properties @ Secure AI Workshop 2026
With Pascal Berrang
26 October 2026