We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent ea309d7 commit 336f1a4Copy full SHA for 336f1a4
extensions/native/recursion/src/fri/two_adic_pcs.rs
@@ -409,7 +409,8 @@ fn compute_round_alpha_pows<C: Config>(
409
if builder.flags.static_only {
410
return builder.array(0);
411
}
412
- // Max log of matrix width
+ // This maximum is safe because the log width of any matrix in an AIR must fit
413
+ // within a single field element.
414
const MAX_LOG_WIDTH: usize = 31;
415
let pow_of_alpha: Array<C, Ext<_, _>> = builder.array(MAX_LOG_WIDTH);
416
let current: Ext<_, _> = builder.eval(alpha);
0 commit comments