Skip to content

feat: update bitvm-gc seed size. - #460

Merged
eigmax merged 1 commit into
GOATNetwork:devfrom
VanhGer:feat/new-seed-size
Sep 8, 2026
Merged

feat: update bitvm-gc seed size.#460
eigmax merged 1 commit into
GOATNetwork:devfrom
VanhGer:feat/new-seed-size

feat: update bitvm-gc seed size.

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

Annotations

2 warnings
TLA+ Formal Verification
succeeded Sep 8, 2026 in 24s