From be5b6ffc9820c5bc9433194be3841b4e91820133 Mon Sep 17 00:00:00 2001
From: longer <longerfree.dai@gmail.com>
Date: Tue, 19 Nov 2024 17:06:51 +0800
Subject: [PATCH] fix FRI fold formula

---
 src/fri.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/fri.rs b/src/fri.rs
index 0f8573f..05362f0 100644
--- a/src/fri.rs
+++ b/src/fri.rs
@@ -507,7 +507,7 @@ pub trait ProverChannel {
 // 2. perform a random linear combination of odd and even coefficients of f(x):
 //    f_e(x) = c0 + c2 * x + c4 * x^2 + c6 * x^3
 //    f_o(x) = c1 + c3 * x + c5 * x^2 + c7 * x^3
-//    f(x)   = f_e(x) + x * f_o(x)
+//    f(x)   = f_e(x^2) + x * f_o(x^2)
 //    f'(x)  = f_e(x) + α * f_o(x)
 //    α      = <random field element sent from verifier>
 //