pub type FiatShamirParameters<N> = <FiatShamir<N> as AlgebraicSponge<<<N as Environment>::PairingCurve as PairingEngine>::Fq, 2>>::Parameters;