From a9e5f1e4e2a18671ad31811c1ab64cb44cfd6cdb Mon Sep 17 00:00:00 2001
From: Daniel Lubarov <daniel@lubarov.com>
Date: Mon, 19 Jul 2021 08:52:10 -0700
Subject: [PATCH] More routed wires for recursion (#104)

* More routed wires for recursion

For the insertion gate, which (with a FRI arity of 4) uses 1 wire for the insertion index, D for the elemnet to insert, 3D for the original list, and 4D for the output list.

* import
---
 src/bin/bench_recursion.rs | 2 +-
 src/gates/insertion.rs     | 1 -
 src/recursive_verifier.rs  | 2 +-
 3 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/bin/bench_recursion.rs b/src/bin/bench_recursion.rs
index 577a88cc..8867415d 100644
--- a/src/bin/bench_recursion.rs
+++ b/src/bin/bench_recursion.rs
@@ -22,7 +22,7 @@ fn main() -> Result<()> {
 fn bench_prove<F: Field + Extendable<D>, const D: usize>() -> Result<()> {
     let config = CircuitConfig {
         num_wires: 134,
-        num_routed_wires: 27,
+        num_routed_wires: 33,
         security_bits: 128,
         rate_bits: 3,
         num_challenges: 3,
diff --git a/src/gates/insertion.rs b/src/gates/insertion.rs
index 80088955..64301347 100644
--- a/src/gates/insertion.rs
+++ b/src/gates/insertion.rs
@@ -3,7 +3,6 @@ use std::marker::PhantomData;
 use std::ops::Range;
 
 use crate::circuit_builder::CircuitBuilder;
-use crate::field::extension_field::algebra::ExtensionAlgebra;
 use crate::field::extension_field::target::ExtensionTarget;
 use crate::field::extension_field::{Extendable, FieldExtension};
 use crate::field::field::Field;
diff --git a/src/recursive_verifier.rs b/src/recursive_verifier.rs
index bc10984e..dacfd1ca 100644
--- a/src/recursive_verifier.rs
+++ b/src/recursive_verifier.rs
@@ -322,7 +322,7 @@ mod tests {
         const D: usize = 4;
         let config = CircuitConfig {
             num_wires: 134,
-            num_routed_wires: 28,
+            num_routed_wires: 33,
             security_bits: 128,
             rate_bits: 3,
             num_challenges: 3,