▲ Dispute Terminal · Signet · Live

Bitcoin-enforced dispute resolution
for Axion commitments.

A BitVM-inspired challenge layer over Axion's Merkle anchoring infrastructure. Fraud is localized through interactive bisection; settlement happens on Bitcoin via Taproot script paths. Every dispute artifact is verifiable on-chain.

View Live Disputes →Browse Gallery Protocol Status

Settlement layer

Bitcoin · Signet

Dispute mechanism

Bisection · 3-round

Script type

Taproot · 3-leaf

Commitments

Schnorr · BIP-340

Network status

Live infrastructure

Axion's dispute layer runs alongside the anchoring infrastructure. Both layers settle to Bitcoin Signet via OP_RETURN commitments and Taproot script paths.

Bitcoin AnchoringACTIVE

OP_RETURN · Signet

Dispute EngineLIVE

bisection · 3-round

CoordinatorONLINE

REST + WebSocket

Signet SettlementACTIVE

Taproot · NUMS

Operational state

Coordination layer at rest

A protocol stream and the network's logical nodes. In fixture mode the stream cycles deterministically; in live mode it tails the coordinator's WebSocket.

Protocol stream

connecting…

[--:--:--]COMMIT transition_root 6e177c4b…6a261b anchored · trace_len=8

[--:--:--]BOND output locked · 100_000 sats · taproot p2tr

[--:--:--]CHALLENGE challenger c6047f94…709ee5 opened dispute · d-ba1826a5…

[--:--:--]MIDPOINT round=1 lo=0 hi=8 mid=4 · operator claim 5b97ccf8…02957f

[--:--:--]SIG BIP-340 schnorr · 026a845c…1a8dd1 · ok

[--:--:--]BRANCH challenger selected right · agreement on [0,4]

Network state

live · 5 nodes

Operator node79be667e…f81798

14ms7d 14honline

Challenger nodec6047f94…709ee5

22ms7d 14honline

CoordinatorREST · 5 endpoints · ws

4ms7d 14honline

Bitcoin RPCbitcoind · signet · local

8ms14d 02honline

Signet synctip: block 196452

100%tiponline

What this proves

Five claims, all verifiable.

Every claim below is testable against the live coordinator state and on-chain settlement transactions.

Axion anchors commitments to Bitcoin via OP_RETURN under the AXN1 prefix.

Fraud in a committed trace is localized through interactive bisection in ⌈log₂ n⌉ rounds.

Every dispute artifact (commitment, midpoint claim, branch selection) is BIP-340 signed and reproducible from seed.

Settlement wiring is parameterized for Taproot script paths: timeout · defense · slash.

Transition to live coordinator mode requires only API connection and broadcast wiring — no UI changes.

Activity feed

Recent protocol events

Stream of dispute lifecycle events from the coordinator's event bus. Replayable, signed, reproducible from seed.

47d agoRESOLVEDd-ba1826a5ebb32a73 · outcome: slashOpen ↗

47d agoSLASH TXd-ba1826a5ebb32a73 · tx a91d4c7e…61f5bOpen ↗

47d agoDEFENSE FAILd-ba1826a5ebb32a73 · operator preimage does not hash to committed s_{i+1}Open ↗

47d agoBRANCHd-ba1826a5ebb32a73 · round 3 · branch leftOpen ↗

47d agoMIDPOINTd-ba1826a5ebb32a73 · round 3 · mid=5Open ↗

47d agoMIDPOINTd-7c2e9f4b1a3d5e80 · round 3 · mid=1Open ↗

47d agoCHALLENGEd-7c2e9f4b1a3d5e80 · fault at step 1 claimedOpen ↗

47d agoANCHOREDd-f1a8b3c7e9d04621 · tx 2e8f0a1b…44556677Open ↗

Get started

Inspect a real dispute resolution on Bitcoin.

Every disputed step in the gallery converged in exactly log₂(n) rounds. Every outcome is enforced by a Taproot script path. Every txid links to mempool.space.