A Fiat-Shamir Implementation Note