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 formed new Post Quantum team led by Coratger, Emile joined.
Links
x.com/ethlambda_leanBuilding a new RISC-V zkVM with Aligned Layer and 3mi Labs that is intended to become a standard for L1 proving and ETH proofs.
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.