An implementation of the Fiat--Shamir transformation from Duplex Sponges.
Circuits for proving relations over spongefish transcripts
Derive macros for the spongefish Fiat-Shamir library
Derive macros for spongefish, the Fiat-Shamir library.
Proof-of-work challenges for spongefish, the Fiat-Shamir library.
Proof-of-work challenge grinding for spongefish Fiat-Shamir transcripts
An implementation of the Fiat--Shamir transformation from Duplex Sponges.