Fix proofs: switch to BigUint
instead of Saturating<usize>
for proof cost
#596
Job | Run time |
---|---|
16s | |
3m 24s | |
3m 40s |
BigUint
instead of Saturating<usize>
for proof cost
#596
Job | Run time |
---|---|
16s | |
3m 24s | |
3m 40s |