Updated gnark

reilabs · Nov 29, 2023 · 7eb67ad · 7eb67ad
1 parent f91bd79
commit 7eb67ad
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 3 deletions.
diff --git a/go.mod b/go.mod
@@ -5,7 +5,7 @@ go 1.20
 require (
 	github.com/consensys/gnark v0.8.0
 	github.com/consensys/gnark-crypto v0.9.1
-	github.com/reilabs/lean-circuit-compiler v0.0.0-20231129181745-d11ee38d5b78
+	github.com/reilabs/lean-circuit-compiler v0.0.0-20231129183530-39ea82720a07
 	github.com/stretchr/testify v1.8.1
 	golang.org/x/exp v0.0.0-20230905200255-921286631fa9
 )

diff --git a/go.sum b/go.sum
@@ -37,6 +37,8 @@ github.com/reilabs/lean-circuit-compiler v0.0.0-20231121161717-dbb1e041674f h1:T
 github.com/reilabs/lean-circuit-compiler v0.0.0-20231121161717-dbb1e041674f/go.mod h1:omNt4iZc1iRuWNHG9O0ltoGG2MuizDELooBIrxVgz8E=
 github.com/reilabs/lean-circuit-compiler v0.0.0-20231129181745-d11ee38d5b78 h1:e+dtLJo1iliiX+OanXlWXIYAzVFgV+sRd1pv3U0G1ts=
 github.com/reilabs/lean-circuit-compiler v0.0.0-20231129181745-d11ee38d5b78/go.mod h1:omNt4iZc1iRuWNHG9O0ltoGG2MuizDELooBIrxVgz8E=
+github.com/reilabs/lean-circuit-compiler v0.0.0-20231129183530-39ea82720a07 h1:ygU73nU3dBkRWyMaW9QoxQcDeos9Py8nxwxj1HTnKGg=
+github.com/reilabs/lean-circuit-compiler v0.0.0-20231129183530-39ea82720a07/go.mod h1:omNt4iZc1iRuWNHG9O0ltoGG2MuizDELooBIrxVgz8E=
 github.com/rogpeppe/go-internal v1.10.0 h1:TMyTOH3F/DB16zRVcYyreMH6GnZZrwQVAoYjRBZyWFQ=
 github.com/rogpeppe/go-internal v1.10.0/go.mod h1:UQnix2H7Ngw/k4C5ijL5+65zddjncjaFoBhdsK/akog=
 github.com/rs/xid v1.4.0/go.mod h1:trrq9SKmegXys3aeAKXMUTdJsYXVwGY3RLcfgqegfbg=

diff --git a/parser/interface.go b/parser/interface.go
@@ -27,7 +27,7 @@ func CircuitToLeanWithName(circuit extractor.ExtractorCircuit, field ecc.ID, nam
 		return "", err
 	}
 
-	return extractor.GenerateLeanCode(namespace, &api.ext, circuit, schema.Fields)
+	return extractor.GenerateLeanCode(namespace, &api.ext, circuit, schema.Fields, extractor.Gnark8)
 }
 
 // CircuitToLean exports a `circuit` to Lean over a `field` with the namespace being the
@@ -80,7 +80,7 @@ func ExtractCircuits(namespace string, field ecc.ID, circuits ...extractor.Extra
 			return "", err
 		}
 
-		circuit_def := extractor.GenerateLeanCircuit(name, &api.ext, circuit, schema.Fields)
+		circuit_def := extractor.GenerateLeanCircuit(name, &api.ext, circuit, schema.Fields, extractor.Gnark8)
 		circuits_extracted = append(circuits_extracted, circuit_def)
 
 		// Resetting elements for next circuit