From 3d8ec8472fe6988d117820dad456be4755f2c638 Mon Sep 17 00:00:00 2001 From: ANtutov Date: Mon, 11 Aug 2025 09:23:12 +0300 Subject: [PATCH] gkrgates: fix VerifyDegree error wrapping and degree search bound --- constraint/solver/gkrgates/registry.go | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/constraint/solver/gkrgates/registry.go b/constraint/solver/gkrgates/registry.go index 49610a1789..7e113a611b 100644 --- a/constraint/solver/gkrgates/registry.go +++ b/constraint/solver/gkrgates/registry.go @@ -230,11 +230,12 @@ func (v *gateVerifier) isVarSolvable(f gkr.GateFunction, claimedSolvableVar, nbI func (v *gateVerifier) VerifyDegree(g *gkrtypes.Gate) error { if err := v.verifyDegree(g.Evaluate, g.Degree(), g.NbIn()); err != nil { - deg, errFind := v.findDegree(g.Evaluate, g.Degree(), g.NbIn()) + const maxAutoDegreeBound = 32 + deg, errFind := v.findDegree(g.Evaluate, maxAutoDegreeBound, g.NbIn()) if errFind != nil { - return fmt.Errorf("could not find gate degree: %w\n\tdegree verification error: %w", errFind, errFind) + return fmt.Errorf("could not find gate degree: %w\n\tdegree verification error: %w", errFind, err) } - return fmt.Errorf("detected degree %d\n\tdegree verification error: %w", deg, errFind) + return fmt.Errorf("detected degree %d\n\tdegree verification error: %w", deg, err) } return nil }