From 08f0e0ff552326b3b47c1ea0a6495dbd130ee861 Mon Sep 17 00:00:00 2001
From: Daniel Lubarov <daniel@lubarov.com>
Date: Fri, 13 Aug 2021 19:36:21 -0700
Subject: [PATCH] Remove unnecessary checks

They're out of date, and checked elsewhere
---
 src/plonk/recursive_verifier.rs | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/src/plonk/recursive_verifier.rs b/src/plonk/recursive_verifier.rs
index 3ab1cdec..ea35d505 100644
--- a/src/plonk/recursive_verifier.rs
+++ b/src/plonk/recursive_verifier.rs
@@ -9,9 +9,6 @@ use crate::plonk::vars::EvaluationTargets;
 use crate::util::reducing::ReducingFactorTarget;
 use crate::with_context;
 
-const MIN_WIRES: usize = 120; // TODO: Double check.
-const MIN_ROUTED_WIRES: usize = 28; // TODO: Double check.
-
 impl<F: Extendable<D>, const D: usize> CircuitBuilder<F, D> {
     /// Recursively verifies an inner proof.
     pub fn add_recursive_verifier(
@@ -21,8 +18,6 @@ impl<F: Extendable<D>, const D: usize> CircuitBuilder<F, D> {
         inner_verifier_data: &VerifierCircuitTarget,
         inner_common_data: &CommonCircuitData<F, D>,
     ) {
-        assert!(self.config.num_wires >= MIN_WIRES);
-        assert!(self.config.num_wires >= MIN_ROUTED_WIRES);
         let ProofWithPublicInputsTarget {
             proof,
             public_inputs,