From e13bbf563eecbe6105d6fe874b8e07a88b4259c5 Mon Sep 17 00:00:00 2001
From: wborgeaud <williamborgeaud@gmail.com>
Date: Wed, 25 May 2022 08:00:41 +0200
Subject: [PATCH] Add num_ctl_zs

---
 evm/src/recursive_verifier.rs   | 5 ++++-
 plonky2/src/fri/witness_util.rs | 4 ++++
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/evm/src/recursive_verifier.rs b/evm/src/recursive_verifier.rs
index 52fd7e78..abc415a7 100644
--- a/evm/src/recursive_verifier.rs
+++ b/evm/src/recursive_verifier.rs
@@ -278,8 +278,9 @@ pub fn add_virtual_stark_proof_with_pis<
     stark: S,
     config: &StarkConfig,
     degree_bits: usize,
+    num_ctl_zs: usize,
 ) -> StarkProofWithPublicInputsTarget<D> {
-    let proof = add_virtual_stark_proof::<F, S, D>(builder, stark, config, degree_bits);
+    let proof = add_virtual_stark_proof::<F, S, D>(builder, stark, config, degree_bits, num_ctl_zs);
     let public_inputs = builder.add_virtual_targets(S::PUBLIC_INPUTS);
     StarkProofWithPublicInputsTarget {
         proof,
@@ -292,6 +293,7 @@ pub fn add_virtual_stark_proof<F: RichField + Extendable<D>, S: Stark<F, D>, con
     stark: S,
     config: &StarkConfig,
     degree_bits: usize,
+    num_ctl_zs: usize,
 ) -> StarkProofTarget<D> {
     let fri_params = config.fri_params(degree_bits);
     let cap_height = fri_params.config.cap_height;
@@ -319,6 +321,7 @@ pub fn add_virtual_stark_proof<F: RichField + Extendable<D>, S: Stark<F, D>, con
 fn add_stark_opening_set<F: RichField + Extendable<D>, S: Stark<F, D>, const D: usize>(
     builder: &mut CircuitBuilder<F, D>,
     stark: S,
+    num_ctl_zs: usize,
     config: &StarkConfig,
 ) -> StarkOpeningSetTarget<D> {
     let num_challenges = config.num_challenges;
diff --git a/plonky2/src/fri/witness_util.rs b/plonky2/src/fri/witness_util.rs
index 741f839d..9627dfa4 100644
--- a/plonky2/src/fri/witness_util.rs
+++ b/plonky2/src/fri/witness_util.rs
@@ -18,6 +18,10 @@ pub fn set_fri_proof_target<F, W, H, const D: usize>(
 {
     witness.set_target(fri_proof_target.pow_witness, fri_proof.pow_witness);
 
+    dbg!(
+        fri_proof_target.final_poly.0.len(),
+        fri_proof.final_poly.coeffs.len()
+    );
     for (&t, &x) in fri_proof_target
         .final_poly
         .0