Choose one checkpoint
Stop the historical replay at one exact KRC-20 DAA score.
Loading checkpoint…One-time migration · not a live bridge
Freeze one agreed holder list, seal its fingerprint into a covenant, then let every included wallet receive its exact KCC-20 balance one time.
TN10 run used one synthetic holder · KCC-20 is a draft standard
Think of it as a sealed coupon book. Someone writes down exactly who holds how much of an old token at one agreed moment, and that list is sealed into the new token's identity on the day it is born. After that, nobody can edit the list, not even the people who made it: no balance can be changed, no payout redirected, and every line in the book can be redeemed exactly once. The rules are enforced by Kaspa itself, the same way it stops a coin being spent twice.
The one-time snapshot model
Independent parties agree on one historical KRC-20 state, its Merkle root is fixed at covenant genesis, and the covenant then enforces the committed claims without a permanent bridge operator.
Stop the historical replay at one exact KRC-20 DAA score.
Loading checkpoint…Independent indexers must reproduce the same owners, amounts, and MuHash.
Supplied · not verifiedThe holder set becomes a Merkle root committed into the launch identity.
Waiting for local setup…A holder supplies a Merkle branch; success retires that entitlement.
0 / 0 claimed locallyThe exact amount is released from the covenant-controlled KCC-20 reserve.
Reserve split · no recurring mintPeople and indexers must get the starting list right. Once that list is sealed, code rather than a committee prevents changing balances, redirecting payouts, or claiming the same entry twice.
Independent KRC indexers must replay the same checkpoint and reproduce the complete balance set, MuHash, manifest, and root.
Not verified by this lab
No. The exact owner and amount must match the current root. A successful full claim replaces that leaf and advances the root.
Enforced by the local engine
It still exists and remains transferable. This is an optional claimable fork, not a burn, lock, or mechanism that invalidates KRC-20.
Economic value is social consensus
Holder walkthrough
Pick a sample wallet. The local engine will prove its leaf, force the exact committed payout, retire the entitlement, and advance the root. Nothing leaves this computer.
In production a wallet would discover its own entry and fetch a fresh Merkle proof. Never enter a seed phrase here.
Loading a claimable entry from the local engine…
—
—
All supplied entries
These balances were accepted as input, not independently checked against KRC history. Each successful local claim retires one leaf.
Engine evidence
Each receipt records a locally accepted fixture transition. The separate real TN10 run used a synthetic one-holder snapshot; its public transaction IDs appear below.
Evidence ladder
A passing local script is one layer of evidence, not proof of an entire migration.
| Question | Required evidence | Status here |
|---|---|---|
| Is the historical KRC holder set correct? | Independent indexers reproduce the checkpoint, MuHash, and full list. | Not verified |
| Are the root and manifest deterministic? | Canonicalization and hash reproduction. | Proven locally |
| Are exact one-time claims enforced? | Real TxScriptEngine execution plus replay and tamper tests. | Proven locally |
| Can Kascov audit the KCC side? | Acceptance-order indexing, covenant-ID and reveal verification, then exact-program state replay. | Observer ready · pin needed |
| Would these transactions enter TN10? | Wallet funding, RPC submission, mempool admission, confirmation, and a claimant-authorized downstream spend. | Not tested |
| Is the token final KCC-compatible? | Final KCC-1 ABI plus wallet, indexer, and marketplace interoperability. | Draft only |
| Did economic value leave KRC-20? | Community, marketplace, and exchange consensus. |
Proven by this local run
Still outside this run