sigil

Double-click anywhere. I know everything about Sigil.

or I can help you find anything

Ask about Sigil — or anything in the ecosystem

Enter to askEsc to close
spec::compute · job state machine · T1/T2/T3 verification

Compute Marketplace Spec.

Compute jobs flow through a provider-bound state machine: Escrowed → Dispatched → Assigned → Receipt → Verified → Settled (or → Challenged). Dispatch is a system-contract host call; settlement and challenge outcomes use canonical Compute transactions. T1 / T2 / activation-gated T3 verification tiers gate settlement.

Compute overviewTEE spec →
sigil · liverunning
COMPUTE JOB STATE MACHINEidledispatch_computeprovider selectedComputeReceiptSettleverifier passComputeChallengerelease MINTEscrowedDispatchedAssignedReceiptVerifiedSettledChallengedtyped transactions · deterministic verifier · receipts on every transition

Typed transitions. Deterministic outcomes.

The verifier is on chain · the workload runs off chain · settlement settles deterministically either way.

ComputeTEE spec →