A rust implementation of the ethereum light client that supports no_std.
It currently supports the verification of Sync Protocol, also called Altair Light Client.
- Sync Protocol verification
- Supported Forks: Bellatrix, Capella, Deneb, Electra
- Support the detection of Sync committee's misbehaviour
no_stdsupport: easy to integrate into any environment(e.g. wasm, sgx enclave)
- light-client-verifier: provides a Sync Protocol and Execution layer verifiers
- consensus: provides the implementation of the consensus specs for beacon chain and sync protocol
- light-client-cli: A toy CLI for Light Client
- lodestar-rpc: A RPC client for lodestar
We have conducted a security audit of the light client verifier and the consensus crate by Quantstamp. The audit was performed on the codebase of the light-client-verifier and consensus crates, which are responsible for verifying the Sync Protocol and the execution layer.
The audit report is available here.