refac: refactor TwoAdicFri verify
#3797
| Job | Run time |
|---|---|
| 8m 55s | |
| 17m 15s | |
| 23m 8s | |
| 11m 29s | |
| 10m 47s | |
| 1h 11m 34s |
TwoAdicFri verify
#3797
| Job | Run time |
|---|---|
| 8m 55s | |
| 17m 15s | |
| 23m 8s | |
| 11m 29s | |
| 10m 47s | |
| 1h 11m 34s |