▲ Dispute Terminal · Demo network · Mock mode

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.

Open Dispute Records →Browse Demo Gallery Protocol Status

Settlement layer

Bitcoin · Signet

Dispute mechanism

Bisection · 3-round

Script type

Taproot · 3-leaf

Commitments

Schnorr · BIP-340

Protocol 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 AnchoringFIXTURE

OP_RETURN · Signet (simulated)

Dispute EngineMOCK

bisection · 3-round (replayed)

CoordinatorFIXTURE

REST + WebSocket (offline)

Signet SettlementDEMO

Taproot · NUMS (parameterized)

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

fixture · cycle 2.5s

[--:--:--]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

simulated · 5 nodes

Operator node79be667e…f81798

14ms7d 14hfixture

Challenger nodec6047f94…709ee5

22ms7d 14hfixture

CoordinatorREST · 5 endpoints · ws

4ms7d 14hfixture

Bitcoin RPCbitcoind · signet · local

8ms14d 02hfixture

Signet synctip: block 196452

100%tipfixture

What this proves

Five claims, all verifiable.

Every claim below is testable against the fixture data shown in this terminal. Switch to live coordinator mode to verify against on-chain 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 · fixture

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

2d agoRESOLVEDd-ba1826a5ebb32a73 · outcome: slashOpen ↗

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

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

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

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

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

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

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

Get started

Inspect canonical dispute scenarios.

Fixture data sourced from real protocol outputs. Every disputed step converged in exactly log₂(n) rounds. Switch to live mode with NEXT_PUBLIC_USE_MOCK_DISPUTES=false to see on-chain transactions.