From 559893618b59e612d7663fcf09e5cbba4a19f42e Mon Sep 17 00:00:00 2001
From: Alex Stokes <r.alex.stokes@gmail.com>
Date: Thu, 28 Mar 2024 17:30:24 -0600
Subject: [PATCH] wip: impl Prove for Vector

---
 ssz-rs/src/vector.rs | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/ssz-rs/src/vector.rs b/ssz-rs/src/vector.rs
index 2fac0f93..60ed5ef0 100644
--- a/ssz-rs/src/vector.rs
+++ b/ssz-rs/src/vector.rs
@@ -5,6 +5,7 @@ use crate::{
     merkleization::{
         elements_to_chunks, get_power_of_two_ceil, merkleize, pack, GeneralizedIndex,
         GeneralizedIndexable, HashTreeRoot, MerkleizationError, Node, Path, PathElement,
+        ProofAndWitness, Prove,
     },
     ser::{Serialize, SerializeError, Serializer},
     Serializable, SimpleSerialize,
@@ -278,6 +279,15 @@ where
     }
 }
 
+impl<T, const N: usize> Prove for Vector<T, N>
+where
+    T: SimpleSerialize + GeneralizedIndexable + Prove,
+{
+    fn prove(&mut self, index: GeneralizedIndex) -> Result<ProofAndWitness, MerkleizationError> {
+        //
+    }
+}
+
 #[cfg(feature = "serde")]
 struct VectorVisitor<T: Serializable>(PhantomData<Vec<T>>);