Scaling Zero Knowledge UNSAT Verification via Normalized Chaining

Ashwin Karthikeyan, Ethan Kharitonov, Kuldeep S. Meel +1

Proofs of UNSAT are a standard primitive in formal verification and software assurance. In many real-world settings, the proof itself encodes proprietary or security-sensitive info…