From 710959f0778f33138df5f96b3741268ce1cdc7d4 Mon Sep 17 00:00:00 2001
From: wborgeaud <williamborgeaud@gmail.com>
Date: Wed, 13 Oct 2021 15:45:43 +0200
Subject: [PATCH] Comments

---
 src/plonk/get_challenges.rs | 3 +++
 src/plonk/proof.rs          | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/plonk/get_challenges.rs b/src/plonk/get_challenges.rs
index bc6be2f7..ab361c76 100644
--- a/src/plonk/get_challenges.rs
+++ b/src/plonk/get_challenges.rs
@@ -99,6 +99,7 @@ impl<F: RichField + Extendable<D>, const D: usize> ProofWithPublicInputs<F, D> {
         Ok(self.get_challenges(common_data)?.fri_query_indices)
     }
 
+    /// Computes all Fiat-Shamir challenges used in the Plonk proof.
     pub(crate) fn get_challenges(
         &self,
         common_data: &CommonCircuitData<F, D>,
@@ -132,6 +133,7 @@ impl<F: RichField + Extendable<D>, const D: usize> ProofWithPublicInputs<F, D> {
 }
 
 impl<F: RichField + Extendable<D>, const D: usize> CompressedProofWithPublicInputs<F, D> {
+    /// Computes all Fiat-Shamir challenges used in the Plonk proof.
     pub(crate) fn get_challenges(
         &self,
         common_data: &CommonCircuitData<F, D>,
@@ -163,6 +165,7 @@ impl<F: RichField + Extendable<D>, const D: usize> CompressedProofWithPublicInpu
         )
     }
 
+    /// Computes all coset elements that can be inferred in the FRI reduction steps.
     pub(crate) fn get_inferred_elements(
         &self,
         challenges: &ProofChallenges<F, D>,
diff --git a/src/plonk/proof.rs b/src/plonk/proof.rs
index 4dfa26bd..a10ae2d9 100644
--- a/src/plonk/proof.rs
+++ b/src/plonk/proof.rs
@@ -236,7 +236,7 @@ pub(crate) struct ProofChallenges<F: RichField + Extendable<D>, const D: usize>
     pub fri_query_indices: Vec<usize>,
 }
 
-/// Coset element that can be inferred in the FRI reduction step.
+/// Coset elements that can be inferred in the FRI reduction steps.
 pub(crate) struct FriInferredElements<F: RichField + Extendable<D>, const D: usize>(
     pub Vec<F::Extension>,
 );