A proof can verify and still be wrong
Part 6 of Zero Knowledge, Full Proof. We built an auction house where the bidders are AI agents, with a zero-knowledge layer to keep them private. What the agents do, what the proofs were meant to show, and three places where a valid proof proved the wrong thing.