Search results

Formalize fork-choice algorithm and state transition function in Lean4

Status: Open.

#272 In lambdaclass/ethlambda;

· MegaRedHand opened on Apr 10, 2026

Change store::on_gossip_attestation take a reference to signed attestations

good first issueGood for newcomersGood for newcomers

Status: Open.

#271 In lambdaclass/ethlambda;

· MegaRedHand opened on Apr 9, 2026

Tune RocksDB options

Status: Open.

#266 In lambdaclass/ethlambda;

· MegaRedHand opened on Apr 8, 2026

gossip_signatures grows unbounded during finalization stall

Status: Open.

#263 In lambdaclass/ethlambda;

· MegaRedHand opened on Apr 8, 2026

Advance XMSS preparation window in the background

Status: Open.

#262 In lambdaclass/ethlambda;

· MegaRedHand opened on Apr 7, 2026

Implement diff-layers for state calculation

Status: Open.

#238 In lambdaclass/ethlambda;

· pablodeymo opened on Mar 17, 2026

Do not prune state until we finish sync

Status: Open.

#237 In lambdaclass/ethlambda;

· pablodeymo opened on Mar 17, 2026

Don't propose/attest blocks during sync

good first issueGood for newcomersGood for newcomers

Status: Open.

#236 In lambdaclass/ethlambda;

· pablodeymo opened on Mar 17, 2026

Add warning message when a peer returns a higher slot in their status message

Status: Open.

#211 In lambdaclass/ethlambda;

· MegaRedHand opened on Mar 13, 2026

Implement new version of store mappings

Status: Open.

#204 In lambdaclass/ethlambda;

· pablodeymo opened on Mar 12, 2026

Stop genservers gracefully

good first issueGood for newcomersGood for newcomers

Status: Open.

#195 In lambdaclass/ethlambda;

· pablodeymo opened on Mar 10, 2026

Check we don't have a race condition in bin/ethlambda/src/main.rs

Status: Open.

#194 In lambdaclass/ethlambda;

· pablodeymo opened on Mar 10, 2026