Fiat-Shamir for highly sound protocols is instantiable