Documentation

Verify it yourself

This isn't a slideshow. The contracts are live on Casper testnet; every claim is backed by a confirmed on-chain transaction.

Click through — each lands on the real, confirmed deploy on testnet.cspr.live:

A sanctioned sender's transfer REVERTS

The kicker — the recipient-aware CEP-78 filter blocks it on-chain (filter error 159).

A transfer to an ineligible recipient REVERTS

Recipient-aware: the destination must hold a live credential too.

A credential attested with a real ZK commitment

The regulator surface recomputes Poseidon(claims) and matches this exact on-chain value.

A fraudulent attestation is slashed — and 110 CSPR burned

resolve re-verifies the credential's own proof on-chain (Groth16 → false), revokes it for fraud, slashes the signers' bonds (500), pays the challenger, and burns the remainder to the treasury.

The live registry, NFT contract, and the regulated holder are all on testnet.cspr.live. Run the commitment match yourself in the Regulator surface — it verifies against a real holder.