Fiat-Shamir heuristic transformation converting interactive proof transcripts into non-i…