Context-Binding Gaps in Stateful Zero-Knowledge Proximity Proofs: Taxonomy, Separation, and Mitigation
Generic zero-knowledge proximity proofs lack context commitment, creating security risks in stateful geo-content systems. This work analyzes these vulnerabilities by introducing a taxonomy of context-binding gaps and evaluates mitigation strategies. The core finding is that embedding application context directly into the proof statement effectively prevents cross-drop transfers without increasing proving cost.