fix(fri_verifier.cairo): fri_verifier_new

Olexandr88 · Mar 8, 2023 · 159ff22 · 159ff22
1 parent d71bd67
commit 159ff22
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 8 deletions.
diff --git a/src/chain_proof/state_0.json b/src/chain_proof/state_0.json
@@ -13,5 +13,5 @@
 		"0", "0", "0", "0", "0", 
 		"0", "0"
 	],
-	"program_hash": "3a6ee8aed8eee518f3c3651b9c1c00525865117a9de4091f3d3e971689fa542"
+	"program_hash": "729c17e9efc30c60bcd6b42676dc0485f93ffa878423b0a9fea15c8915ad3ab"
 }
diff --git a/src/stark_verifier/fri/fri_verifier.cairo b/src/stark_verifier/fri/fri_verifier.cairo
@@ -121,15 +121,12 @@ func fri_verifier_new{
         count = channel.fri_roots_len
     );
 
-    let num_folding_bits = log2(FOLDING_FACTOR);
+    let num_folding_factor_bits = log2(FOLDING_FACTOR);
     // This  log2  implementation verifies  max_poly_degree + 1  to be a power of two.
-    let num_max_degree_bits = log2(max_poly_degree + 1);
-    let (num_fri_roots, num_max_degree_bits) = unsigned_div_rem(num_max_degree_bits, num_folding_bits);
-    let max_degree = pow2(num_max_degree_bits + num_folding_bits);
+    let num_max_poly_degree_bits = log2(max_poly_degree + 1);
+    let max_degree = pow2(num_max_poly_degree_bits - (channel.fri_roots_len - 1) * num_folding_factor_bits);
     let max_degree_plus_1 = max_degree + 1;
-    with_attr error_message("max_poly_degree does not match fri_roots_len") {
-        assert num_fri_roots = channel.fri_roots_len;
-    }
+
     let res = FriVerifier(
         max_poly_degree,
         domain_size,