docs: Improve docs on barycentric-eval loop

TritonVM · Apr 23, 2024 · 817c6fc · 817c6fc
1 parent 8f90779
commit 817c6fc
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/tasm-lib/src/verifier/fri/barycentric_evaluation.rs b/tasm-lib/src/verifier/fri/barycentric_evaluation.rs
@@ -120,13 +120,15 @@ impl BasicSnippet for BaryCentricEvaluation {
                 {&swap_top_and_third_xfe}
                 // _ *stop_condition [indeterminate] geni geniacc *codeword_elem [denominator'] [numerator] [dodse]
 
+                /* 6. */
                 dup 9
                 read_mem {EXTENSION_DEGREE}
                 swap 13
                 pop 1
                 // _ *stop_condition [indeterminate] geni geniacc *codeword_elem_prev [denominator'] [numerator] [dodse] [code_word_elem]
                 // _ *stop_condition [indeterminate] geni geniacc *codeword_elem' [denominator'] [numerator] [dodse] [code_word_elem]     <-- rename
 
+                /* 7. */
                 xxmul
                 xxadd
                 // _ *stop_condition [indeterminate] geni geniacc *codeword_elem' [denominator'] [numerator + dodse * code_word_elem]