docs(readme): expand roadmap with near-term priorities

README.md

@@ -132,11 +132,19 @@ Docker tags for each devnet are released, with format `devnetX` (i.e. `devnet1`,
 
 Support for older devnet releases is discontinued when the next devnet version is released.
 
-## Incoming features
+## Incoming features / Roadmap
+
+We wrote a [blogpost](https://blog.lambdaclass.com/ethlambda-devnet-5-and-beyond/) about what we think should be included in the near future.
 
 Some features we are looking to implement in the near future, in order of priority:
 
-- [Add guest program and ZK proving of the STF](https://github.com/lambdaclass/ethlambda/issues/156)
+- [Optimize block building](https://github.com/lambdaclass/ethlambda/issues/465)
+- [Use state-diffs for storing states in the database](https://github.com/lambdaclass/ethlambda/issues/238)
+- [Prototype Goldfish + RLMD GHOST + BFT — devnet-6](https://github.com/lambdaclass/ethlambda/pull/434)
+- [Integrate with execution clients](https://github.com/lambdaclass/ethlambda/pull/367), in particular [ethrex](https://github.com/lambdaclass/ethrex) — devnet-7
+- Replace libp2p with the experimental [ethp2p](https://github.com/ethp2p/ethp2p), which we are porting to Rust
+- [Add a guest program and ZK proving of the STF](https://github.com/lambdaclass/ethlambda/issues/156)
+- Rewrite the STF in the concrete programming language to enable formal verification
 
 ### Experimental features