From 3400caa19c788a3b7f104eac0336ba88dfb8edd4 Mon Sep 17 00:00:00 2001
From: Daniel Lubarov <daniel@lubarov.com>
Date: Thu, 24 Jun 2021 12:12:57 -0700
Subject: [PATCH] Fix recursion bench (#74)

Nothing was routed in before
---
 src/bin/bench_recursion.rs | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/src/bin/bench_recursion.rs b/src/bin/bench_recursion.rs
index 1c9104f9..59b65e51 100644
--- a/src/bin/bench_recursion.rs
+++ b/src/bin/bench_recursion.rs
@@ -25,7 +25,7 @@ fn bench_prove<F: Field + Extendable<D>, const D: usize>() {
 
     let config = CircuitConfig {
         num_wires: 134,
-        num_routed_wires: 12,
+        num_routed_wires: 27,
         security_bits: 128,
         rate_bits: 3,
         num_challenges: 3,
@@ -39,11 +39,17 @@ fn bench_prove<F: Field + Extendable<D>, const D: usize>() {
 
     let mut builder = CircuitBuilder::<F, D>::new(config);
 
+    let zero = builder.zero();
+    let zero_ext = builder.zero_extension();
+
+    let mut state = [zero; 12];
     for _ in 0..10000 {
-        builder.add_gate_no_constants(gmimc_gate.clone());
+        state = builder.permute(state);
     }
 
-    builder.add_gate(ConstantGate::get(), vec![F::NEG_ONE]);
+    // Random other gates.
+    builder.add(zero, zero);
+    builder.add_extension(zero_ext, zero_ext);
 
     let prover = builder.build_prover();
     let inputs = PartialWitness::new();