From f400f9fc979e22090cef00c51fb194ef9942457e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tom=C3=A1s=20Gr=C3=BCner?= <47506558+MegaRedHand@users.noreply.github.com> Date: Tue, 14 Apr 2026 18:09:19 -0300 Subject: [PATCH] docs: update readme to reflect devnet 4 status --- README.md | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/README.md b/README.md index 05da606..4d16ecf 100644 --- a/README.md +++ b/README.md @@ -97,20 +97,20 @@ Docker images are published to `ghcr.io/lambdaclass/ethlambda` with the followin | Tag | Description | |-----|-------------| -| `devnetX` | Stable image for a specific devnet (e.g. `devnet3`) | +| `devnetX` | Stable image for a specific devnet (e.g. `devnet4`) | | `latest` | Alias for the stable image of the currently running devnet | | `unstable` | Development builds; promoted to `devnetX`/`latest` once tested | | `sha-XXXXXXX` | Specific commit | [`RELEASE.md`](./RELEASE.md) has more details on our release process and how to tag new images. -### pq-devnet-3 +### pq-devnet-4 -We are running the [pq-devnet-3 spec](https://github.com/leanEthereum/pm/blob/main/breakout-rooms/leanConsensus/pq-interop/pq-devnet-3.md). A Docker tag `devnet3` is available for this version. +We are running the `pq-devnet-4` spec. A Docker tag `devnet4` is available for this version. -### pq-devnet-4 +### pq-devnet-5 -We are working on adding support for the [pq-devnet-4 spec](https://github.com/leanEthereum/pm/blob/main/breakout-rooms/leanConsensus/pq-interop/pq-devnet-4.md). A Docker tag `devnet4` will be published for this version. +[We are working on adding support for the `pq-devnet-5` spec](https://github.com/lambdaclass/ethlambda/issues/285). A Docker tag `devnet5` will be published for this version. ### Older devnets @@ -122,7 +122,7 @@ Support for older devnet releases is discontinued when the next devnet version i Some features we are looking to implement in the near future, in order of priority: -- [Add support for pq-devnet-4](https://github.com/lambdaclass/ethlambda/issues/155) +- [Add support for pq-devnet-5](https://github.com/lambdaclass/ethlambda/issues/285) - [RPC endpoints for chain data consumption](https://github.com/lambdaclass/ethlambda/issues/75) - [Add guest program and ZK proving of the STF](https://github.com/lambdaclass/ethlambda/issues/156) - [Formal verification of the STF](https://github.com/lambdaclass/ethlambda/issues/272)