Roadmap updates (#292)

README.md

@@ -96,18 +96,21 @@ Tasks:
 
 ### Milestone 5 - Full consensus validation
 
-Validate full block execution, including the Bitcoin scripts checks and Utreexo.
+Validate full block execution over large number of blocks, including the Bitcoin scripts checks and Utreexo proofs.
 
-### Milestone 6 - Optimizations
+* [x] consensus logic
+* [ ] consensus logic + utreexo proofs  
+* [ ] consensus logic + utreexo proofs + scripts
 
-* [ ] identify Cairo code botlenecks
-* [ ] consider using garaga msm to batch signature verifications
-
-### Milestone 7 - Proving the validation
+### Milestone 6 - Proving
 
-Recursively verify STARK proofs of chain state updates. Still largely tbd.
+Recursively verify STARK proofs of chain state updates. Still largely tbd. From initial observations it is clear that a series of optimizations will be necessary.
 
-* [ ] use garaga to implement signature verifications
+* [ ] sha256 optimization
+* [ ] don't use ByteArray when serializing data
+* [ ] blocklevel recursion
+* [ ] consider using garaga msm to batch signature verifications
+* [ ] identify other Cairo code botlenecks
 
 # Contact
 
@@ -139,6 +142,7 @@ pip install -r scripts/data/requirements.txt
 ## References
 
 * [Data processing notes](./docs/data.md)
+* [Utreexo implementation notes](./docs/utreexo.md)
 * [ZeroSync](https://github.com/ZeroSync/ZeroSync)
 * [Shinigami Script](https://github.com/keep-starknet-strange/shinigami)
 * [STWO](https://github.com/starkware-libs/stwo)