Updated ExCircuit initialisation

reilabs · Nov 29, 2023 · 39ea827 · 39ea827
1 parent d11ee38
commit 39ea827
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/extractor/interface.go b/extractor/interface.go
@@ -21,8 +21,9 @@ func GenerateCircuitName(circuit ExtractorCircuit, fields []ExtractorField) stri
 	return generateUniqueName(circuit, args)
 }
 
-func GenerateLeanCode(namespace string, ext ExtractorApi, circuit ExtractorCircuit, fields []ExtractorField) (out string, err error) {
+func GenerateLeanCode(namespace string, ext ExtractorApi, circuit ExtractorCircuit, fields []ExtractorField, gateVersion GnarkVersion) (out string, err error) {
 	extractorCircuit := ExCircuit{
+		Version: gateVersion,
 		Inputs:  getExArgs(circuit, fields),
 		Gadgets: ext.GetGadgets(),
 		Code:    ext.GetCode(),
@@ -32,8 +33,9 @@ func GenerateLeanCode(namespace string, ext ExtractorApi, circuit ExtractorCircu
 	return out, nil
 }
 
-func GenerateLeanCircuit(name string, ext ExtractorApi, circuit ExtractorCircuit, fields []ExtractorField) string {
+func GenerateLeanCircuit(name string, ext ExtractorApi, circuit ExtractorCircuit, fields []ExtractorField, gateVersion GnarkVersion) string {
 	extractorCircuit := ExCircuit{
+		Version: gateVersion,
 		Inputs:  getExArgs(circuit, fields),
 		Gadgets: []ExGadget{},
 		Code:    ext.GetCode(),