spongefish-circuit 0.4.0

Circuits for proving relations over spongefish transcripts
Documentation