Skip to content

Validate Byzantine leader proposals in Sailfish - #240

Merged
lemmy merged 1 commit into
tlaplus:masterfrom
Qian-Cheng-nju:sailfish-leader-validation
Oct 28, 2026
Merged

lemmy merged 1 commit into
tlaplus:masterfrom
Qian-Cheng-nju:sailfish-leader-validation

Validate Byzantine leader proposals in Sailfish

449409f
Select commit
Loading
Failed to load commit list.