wip: impl Prove for Vector

ralexstokes · Mar 29, 2024 · a1a51be · a1a51be
1 parent 4d904c6
commit a1a51be
Showing 1 changed file with 13 additions and 2 deletions.
diff --git a/ssz-rs/src/vector.rs b/ssz-rs/src/vector.rs
@@ -3,8 +3,10 @@ use crate::{
     error::{Error, InstanceError, TypeError},
     lib::*,
     merkleization::{
-        elements_to_chunks, get_power_of_two_ceil, merkleize, pack, GeneralizedIndex,
-        GeneralizedIndexable, HashTreeRoot, MerkleizationError, Node, Path, PathElement,
+        elements_to_chunks, get_power_of_two_ceil, merkleize, pack,
+        proofs::{ProofAndWitness, Prove},
+        GeneralizedIndex, GeneralizedIndexable, HashTreeRoot, MerkleizationError, Node, Path,
+        PathElement,
     },
     ser::{Serialize, SerializeError, Serializer},
     Serializable, SimpleSerialize,
@@ -278,6 +280,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> {
+        todo!()
+    }
+}
+
 #[cfg(feature = "serde")]
 struct VectorVisitor<T: Serializable>(PhantomData<Vec<T>>);