refactor(limitless): fix GL multiset check

Author: gusiri

prover/protocol/distributed/module_gl.go

@@ -682,11 +682,8 @@ func (a *ModuleGLAssignSendReceiveGlobal) Run(run *wizard.ProverRuntime) {
 // [ModuleGL.ReceivedValuesGlobalHash].
 func (a *ModuleGLCheckSendReceiveGlobal) Run(run wizard.Runtime) error {
 
-	if err := a.ModuleGL.checkMultiSetHash(run); err != nil {
-		return err
-	}
-
 	if len(a.ReceivedValuesGlobalMap) == 0 {
+		a.ModuleGL.checkMultiSetHash(run)
 		return nil
 	}
 
@@ -762,6 +759,8 @@ func (a *ModuleGLCheckSendReceiveGlobal) Run(run wizard.Runtime) error {
 		)
 	}
 
+	a.ModuleGL.checkMultiSetHash(run)
+
 	for i := range a.ExplicitlyVerifiedGlobalCsCompletion {
 		res := accessors.EvaluateExpressionExt(run, a.ExplicitlyVerifiedGlobalCsCompletion[i])
 		if !res.IsZero() {
@@ -777,9 +776,8 @@ func (a *ModuleGLCheckSendReceiveGlobal) Run(run wizard.Runtime) error {
 // [ModuleGL.ReceivedValuesGlobalHash].
 func (a *ModuleGLCheckSendReceiveGlobal) RunGnark(api frontend.API, run wizard.GnarkRuntime) {
 
-	a.ModuleGL.checkGnarkMultiSetHash(api, run)
-
 	if len(a.ReceivedValuesGlobalMap) == 0 {
+		a.ModuleGL.checkGnarkMultiSetHash(api, run)
 		return
 	}
 
@@ -848,6 +846,8 @@ func (a *ModuleGLCheckSendReceiveGlobal) RunGnark(api frontend.API, run wizard.G
 		api.AssertIsEqual(hashRcvComputed[i], rcvGlobalHash[i].Native())
 	}
 
+	a.ModuleGL.checkGnarkMultiSetHash(api, run)
+
 	koalaAPI := koalagnark.NewAPI(api)
 
 	for i := range a.ExplicitlyVerifiedGlobalCsCompletion {