From 0e469e4717766528329434619037604878a9aa70 Mon Sep 17 00:00:00 2001 From: Pablo Deymonnaz Date: Wed, 24 Jun 2026 17:00:01 -0300 Subject: [PATCH 1/6] Expand the roadmap section in the README with near-term priorities (block building, state-diff storage, Goldfish + RLMD GHOST + BFT, ethrex integration, ethp2p, ZK proving, and an STF rewrite for formal verification) and link to the devnet-5 blogpost. --- README.md | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 6d760047..d55bb7d9 100644 --- a/README.md +++ b/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 +- Store the state-diff in the database +- Prototype Goldfish + RLMD GHOST + BFT — devnet-6 +- Integrate with execution clients, 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 a concrete language to enable formal verification ### Experimental features From e6c47a95349264a04cfd1b5affa3dbf961d0fd38 Mon Sep 17 00:00:00 2001 From: Pablo Deymonnaz Date: Wed, 24 Jun 2026 17:15:47 -0300 Subject: [PATCH 2/6] Update README.md MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-authored-by: Tomás Grüner <47506558+MegaRedHand@users.noreply.github.com> --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index d55bb7d9..6fe78393 100644 --- a/README.md +++ b/README.md @@ -138,7 +138,7 @@ We wrote a [blogpost](https://blog.lambdaclass.com/ethlambda-devnet-5-and-beyond Some features we are looking to implement in the near future, in order of priority: -- Optimize block building +- [Optimize block building](https://github.com/lambdaclass/ethlambda/issues/465) - Store the state-diff in the database - Prototype Goldfish + RLMD GHOST + BFT — devnet-6 - Integrate with execution clients, in particular [ethrex](https://github.com/lambdaclass/ethrex) — devnet-7 From 29936362128430950c9242777cefb43bc0ca935e Mon Sep 17 00:00:00 2001 From: Pablo Deymonnaz Date: Wed, 24 Jun 2026 17:16:03 -0300 Subject: [PATCH 3/6] Update README.md MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-authored-by: Tomás Grüner <47506558+MegaRedHand@users.noreply.github.com> --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 6fe78393..212d739d 100644 --- a/README.md +++ b/README.md @@ -144,7 +144,7 @@ Some features we are looking to implement in the near future, in order of priori - Integrate with execution clients, 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 a concrete language to enable formal verification +- Rewrite the STF in the concrete programming language to enable formal verification ### Experimental features From 15400d30481583c6463f49a4af53b65062a4e7f5 Mon Sep 17 00:00:00 2001 From: Pablo Deymonnaz Date: Wed, 24 Jun 2026 17:16:14 -0300 Subject: [PATCH 4/6] Update README.md MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-authored-by: Tomás Grüner <47506558+MegaRedHand@users.noreply.github.com> --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 212d739d..7b3e9a17 100644 --- a/README.md +++ b/README.md @@ -139,7 +139,7 @@ We wrote a [blogpost](https://blog.lambdaclass.com/ethlambda-devnet-5-and-beyond Some features we are looking to implement in the near future, in order of priority: - [Optimize block building](https://github.com/lambdaclass/ethlambda/issues/465) -- Store the state-diff in the database +- [Use state-diffs for storing states in the database](https://github.com/lambdaclass/ethlambda/issues/238) - Prototype Goldfish + RLMD GHOST + BFT — devnet-6 - Integrate with execution clients, 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 From 0eda01c5ba4f65c97ba72fe4385176cc613f6cad Mon Sep 17 00:00:00 2001 From: Pablo Deymonnaz Date: Wed, 24 Jun 2026 17:16:31 -0300 Subject: [PATCH 5/6] Update README.md MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-authored-by: Tomás Grüner <47506558+MegaRedHand@users.noreply.github.com> --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 7b3e9a17..65f19e2c 100644 --- a/README.md +++ b/README.md @@ -141,7 +141,7 @@ Some features we are looking to implement in the near future, in order of priori - [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 -- Integrate with execution clients, in particular [ethrex](https://github.com/lambdaclass/ethrex) — devnet-7 +- [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 From a90b05dbf03bf0e46daad254b04e1732401c35d1 Mon Sep 17 00:00:00 2001 From: Pablo Deymonnaz Date: Wed, 24 Jun 2026 17:16:44 -0300 Subject: [PATCH 6/6] Update README.md MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-authored-by: Tomás Grüner <47506558+MegaRedHand@users.noreply.github.com> --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 65f19e2c..0b5c60f8 100644 --- a/README.md +++ b/README.md @@ -140,7 +140,7 @@ Some features we are looking to implement in the near future, in order of priori - [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 +- [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)