Main nine

reilabs · Nov 21, 2023 · a2fad9e · a2fad9e
1 parent d321726
commit a2fad9e
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/go.mod b/go.mod
@@ -3,8 +3,8 @@ module github.com/reilabs/gnark-lean-extractor/v2
 go 1.20
 
 require (
-	github.com/consensys/gnark v0.8.0
-	github.com/consensys/gnark-crypto v0.9.1
+	github.com/consensys/gnark v0.9.1
+	github.com/consensys/gnark-crypto v0.12.2-0.20231013160410-1f65e75b6dfb
 	github.com/mitchellh/copystructure v1.2.0
 	github.com/stretchr/testify v1.8.1
 	golang.org/x/exp v0.0.0-20230905200255-921286631fa9

diff --git a/parser/parser.go b/parser/parser.go
@@ -4,7 +4,7 @@ import (
 	"math/big"
 
 	"github.com/consensys/gnark-crypto/ecc"
-	"github.com/consensys/gnark/backend/hint"
+	"github.com/consensys/gnark/constraint/solver"
 	"github.com/consensys/gnark/frontend"
 	"github.com/reilabs/lean-circuit-compiler/abstractor"
 	"github.com/reilabs/lean-circuit-compiler/extractor"
@@ -141,7 +141,7 @@ func (ce *CodeParser) Commit(v ...frontend.Variable) (frontend.Variable, error)
 	panic("Not implemented")
 }
 
-func (ce *CodeParser) NewHint(f hint.Function, nbOutputs int, inputs ...frontend.Variable) ([]frontend.Variable, error) {
+func (ce *CodeParser) NewHint(f solver.Hint, nbOutputs int, inputs ...frontend.Variable) ([]frontend.Variable, error) {
 	panic("Not implemented")
 }