wip: impl Prove for Vector

ralexstokes · Mar 29, 2024 · 5598936 · 5598936
1 parent 19cfd25
commit 5598936
Showing 1 changed file with 10 additions and 0 deletions.
diff --git 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>>);