what's EthLambda?
EthLambda is an open-source Ethereum consensus client implemented in the Lean programming language, focusing on formal verification for reliability. It pairs with Ethrex (execution client) to form a complete Ethereum node stack within the Lean Ethereum ecosystem, enabling features like automated status updates and consensus layer operations.
EthLambda hosts two community calls on 2026-04-10 for project updates and future plans.
Links
x.com/ethlambda_leanHosts two community calls on 2026-04-10, one at 2:30 PM UTC and another at 3:30 PM UTC, to provide project updates and discuss future plans.
Hosts two community calls on 2026-03-13 and 2026-03-20, with calls at 2:30 PM UTC and 3:30 PM UTC on both dates, to provide team updates.
Builds RISC-V zkVM with Aligned Layer and 3mi Labs. Open-sourced libssz, an SSZ library in Rust, passing 62,489 consensus spec tests, with SHA-256 backend for zkVM acceleration, compiling on RISC-V.
Collaborating with Titan Builder on various projects under Kubimensah's leadership.
Joined the Blockspace Forum process as a participant in coordination efforts among Ethereum infrastructure players.
Formed new Post Quantum team led by Thomas Coratger with Emile, featured in Aligned Layer's Weekly Ethereum Bulletin (Vol. 5, February 6-13, 2026) for minimalist post-quantum architecture.
Released an Ethereum Lean Consensus client, ethlambda_lean, with lambdaworks and 20x faster performance via ethrex_client.
Added CLI options to streamline node configuration.
Completed implementation of the state transition function including block attestation processing.