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

d-9d8c7b6a5e4f3210

Created 2026-05-24 14:22:08 UTC
mode · fraudphase · Resolvedoutcome · Slashed
Dispute lifecycle
d-9d8c7b6a5e4f3210
✓
Commitment
✓
Challenge
✓
Bisection
✓
Final Step
✕
Bitcoin Settlement
transition_root anchored · trace length 8
challenger opened dispute
3 rounds · log₂(8) max
disputed step s_6 → s_7
bond slashed on Signet
trace_id tr-9d8c7b6a5e4f3210commit 0a1b2c…e8f9trace_len 8max_rounds 3settlement taproot · 3-leafsig_scheme BIP-340chain signet
Replay dispute
Step through the lifecycle as it unfolded
step 1 of 8 · Commit
transition_root 0a1b2c3d…d7e8f9 anchored · trace_len=8
Bisection rounds
Converged on step 6 after 3 rounds
log₂(8) = 3
s_0
✓
s_1
✓
s_2
✓
s_3
✓
s_4
✓
s_5
✓
s_6
◆
s_7
◆
s_8
✓
Fraud localizedstep 6 → 7
s_6 (agreed) d0e1f203a4b5…0a1b2c3d4e5f
s_7 (operator claim) e1f203a4b5c6…1b2c3d4e5f60
Operator must reveal preimage p with SHA256(p) = claimed s_7. If no such preimage exists, the Taproot defense leaf is unsatisfiable and the slash leaf wins after the defense window.
RoundIntervalMidOperator claimSignatureBranch
R1[0, 8]45b97ccf8…02957fd1d1d1d1…d1d1d1← agree right
R2[4, 8]6d0e1f203…3d4e5fd2d2d2d2…d2d2d2← agree right
R3[6, 8]7e1f203a4…4e5f60d3d3d3d3…d3d3d3← fault left
Bitcoin settlement confirmed
Block #196452
5 confirmations · taproot settlement via slash leaf · anchored at #196447 · tx fedcba98…543210
✓trace verified
outcome · slash
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 0a1b2c3d…d7e8f9
✓
Challenge
challenger opened dispute
✓
Bisection
3 of 3 rounds · log₂(8)
✕
Settlement
slash tx fedcba98…543210
₿
Bitcoin block · #196452
5 confirmations · anchored at #196447
confirmed
block height · fixture
Bitcoin transactions
Signet · fixture data — txids shown are not on-chain
mock mode
Commitment / bond
1f2e3d4c…fedcba98fixture
fixture
Defense
pending broadcast
pending
Slash
fedcba98…76543210fixture
fixture
Verification
Cryptographic inspectability for every dispute artifact
deterministic · fixture
commitment_root
0a1b2c3d…d7e8f9
trace_length
8 steps
max_rounds
3 (log₂)
disputed_transition
s_6 → s_7
signed midpoint claims · BIP-340 schnorr3 of 3 verified
R1
claim 5b97ccf8…02957f
sig d1d1d1d1…d1d1d1
✓ verified
R2
claim d0e1f203…3d4e5f
sig d2d2d2d2…d2d2d2
✓ verified
R3
claim e1f203a4…4e5f60
sig d3d3d3d3…d3d3d3
✓ 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.