add solve ock

brevis-network · Mar 12, 2024 · f449717 · f449717
1 parent 36ebe43
commit f449717
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/backend/groth16/bls12-377/icicle/icicle.go b/backend/groth16/bls12-377/icicle/icicle.go
@@ -235,13 +235,13 @@ func Prove(r1cs *cs.R1CS, pk *ProvingKey, fullWitness witness.Witness, opts ...b
 			solver.OverrideHint(r1cs.GkrInfo.ProveHintID, cs.GkrProveHint(r1cs.GkrInfo.HashName, &gkrData)))
 	}
 
-	//solveLock.Lock()
+	solveLock.Lock()
 	_solution, err := r1cs.Solve(fullWitness, solverOpts...)
 	if err != nil {
-		//solveLock.Unlock()
+		solveLock.Unlock()
 		return nil, err
 	}
-	//solveLock.Unlock()
+	solveLock.Unlock()
 
 	solution := _solution.(*cs.R1CSSolution)
 	wireValues := []fr.Element(solution.W)