chore: update comment on MAX_LOG_WIDTH (#1309)

openvm-org · Jan 27, 2025 · 336f1a4 · 336f1a4
1 parent ea309d7
commit 336f1a4
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/extensions/native/recursion/src/fri/two_adic_pcs.rs b/extensions/native/recursion/src/fri/two_adic_pcs.rs
@@ -409,7 +409,8 @@ fn compute_round_alpha_pows<C: Config>(
     if builder.flags.static_only {
         return builder.array(0);
     }
-    // Max log of matrix width
+    // This maximum is safe because the log width of any matrix in an AIR must fit
+    // within a single field element.
     const MAX_LOG_WIDTH: usize = 31;
     let pow_of_alpha: Array<C, Ext<_, _>> = builder.array(MAX_LOG_WIDTH);
     let current: Ext<_, _> = builder.eval(alpha);