start proving things for String Fiat Shamir