Loss bound certificate 0x00B513…596c82

A bound you can recompute.

Recorded

Read this first

What this bound excludes

  • X-OWNER-KEYOwner key compromise (T4): loss equals the vault balance.
  • X-PAYEE-KEYPayee key compromise receiving authorized funds (T5).
  • X-TOKEN-ISSUERIssuer actions on the token: blocklisting, freezing, upgrade or depeg.
  • X-CHAINChain halt or deep reorganization.
  • X-RPCA dishonest RPC endpoint on the verifier's side.
  • X-CONTRACT-BUGSContract bugs outside the modelled semantics.
  • X-WORK-QUALITYQuality or delivery of the work: the certificate bounds who, how much and how fast, not whether the work was good.
  • X-AVAILABILITYAvailability: with a stolen kernel signer the 64-slot release ring can be filled with dust to block legitimate payments for up to 24 h. This is not a fund-loss path.
  • X-OTHER-TOKENSTokens other than the configured settlement token.

Not computedThe certificate could not be read or recomputed, so no bound is stated.

Unverified
Loss bound at each horizon, and the term that binds it
HorizonBoundBinding term
BALANCE

Assumptions

    Validation

    Not validated for this deployment.

    A validation block is shown only when a results file matches this code and this build.

    Verify it yourself

    Run this against your own RPC. You never need to trust our server, our signature or this page.

    pnpm lbc verify 0x00B513896E67C73fC407780cF8568fdc81596c82 --rpc <your-own-rpc-url> --artifact <foundry-artifact.json>
    • 0ValidRecomputed and equal.
    • 10StaleThe configuration changed since the certificate was computed.
    • 30MismatchThe recomputation differs from the document.