Skip to content

Fix/flounder audit circuit - #416

Merged
eigmax merged 11 commits into
GOATNetwork:gc-v2from
blake-pro:fix/flounder-audit-circuit
Jul 31, 2026
Merged

Fix/flounder audit circuit#416
eigmax merged 11 commits into
GOATNetwork:gc-v2from
blake-pro:fix/flounder-audit-circuit

feat: add upgrade checkpoint hash to state/header chain and implement…

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

Annotations

1 warning
TLA+ Formal Verification
succeeded Jul 30, 2026 in 25s