Skip to content

FRI early-termination review follow-ups (3/3): bind k into the continuation-global statement - #788

Merged
MauroToscano merged 1 commit into
feat/fri-early-terminationfrom
review/global-statement-k
Jul 6, 2026
Merged

MauroToscano merged 1 commit into
feat/fri-early-terminationfrom
review/global-statement-k

fix(prover): bind fri_final_poly_log_degree into the continuation-glo…

5bb336d
Select commit
Loading
Failed to load commit list.