Skip to content

Fix/flounder audit circuit#416

Open
blake-pro wants to merge 10 commits into
GOATNetwork:gc-v2from
blake-pro:fix/flounder-audit-circuit
Open

Fix/flounder audit circuit#416
blake-pro wants to merge 10 commits into
GOATNetwork:gc-v2from
blake-pro:fix/flounder-audit-circuit

refactor: remove legacy proof handling and improve public value deser…

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

Annotations

1 warning
TLA+ Formal Verification
succeeded Jul 26, 2026 in 21s