Topics · Protocol concept

dePoD, GAS, and ZKAI

The protocol can distinguish accountable receipt and evidence operations from passive presence or idle participation.

Problem

What breaks today

A fake compute market can count activity that is not tied to accountable work.

Mechanism

How ZK-SNAP responds

Demand must be context-bound machine activity. GAS meters protocol operations, and ZKAI is the settlement asset.

Verifiable outcome

What a verifier can check

The protocol can distinguish accountable receipt and evidence operations from passive presence or idle participation.

Related profiles and labels

Context-bound productionMetered operationsUsage-based settlement

Go deeper

Try the workflow, then read the spec.

Use Cases tells the story with cards. Proof Lab runs create and verify locally. Protocol holds the normative reference.