Add PointEvaluations::{fst,snd} helper methods

openmina · Sep 20, 2024 · 2fdb5a7 · 2fdb5a7
1 parent b6ad2d0
commit 2fdb5a7
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/kimchi/src/proof.rs b/kimchi/src/proof.rs
@@ -193,6 +193,22 @@ impl<Evals> PointEvaluations<Evals> {
     }
 }
 
+impl<Evals: Copy> PointEvaluations<Evals> {
+    /// Mimic OCaml `point[0]`
+    ///
+    /// Short for `first`
+    pub fn fst(&self) -> Evals {
+        self.zeta
+    }
+
+    /// Mimic OCaml `point[1]`
+    ///
+    /// Shoft for `second`
+    pub fn snd(&self) -> Evals {
+        self.zeta_omega
+    }
+}
+
 impl<Eval> ProofEvaluations<Eval> {
     pub fn map<Eval2, FN: Fn(Eval) -> Eval2>(self, f: &FN) -> ProofEvaluations<Eval2> {
         let ProofEvaluations {