Verification and proof
Every settlement is re-read from the chain by an independent verifier. Here is every check it runs.
Independent by design
The verifier never reads Sama's database or the executor's records. It takes only the transaction hash, the contract, the approved plan and the tokens to watch, then reads everything else from the chain, through an RPC provider that differs from the one that executed the round. Its report is stored with the round and shown on your receipt.
Independent verifier
17/17 passed
- Receipt status is success
- Called the settlement contract
- Chain is BNB Smart Chain
- Calldata matches the approved plan
- PlanSettled event emitted
- One event per transfer
- Only planned transfers happened
- Approval used on-chain
- Plan marked settled on-chain
- Approval nonces consumed
- Every participant approved
- Balances moved exactly
- Contract holds nothing
- Settled within the valid window
- Prices match the round snapshot
- Prices cross-checked on-chain
- Read through an independent provider
Every check
| Check | What it confirms |
|---|---|
tx.status | The receipt status is success |
tx.to | The transaction called the settlement contract |
chain.id | It ran on BNB Smart Chain |
calldata.plan | The calldata decodes to settle() with the approved plan hash |
event.PlanSettled | The contract emitted PlanSettled for this plan |
event.CrossingLeg | One CrossingLeg event per planned transfer |
event.Transfer | No ERC-20 transfer happened outside the plan |
event.NonceConsumed | Each participant's approval was used on-chain |
state.planSettled | The contract marks the plan as settled |
state.nonceUsed | Every approval nonce is consumed |
participants.set | Approvals consumed equal the plan's participants |
balances.netDelta | Each balance moved exactly by the plan's net amount, block before vs receipt block |
balances.noCustody | The contract holds none of the watched tokens |
plan.window | It settled inside the plan's validity window |
plan.snapshotHash | The plan's prices are the round's snapshot |
prices.independent | Every stock price was cross-checked on-chain |
providers.independent | Verification used a different RPC provider than execution |
Public proof
The Proof page lists the settlement contract, its deploy transaction and source verification on BscScan, and every settled round with its checks. Participants are never named.
bash
# Read the same data the Proof page shows
curl https://<api-host>/api/proof