spongefish-circuit 0.7.1

Circuits for proving relations over spongefish transcripts
Documentation