Compute needs a market. Snarket makes that market private.
The first listings are LLM inference credits: bought onchain, redeemed through one API, and checked with a zero-knowledge proof.
From a listing to an answer.
- DiscoverBrowse models and what each costs per token.
- PurchasePay for a credit in USDG. You sign one message and need no gas.
- ProveYour browser proves a credit is yours and unspent, without saying which.
- RedeemThe proof funds an API key that was never tied to a wallet.
- InferCall an OpenAI-compatible endpoint from your app or agent.
What is private today, and what is not.
A privacy claim is only worth what the system behind it does. This is what Snarket does at launch. How privacy works
Private
- Which purchase funded a keyA zk-SNARK shows the credit is one of all those bought for that amount. Nothing in it points to yours.
- Who is callingA key has no account and no wallet. It is made in your browser, and only its hash is sent when you redeem.
- Your prompts, at the providerEvery listing runs inside a GPU enclave. Each response carries a signed receipt you can check.
Public or visible
- The purchase itselfPaying is an ordinary USDG transfer on Robinhood Chain. Your wallet, the amount and the time are onchain.
- When and from where you redeemTiming and your IP address are not hidden by the proof. Redeem later, and from a different network if it matters.
- Requests in transitSnarket's gateway forwards your request to the enclave. It stores token counts and charges, never prompts or answers.
Starting with LLM credits. Heading for a market in compute.
- Intelligence marketplaceNowModel discovery, USDG payments, redeemable credits, the gateway and the first credit-validity proof.
- Private commerceNextConfidential balances or private settlement where the chain supports it, and onboarding for more providers.
- Agentic economyLaterAgents that buy for themselves under spending policies, with providers competing on price and latency.
- Compute economyLaterGPU compute, specialized models, training capacity and other compute that can be verified.