Skip to content

fix: validate BABE cut-and-choose inputs - #478

Merged
eigmax merged 1 commit into
GOATNetwork:devfrom
VanhGer:fix/circuit-count
Oct 27, 2026
Merged

eigmax merged 1 commit into
GOATNetwork:devfrom
VanhGer:fix/circuit-count

fix: validate BABE cut-and-choose inputs

c3952f2
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings and 1 notice
TLA+ Formal Verification
succeeded Oct 27, 2026 in 24s