Skip to content

Pull requests: lambdaclass/ethlambda

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

fix(p2p): never leave a block root pending without an outcome
#608 opened Sep 4, 2026 by MegaRedHand Collaborator Loading…
3 tasks done
feat(crypto)!: bump to new leanVM version
#606 opened Sep 3, 2026 by MegaRedHand Collaborator Draft
fix: align Lean justifiability overflow semantics
#597 opened Aug 28, 2026 by ss1738 Loading…
feat(zkvm): state transition function proving using zkvm's
#531 opened Jul 21, 2026 by Sahilgill24 Contributor Draft
3 of 4 tasks
feat: integrate with ethrex over the Engine API
#367 opened May 13, 2026 by pablodeymo Collaborator Loading…
4 tasks done
ci: run Lean Hive simulators in CI
#364 opened May 12, 2026 by dicethedev Contributor Loading…
3 tasks done
ProTip! Add no:assignee to see everything that’s not assigned.