Antoine Douchet
Antoine Douchet worked on zero-knowledge proofs at ICME, including Jolt Atlas, a framework for cryptographically verifying machine-learning inference. The framework applies lookup-based proofs directly to operations on a model’s tensors, rather than emulating a general-purpose computer, and supports proving in memory-constrained environments.