Skip to content

fix(fork-choice): make the equal-slot equivocation tie deterministic (leanSpec #1181)#503

Merged
MegaRedHand merged 2 commits into
mainfrom
fix/equivocation-tiebreak-determinism
Jul 6, 2026
Merged

fix(fork-choice): make the equal-slot equivocation tie deterministic (leanSpec #1181)#503
MegaRedHand merged 2 commits into
mainfrom
fix/equivocation-tiebreak-determinism

Commits

Commits on Jul 6, 2026