fix: Determinism of fallback transformer (#3100)

sirasistant · web-flow · commit 12daad19c902 · 2023-10-11T16:52:32.000Z
diff --git a/acvm-repo/acvm/src/compiler/transformers/fallback.rs b/acvm-repo/acvm/src/compiler/transformers/fallback.rs
@@ -60,7 +60,11 @@ impl FallbackTransformer {
         }
 
         Ok((
-            Circuit { current_witness_index: witness_idx, opcodes: acir_supported_opcodes, ..acir },
+            Circuit {
+                current_witness_index: witness_idx - 1,
+                opcodes: acir_supported_opcodes,
+                ..acir
+            },
             new_opcode_positions,
         ))
     }

Original file line number	Diff line number	Diff line change
`@@ -60,7 +60,11 @@ impl FallbackTransformer {`
`60`	`60`	`}`
`61`	`61`
`62`	`62`	`Ok((`
`63`		`- Circuit { current_witness_index: witness_idx, opcodes: acir_supported_opcodes, ..acir },`
	`63`	`+ Circuit {`
	`64`	`+ current_witness_index: witness_idx - 1,`
	`65`	`+ opcodes: acir_supported_opcodes,`
	`66`	`+ ..acir`
	`67`	`+ },`
`64`	`68`	`new_opcode_positions,`
`65`	`69`	`))`
`66`	`70`	`}`