Skip to content

feat: implement bitvm3 #420

Closed
eigmax wants to merge 14 commits into
devfrom
gc-v2
Closed

feat: implement bitvm3 #420
eigmax wants to merge 14 commits into
devfrom
gc-v2

audit: use tla+ to formally verify transaction graphs (#417)

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

Annotations

1 warning
TLA+ Formal Verification
succeeded Jul 23, 2026 in 19s