Formalizing Practical Security Risks in Zero-Knowledge Proof Implementations
This work shifts focus from theoretical SNARK security to a taxonomy of 141 real-world vulnerabilities, enabling robust, end-to-end ZK system design.
