chain bitcoin · signetblock #196452state syncedpeers 5
--:--:-- UTC
Axion · Dispute Terminal
← Axion MainView Live
← All disputes
Dispute

d-7c2e9f4b1a3d5e80

Created 2026-06-07 17:32:38 UTC
mode · fraudphase · Resolvedoutcome · Slashed
Dispute lifecycle
d-7c2e9f4b1a3d5e80
✓
Commitment
✓
Challenge
✓
Bisection
✓
Final Step
✕
Bitcoin Settlement
transition_root anchored · trace length 8
challenger opened dispute
3 rounds · log₂(8) max
disputed step s_1 → s_2
slash leaf · pending broadcast
trace_id tr-7c2e9f4b1a3d5e80commit 6a5d95…7de5trace_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 6a5d9590…0c7de5 anchored · trace_len=8
Bisection rounds
Converged on step 1 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 1 → 2
s_1 (agreed) 425ed4e4a36b…039c6e55384c
s_2 (operator claim) ddae1cc6a3b1…7518be2780b7
Operator must reveal preimage p with SHA256(p) = claimed s_2. If no such preimage exists, the Taproot defense leaf is unsatisfiable and the slash leaf wins after the defense window.
RoundIntervalMidOperator claimSignatureBranch
R1[0, 4]41f1167d5…ada4d6071e9e1e…1a48b8← fault left
R2[0, 2]2ddae1cc6…2780b7c5fad8ad…97d498← fault left
R3[1, 2]1425ed4e4…55384cf0a55846…f3f2e4← agree right
Settlement pending broadcast
Outcome · slash
protocol concluded · bond owed to challenger via slash leaf · broadcast disabled · no bond/defense/slash tx broadcast yet
Settlement progressionbroadcast disabled
Pending
Broadcasted
Seen in mempool
1 confirmation
3 confirmations
Finalized
bond / defense / slash broadcasts are disabled · enable SETTLEMENT_ENABLED on the coordinator to surface real Signet txids
Settlement chain
Dispute lifecycle anchored to Bitcoin
signet
✓
Commitment
transition_root 6a5d9590…0c7de5
✓
Challenge
challenger opened dispute
✓
Bisection
3 of 3 rounds · log₂(8)
✕
Settlement
slash tx —
₿
Bitcoin block · #196452
5 confirmations · anchored at #196447
confirmed
Bitcoin transactions
Signet · click any txid to inspect on mempool.space
Commitment / bond
pending broadcast
pending
Defense
pending broadcast
pending
Slash
pending broadcast
pending
Verification
Cryptographic inspectability for every dispute artifact
deterministic · live
commitment_root
6a5d9590…0c7de5
trace_length
8 steps
max_rounds
3 (log₂)
disputed_transition
s_1 → s_2
signed midpoint claims · BIP-340 schnorr3 of 3 verified
R1
claim 1f1167d5…ada4d6
sig 071e9e1e…1a48b8
✓ verified
R2
claim ddae1cc6…2780b7
sig c5fad8ad…97d498
✓ verified
R3
claim 425ed4e4…55384c
sig f0a55846…f3f2e4
✓ verified
settlement: taproot · 3-leaf (timeout · defense · slash)internal key: NUMSseed: 0x42…42
Protocol event history
Persisted coordinator transitions for this dispute, newest first.
loading…
Loading event history…
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.