This change fixes a fuzzer which broke when we updated the gnark dependency earlier.
Attach a file by drag & drop or click to upload
