From 807aba169bde12e2b45adecf045ba225b6b1ba65 Mon Sep 17 00:00:00 2001 From: Al-Kindi-0 <82364884+Al-Kindi-0@users.noreply.github.com> Date: Tue, 3 Sep 2024 22:03:18 +0200 Subject: [PATCH] doc: add comment about periodic values table --- air/src/air/logup_gkr/mod.rs | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/air/src/air/logup_gkr/mod.rs b/air/src/air/logup_gkr/mod.rs index 0b5444eae..52a9f8504 100644 --- a/air/src/air/logup_gkr/mod.rs +++ b/air/src/air/logup_gkr/mod.rs @@ -254,6 +254,13 @@ pub enum LogUpGkrOracle { // PERIODIC COLUMNS FOR LOGUP // ================================================================================================= +/// Stores the periodic columns used in a LogUp-GKR statement. +/// +/// Each stored periodic column is interpreted as a multi-linear extension polynomial of the column +/// with the given periodic values. Due to the periodic nature of the values, storing, binding of +/// an argument and evaluating the said multi-linear extension can be all done linearly in the size +/// of the smallest cycle defining the periodic values. Hence we only store the values of this +/// smallest cycle. The cycle is assumed throughout to be a power of 2. #[derive(Clone, Debug, Default, PartialEq, PartialOrd, Eq, Ord)] pub struct PeriodicTable { pub table: Vec>,