feat: remove unnecessary mulmod
s from verifier contract
#5269
+230
−414
mulmod
s from verifier contract
#5269