From 288a8e1155e4fcaae0fc28e0c2de94f3800c80e6 Mon Sep 17 00:00:00 2001
From: wborgeaud <williamborgeaud@gmail.com>
Date: Mon, 11 Oct 2021 18:44:17 +0200
Subject: [PATCH] Minor comments

---
 src/plonk/proof.rs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/plonk/proof.rs b/src/plonk/proof.rs
index 5a0abfd7..29cac3cc 100644
--- a/src/plonk/proof.rs
+++ b/src/plonk/proof.rs
@@ -221,8 +221,11 @@ pub(crate) struct ProofChallenges<F: RichField + Extendable<D>, const D: usize>
 
     pub fri_pow_response: F,
 
+    // Indices at which the oracle is queried in FRI.
     pub fri_query_indices: Vec<usize>,
 
+    // Coset element that can be inferred in the FRI reduction step.
+    // Is typically set to None iff the challenges are computed from a non-compressed proof.
     pub fri_query_inferred_elements: Option<Vec<F::Extension>>,
 }