gnark icon indicating copy to clipboard operation
gnark copied to clipboard

gkrgates: fix VerifyDegree error wrapping and degree search bound

Open ANtutov opened this issue 4 months ago • 1 comments

Wrap the original verification error instead of the finder error to preserve context in diagnostics. Use a sensible max bound (32) when inferring degree for diagnostics, aligned with Register. Improves error messages (“detected degree X …”) and avoids false negatives when the claimed degree is too low.

ANtutov avatar Aug 11 '25 06:08 ANtutov

@Tabaie - seems legit. Can you confirm that the default max degree makes sense?

ivokub avatar Aug 25 '25 12:08 ivokub