chain bitcoin · signetblock #196452state fixturepeers 5 (simulated)
--:--:-- UTC
Axion · Dispute Terminal
← Axion MainOpen Terminal
← All disputes
Dispute

d-f1a8b3c7e9d04621

Created 2026-05-26 08:42:11 UTC
mode · fraudphase · Bisectionoutcome · Pending
Dispute lifecycle
d-f1a8b3c7e9d04621
✓
Commitment
✓
Challenge
3
Bisection
4
Final Step
5
Bitcoin Settlement
transition_root anchored · trace length 8
challenger opened dispute
1 round · log₂(8) max
single-step verification
awaiting on-chain resolution
trace_id tr-f1a8b3c7e9d04621commit 8a3b4c…f708trace_len 8max_rounds 3settlement taproot · 3-leafsig_scheme BIP-340chain signet
Replay dispute
Step through the lifecycle as it unfolded
step 1 of 4 · Commit
transition_root 8a3b4c5d…e6f708 anchored · trace_len=8
Bisection rounds
Round 1 of ~3
log₂(8) = 3
s_0
✓
s_1
?
s_2
?
s_3
?
s_4
?
s_5
?
s_6
?
s_7
?
s_8
✓
RoundIntervalMidOperator claimSignatureBranch
R1[0, 8]45b97ccf8…02957f026a845c…1a8dd1← agree right
Fixture intentionally pre-settlement

This fixture intentionally stops before settlement broadcast. Connect the live coordinator to advance the dispute into real Signet transaction flow.

Open resolved fixture scenario →
Bitcoin settlement pending
Block #196452 · awaiting tx
settlement transaction will spend the bond via the appropriate taproot script path once the defense window expires
Settlement progressionfixture · 6 states
Pending
Broadcasted
Seen in mempool
1 confirmation
3 confirmations
Finalized
mempool + confirmation events are simulated · live mode binds to coordinator chain feed
Settlement chain
Dispute lifecycle anchored to Bitcoin
signet
✓
Commitment
transition_root 8a3b4c5d…e6f708
✓
Challenge
challenger opened dispute
Bisection
1 of 3 rounds · log₂(8)
Settlement
awaiting taproot spend
₿
Bitcoin block · #196452
awaiting settlement transaction
pending
block height · fixture
Bitcoin transactions
Signet · fixture data — txids shown are not on-chain
mock mode
Commitment / bond
2e8f0a1b…44556677fixture
fixture
Defense
pending broadcast
pending
Slash
pending broadcast
pending
Verification
Cryptographic inspectability for every dispute artifact
deterministic · fixture
commitment_root
8a3b4c5d…e6f708
trace_length
8 steps
max_rounds
3 (log₂)
disputed_transition
—
signed midpoint claims · BIP-340 schnorr1 of 1 verified
R1
claim 5b97ccf8…02957f
sig 026a845c…1a8dd1
✓ verified
settlement: taproot · 3-leaf (timeout · defense · slash)internal key: NUMSseed: 0x42…42
Operator
79be667ef9dcbbac55a06295ce870b07029bfcdb2dce28d959f2815b16f81798

Publishes the state commitment. Must defend the disputed step by revealing a valid preimage during the defense window.

Challenger
c6047f9441ed7d6d3045406e95c07cd85c778e4b8cef3ca7abac09b95c709ee5

Independently recomputes the trace and disputes the operator's claim. Sweeps the bond via the slash leaf if defense fails.

Disclaimer

This terminal demonstrates Axion's Bitcoin-anchored dispute lifecycle on Signet. Some contract timing is simplified for MVP purposes: the dispute contract is currently parameterized after bisection converges. Production BitVM-style enforcement will require pre-signed transaction trees and connector outputs to lock the bond at commitment time and carry the dispute through to settlement without operator coordination.