From ce47eac72e3662ebe77f82a9a096585390834868 Mon Sep 17 00:00:00 2001
From: Nicholas Ward <npward@berkeley.edu>
Date: Tue, 29 Jun 2021 11:04:05 -0700
Subject: [PATCH] fix

---
 src/circuit_builder.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/circuit_builder.rs b/src/circuit_builder.rs
index 9863de47..1c45a422 100644
--- a/src/circuit_builder.rs
+++ b/src/circuit_builder.rs
@@ -237,7 +237,7 @@ impl<F: Extendable<D>, const D: usize> CircuitBuilder<F, D> {
             .map(|x| 1 << x)
             .collect();
         let total_fri_folding_points: usize = arities.iter().map(|x| x - 1).sum::<usize>();
-        let final_poly_coeffs: usize = degree_estimate / arities.iter().sum::<usize>();
+        let final_poly_coeffs: usize = degree_estimate / arities.iter().product::<usize>();
         let fri_openings = fri_queries * (1 + D * total_fri_folding_points + D * final_poly_coeffs);
 
         let regular_poly_openings = D + fri_openings;