Consensys · Tabaie · Jun 29, 2023 · Jun 29, 2023 · Jun 30, 2023 · Jun 30, 2023
diff --git a/backend/groth16/bls12-377/prove.go b/backend/groth16/bls12-377/prove.go
diff --git a/backend/groth16/bls12-381/prove.go b/backend/groth16/bls12-381/prove.go
diff --git a/backend/groth16/bls24-315/prove.go b/backend/groth16/bls24-315/prove.go
diff --git a/backend/groth16/bls24-317/prove.go b/backend/groth16/bls24-317/prove.go
diff --git a/backend/groth16/bn254/prove.go b/backend/groth16/bn254/prove.go
diff --git a/backend/groth16/bw6-633/prove.go b/backend/groth16/bw6-633/prove.go
diff --git a/backend/groth16/bw6-761/prove.go b/backend/groth16/bw6-761/prove.go
diff --git a/backend/plonk/bls12-377/prove.go b/backend/plonk/bls12-377/prove.go
diff --git a/backend/plonk/bls12-381/prove.go b/backend/plonk/bls12-381/prove.go
diff --git a/backend/plonk/bls24-315/prove.go b/backend/plonk/bls24-315/prove.go
diff --git a/backend/plonk/bls24-317/prove.go b/backend/plonk/bls24-317/prove.go
diff --git a/backend/plonk/bn254/prove.go b/backend/plonk/bn254/prove.go
diff --git a/backend/plonk/bw6-633/prove.go b/backend/plonk/bw6-633/prove.go
diff --git a/backend/plonk/bw6-761/prove.go b/backend/plonk/bw6-761/prove.go
diff --git a/constraint/bls12-377/gkr.go b/constraint/bls12-377/gkr.go
diff --git a/constraint/bls12-377/system.go b/constraint/bls12-377/system.go
diff --git a/constraint/bls12-381/gkr.go b/constraint/bls12-381/gkr.go
diff --git a/constraint/bls12-381/system.go b/constraint/bls12-381/system.go
diff --git a/constraint/bls24-315/gkr.go b/constraint/bls24-315/gkr.go
diff --git a/constraint/bls24-315/system.go b/constraint/bls24-315/system.go
diff --git a/constraint/bls24-317/gkr.go b/constraint/bls24-317/gkr.go
diff --git a/constraint/bls24-317/system.go b/constraint/bls24-317/system.go
diff --git a/constraint/bn254/gkr.go b/constraint/bn254/gkr.go
diff --git a/constraint/bn254/system.go b/constraint/bn254/system.go
diff --git a/constraint/bw6-633/gkr.go b/constraint/bw6-633/gkr.go
diff --git a/constraint/bw6-633/system.go b/constraint/bw6-633/system.go
diff --git a/constraint/bw6-761/gkr.go b/constraint/bw6-761/gkr.go
diff --git a/constraint/bw6-761/system.go b/constraint/bw6-761/system.go
diff --git a/constraint/solver/hint_registry.go b/constraint/solver/hint_registry.go
@@ -46,6 +46,12 @@ func RegisterNamedHint(hintFn Hint, key HintID) {
 	registry[key] = hintFn
 }
 
+func RemoveNamedHint(key HintID) {
+	registryM.Lock()
+	defer registryM.Unlock()
+	delete(registry, key)
+}
+
 // GetRegisteredHints returns all registered hint functions.
 func GetRegisteredHints() []Hint {
 	registryM.RLock()

diff --git a/internal/generator/backend/template/representations/gkr.go.tmpl b/internal/generator/backend/template/representations/gkr.go.tmpl
@@ -173,5 +173,12 @@ func GkrProveHint(hashName string, data *GkrSolvingData) hint.Hint {
 	}
 }
 
+func ReplaceGkrHints(solverOpts *[]hint.Option, gkrInfo constraint.GkrInfo) {
+	var gkrData GkrSolvingData
+	*solverOpts = append(*solverOpts,
+		hint.OverrideHint(gkrInfo.SolveHintID, GkrSolveHint(gkrInfo, &gkrData)),
+		hint.OverrideHint(gkrInfo.ProveHintID, GkrProveHint(gkrInfo.HashName, &gkrData)))
+}
+
 // TODO: Move to gnark-crypto
 var HashBuilderRegistry = make(map[string]func() hash.Hash)