From dbf84ff1b6bb108d62dc906298d05ea3ba711ee7 Mon Sep 17 00:00:00 2001
From: Daniel Sanchez Quiros <sanchez.quiros.daniel@gmail.com>
Date: Mon, 1 Apr 2024 20:01:13 +0200
Subject: [PATCH] Sketch fn signature for verification

---
 nomos-da/kzgrs/src/kzg.rs | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/nomos-da/kzgrs/src/kzg.rs b/nomos-da/kzgrs/src/kzg.rs
index 05ada05f..07c96041 100644
--- a/nomos-da/kzgrs/src/kzg.rs
+++ b/nomos-da/kzgrs/src/kzg.rs
@@ -17,7 +17,7 @@ pub fn commit_polynomial(
 }
 
 /// Compute a witness polynomial in that satisfies `witness(x) = (f(x)-v)/(x-u)`
-fn generate_element_proof(
+pub fn generate_element_proof(
     element_index: usize,
     polynomial: &DensePolynomial<Fr>,
     roots_of_unity: &Powers<Bls12_381>,
@@ -36,6 +36,16 @@ fn generate_element_proof(
     Ok(proof)
 }
 
+pub fn verify_element_proof(
+    element: &Fr,
+    commitment: &Commitment<Bls12_381>,
+    proof: &Proof<Bls12_381>,
+    element_index: usize,
+    roots_of_unity: &Powers<Fr>,
+) -> bool {
+    todo!()
+}
+
 #[cfg(test)]
 mod test {
     use crate::kzg::commit_polynomial;