From 4f8b4e1126cbb2e76b065eeb73b0d24828e1ebaa Mon Sep 17 00:00:00 2001 From: jeanmon Date: Wed, 11 Dec 2024 14:00:21 +0000 Subject: [PATCH] Reduce the number of gates for fake AVM recursive verifier --- .../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 3af68aeebec9..0352937e504a 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.