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 completed state transition function and block attestation processing implementation.