feat: implement bitvm3 #420

Closed

eigmax wants to merge 14 commits into

devfrom

Commits on Jun 18, 2026

BitvmGC V2 (#403)

authored

Commits on Jun 22, 2026

Commits on Jun 23, 2026

remove wrapper proofs (#406)
blake-pro
authored

Commits on Jun 24, 2026

bind graph watchtower public keys at runtime in operator proofs (#408)
blake-pro
authored

Commits on Jun 25, 2026

fix some problem (#407)

KSlashh
and
ethan
authored

Commits on Jun 28, 2026

Update operator assert logic (#409)

KSlashh
and
ethan
authored

Commits on Jul 1, 2026

Commits on Jul 2, 2026

Fix/gc v2 debug (#412)
blake-pro
authored

Commits on Jul 3, 2026

adapt to lastest change of bitvm-gc (#413)
VanhGer
authored

Commits on Jul 9, 2026

Dev fix (#414)

KSlashh
and
ethan
authored

Commits on Jul 11, 2026

Fix: handle empty watchtower challenge txids (#415)
blake-pro
authored

Commits on Jul 22, 2026

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

authored