Fiat-Shamir in the Wild
Hieu Minh Nguyen, Uyen Ho, Alex Biryukov · Lecture notes in computer science · 2024
The Fiat-Shamir transformation is a key technique for removing interactivity from cryptographic proof systems in real-world applications. In this work, we discuss five types of Fiat-Shamir-related protocol design errors and illustrate them with concrete examples mainly taken from real-life applications. We discuss countermeasures for such vulnerabilities.