correct felt2var

succinctlabs · Aug 6, 2024 · d5561fc · d5561fc
1 parent 3201bab
commit d5561fc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/recursion/gnark-ffi/go/sp1/sp1.go b/recursion/gnark-ffi/go/sp1/sp1.go
@@ -202,7 +202,7 @@ func (circuit *Circuit) Define(api frontend.API) error {
 		case "CircuitFelts2Ext":
 			exts[cs.Args[0][0]] = babybear.Felts2Ext(felts[cs.Args[1][0]], felts[cs.Args[2][0]], felts[cs.Args[3][0]], felts[cs.Args[4][0]])
 		case "CircuitFelt2Var":
-			vars[cs.Args[0][0]] = felts[cs.Args[1][0]].Value
+			vars[cs.Args[0][0]] = fieldAPI.ReduceSlow(felts[cs.Args[1][0]]).Value
 		case "CycleTracker":
 			fmt.Println("BabyBear API Reduce Counts: ", hashBabyBearAPI.FieldApi.ReduceMaxBitsMap)
 			fmt.Println("Field API Reduce Counts: ", fieldAPI.ReduceMaxBitsMap)