Fix utreexo roots matching (#284)

README.md

@@ -75,7 +75,7 @@ Try to run script validation with external Cairo crate.
 
 Tasks:
 
-* [ ] Integrate Shinigami-script
+* [x] Integrate Shinigami-script
 
 ### Milestone 4 - UTXO set verification
 
@@ -92,7 +92,7 @@ Tasks:
 * [x] implement Utreexo single output removal
 * [x] implement Utreexo bridge node that generates individual inclusion proofs
 * [x] implement script that runs the program e2e for a span of blocks
-* [ ] implement Utreexo accumulator version compatible with [rustreexo](https://github.com/mit-dci/rustreexo)
+* [x] implement Utreexo accumulator version compatible with [rustreexo](https://github.com/mit-dci/rustreexo)
 
 ### Milestone 5 - Full consensus validation
 

docs/utreexo.md

@@ -64,6 +64,8 @@ Batch inclusion proofs were introduced in the Utreexo paper (see Appendix) and t
   <img src="./img/utreexo_proof.svg" alt=""/>
 </p>
 
+As can be seen from the illustration, the batch proof can be much more compact because more intermediate nodes can be calculated rather than be provided.
+
 Implementation wise there are several things you should note:
 - Proof nodes are in the exact order you need them to verify proof/delete leaves
 - Leaf nodes might edge in (since they are not necessarily in the bottom most row), so on every step you should pick one of {leaf, proof, computed} nodes

packages/utreexo/src/lib.cairo

@@ -2,11 +2,15 @@ pub mod vanilla {
     pub mod state;
     pub mod proof;
     pub mod accumulator;
+    #[cfg(test)]
+    mod accumulator_tests;
 }
 pub mod stump {
     pub mod state;
     pub mod proof;
     pub mod accumulator;
+    #[cfg(test)]
+    mod accumulator_tests;
 }
 pub mod test;