From 88b2f3ad78f3ec284fdd761cc829c8a91f99e221 Mon Sep 17 00:00:00 2001 From: ashjeong Date: Wed, 23 Oct 2024 12:49:12 +0900 Subject: [PATCH] chore(crypto): fix faulty comment explanation --- tachyon/crypto/commitments/fri/simple_fri.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/tachyon/crypto/commitments/fri/simple_fri.h b/tachyon/crypto/commitments/fri/simple_fri.h index fecaf5c61..35c0e56f3 100644 --- a/tachyon/crypto/commitments/fri/simple_fri.h +++ b/tachyon/crypto/commitments/fri/simple_fri.h @@ -66,7 +66,7 @@ class SimpleFRI final if (num_layers > 1) { for (uint32_t i = 1; i < num_layers; ++i) { // Pᵢ(X) = Pᵢ_even(X²) + X * Pᵢ_odd(X²) - // Pᵢ₊₁(X) = Pᵢ_even(X²) + β * Pᵢ_odd(X²) + // Pᵢ₊₁(X) = Pᵢ_even(X) + β * Pᵢ_odd(X) beta = writer->SqueezeChallenge(); VLOG(2) << "SimpleFRI(beta[" << i - 1 << "]): " << beta.ToHexString(true); @@ -150,14 +150,14 @@ class SimpleFRI final // Pᵢ_odd(X²) = (Pᵢ(X) - Pᵢ(-X)) / (2 * X) // // Next layer equation: - // Pᵢ₊₁(X) = Pᵢ_even(X²) + β * Pᵢ_odd(X²) + // Pᵢ₊₁(X) = Pᵢ_even(X) + β * Pᵢ_odd(X) // // If the domain of Pᵢ(X) is Dᵢ = {ω⁰, ω¹, ..., ωⁿ⁻¹}, // then the domain of Pᵢ₊₁(X) is Dᵢ₊₁ = {ω⁰, ω¹, ..., ωᵏ⁻¹}, // where k = n / 2. // // As per the definition: - // Pᵢ₊₁(ωʲ) = Pᵢ_even((ωʲ)²) + β * Pᵢ_odd((ωʲ)²) + // Pᵢ₊₁(ωʲ) = Pᵢ_even(ωʲ) + β * Pᵢ_odd(ωʲ) // // Substituting Pᵢ_even and Pᵢ_odd: // Pᵢ₊₁(ωʲ) = (Pᵢ(ωʲ) + Pᵢ(-ωʲ)) / 2 + β * (Pᵢ(ωʲ) - Pᵢ(-ωʲ)) / (2 * ωʲ)