From 03c84f427620051c4b976fe983d64ab682e123a0 Mon Sep 17 00:00:00 2001
From: Jean M <132435771+jeanmon@users.noreply.github.com>
Date: Wed, 11 Dec 2024 20:58:28 +0100
Subject: [PATCH] chore(avm): Reduce the number of gates for fake AVM recursive
 verifier (#10619)

---
 .../crates/types/src/abis/avm_circuit_public_inputs.nr       | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/noir-projects/noir-protocol-circuits/crates/types/src/abis/avm_circuit_public_inputs.nr b/noir-projects/noir-protocol-circuits/crates/types/src/abis/avm_circuit_public_inputs.nr
index 3af68aeebec..0352937e504 100644
--- a/noir-projects/noir-protocol-circuits/crates/types/src/abis/avm_circuit_public_inputs.nr
+++ b/noir-projects/noir-protocol-circuits/crates/types/src/abis/avm_circuit_public_inputs.nr
@@ -191,7 +191,10 @@ pub struct AvmProofData {
 // The number of columns for the AVM recursive verifier we want to fake, i.e., the resulting
 // verify() routine below will create a similar number of gates as a real AVM recursive verifier
 // with the number of columns set by this constant.
-pub global DUMMY_AVM_VERIFIER_NUM_COLUMNS: u32 = 2200;
+// NOTE: It was decided to reduce the number of gates of the fake recursive verifier to 5 millions
+// as this would be the target for main net. Therefore, the number of columns was artificially adjusted
+// to 550. Zac has some ideas on how to improve the gate counts for the AVM recursive verifier until then.
+pub global DUMMY_AVM_VERIFIER_NUM_COLUMNS: u32 = 550;
 
 // Current AVM recursive verifier has 9500 gates per column.
 // Note that the addition of a single column in AVM recursive verifier incurs 8500 gates.