Fiat-Shamir Transformation of Multi-Round Interactive Proofs

The celebrated Fiat-Shamir transformation turns any public coin interactive proof into a non-interactive one, which inherits the main security properties (in the random oracle model) of the interactive version. While originally considered in the context of 3-move public-coin interactive proofs, i.e., so-called Σ-protocols, it is now applied to...