Loading checker…
Clarity before a commitment

See what’s proposed.
Compare what you intended.

Inspect a disclosed proposal against your own output policy.
Real local checks. No signing. No transaction sent.

NU7 · V6 · Ironwood onlyPre-release scope

01Load a proposal

A local PCZT file, up to 256 KiB and 8 actions.

STAYS IN THIS TAB
No proposal loaded256 KiB maximum

Load an example and review its intended policy below. Then choose Inspect locally to run the actual WASM checker. Loading alone is not an inspection.

Matching terms

Unchanged disclosures and matching intended terms. Inspect to see consistent supplied checks, not proof of transaction validity.

Synthetic · unsigned partial

Altered amount

Output changed from 100,000 to 100,001 zat. Inspect to see the value difference and failed commitment checks.

Synthetic · unsigned partial

Missing disclosure

Spend FVK omitted. Inspect to see matching output terms, but unavailable nullifier and randomized-key checks.

Synthetic · unsigned partial

Examples load public synthetic unsigned partials and intended policy. No real funds or chain-valid transaction.

Review policy & inspect locally

02Set your intended policy

Enter what you expect, not what the proposal tells you.

An exact decimal string.
Balances are conditional on valid inputs.

Include every action output in order, even zero-value or dummy outputs. Nothing is inferred to be change.

Metadata claims & static expiry bounds Not network verification

Coin type is an unauthenticated claim. Branch and raw receiver do not establish a network. Expiry bounds do not establish current freshness.

Advanced policy JSON Same strict schema

Form changes update JSON. Valid JSON updates the form. Invalid JSON must be fixed before inspection. Maximum 16,384 characters.

Compare output terms.
Inspect evidence separately, never infer approval.

03Inspect the results

Output terms and evidence are two different questions.

Not inspected

Your comparison starts here

Load a proposal, set the intended policy, then inspect. No result is assumed from a file name or example label.