Fiat-Shamir Transformation Unsoundness Enables Practical Zero-Knowledge False Proofs
The Fiat-Shamir heuristic fails a class of succinct arguments, allowing false statements to be proven, demanding new security models.
