Use for behavior available on Kaspa mainnet now: Proof of Work, UTXO ownership, GHOSTDAG ordering, Crescendo-era 10 BPS, wallets, nodes, and explorers.
Claims reference
Claims need a status label.
This page is the browser-friendly companion to CLAIMS.yml. Use it when a crawler, reader, or AI tool needs the claim categories without opening a raw YAML file.
Last checked: May 15, 2026. This page summarizes the claims file; the raw file remains the machine-readable source.
How to use it
Start with the claim, then ask what evidence it has.
Use for KRC20/KRC721-style tooling around Kaspa data. The tooling can be useful; it is not native L1 smart-contract activation.
Use for TN12 covenant proof work, accepted testnet transactions, rejected mutation cases, and developer-flow evidence. It does not prove mainnet activation.
Use for Toccata and related near-term work until release, activation parameters, upgraded node behavior, and observable mainnet behavior exist.
Use for vProgs, full cross-app composition, native DeFi, and richer app architecture that still needs shipped software and users.
Use for DAGKnight, 100 BPS research, partition-resilient payments, RTD-derived oracle/attestation flows, TangVM, and coordination-market systems.
Copy rules
Do not let a clean sentence overstate the claim.
| Topic | Safe wording | Avoid |
|---|---|---|
| Finality | Fast mined inclusion and probabilistic confirmation confidence. | Instant finality or immediate irreversibility. |
| KRC | Ecosystem token/NFT-style tooling around data written to Kaspa. | KRC proves native smart contracts are live. |
| TN12 | Useful testnet evidence for covenant developer flows and opcode testing. | TN12 txids or rejections prove mainnet covenant enforcement. |
| Toccata | Targeted hard-fork track until activation evidence changes the status. | Toccata is live on mainnet. |
| vProgs | Later app architecture for apps that prove richer logic while sharing Kaspa ordering. | vProgs are a mature live app ecosystem. |
| DAGKnight | Research and future consensus direction. | DAGKnight is current mainnet behavior. |
| ZK hooks | ZK can prove computation over chosen inputs; external facts still need anchors. | A proof alone proves prices, other chains, reserves, or real-world events. |
Editor rule
One sentence test catches most mistakes.
If a sentence adds no actor, action, evidence, status label, constraint, consequence, distinction, or useful judgment, delete it.
Use the copy style file for the full writing rule set and AI Guidance when asking a model to summarize Kaspa.