Fiat-Shamir Transformation of Multi-Round Interactive Proofs