Fiat shamirs all the commitments directly after creation. Replaces #261
At some point we should refactor the AppendToTranscript trait to reduce the number of labels hashed to make verifier cheaper + reduce implementation complexity. Definitely not a bottleneck for now.
Fiat shamirs all the commitments directly after creation. Replaces #261
At some point we should refactor the
AppendToTranscript
trait to reduce the number of labels hashed to make verifier cheaper + reduce implementation complexity. Definitely not a bottleneck for now.