Improve the clarity of docs for Witness{Var}Ext::get_openings

privacy-scaling-explorations · Sep 8, 2024 · d07a811 · d07a811
1 parent 4c0254e
commit d07a811
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/folding-schemes/src/folding/traits.rs b/folding-schemes/src/folding/traits.rs
@@ -109,13 +109,13 @@ pub trait WitnessExt<F: PrimeField> {
     /// The in-circuit representation of the witness.
     type Var: AllocVar<Self, F> + WitnessVarExt<F>;
 
-    /// Returns the openings (i.e., values being committed to) contained in the
-    /// witness.
+    /// Returns the openings (i.e., the values being committed to and the
+    /// randomness) contained in the witness.
     fn get_openings(&self) -> Vec<(&[F], F)>;
 }
 
 pub trait WitnessVarExt<F: PrimeField> {
-    /// Returns the openings (i.e., values being committed to) contained in the
-    /// witness.
+    /// Returns the openings (i.e., the values being committed to and the
+    /// randomness) contained in the witness.
     fn get_openings(&self) -> Vec<(&[FpVar<F>], FpVar<F>)>;
 }