GridKernel
gk --version · robinhood chain · 4663

rent idle power.
run workloads.
earn from verified compute.

GridKernel is a market for GPU time, open to anyone with a card and anyone with a job. An operator lists a kernel: what the hardware is, how many of them, a price per GPU-second, an endpoint, and a bond. A renter escrows a term and sends work. Nothing on the board was approved by anyone.

The chain does not verify the compute. It cannot, and a market that says it does is hiding a committee. What the chain verifies is the receipt: a message the renter signs as the work arrives, saying how many seconds it has received. The operator redeems it and is paid exactly that. Whatever was never receipted goes back.

That is what verified means here. Not a proof that a job ran, but a signed acknowledgement from the one party who can tell, bounded so that neither side can lose more than one receipt's worth by refusing to cooperate. The bond covers the one case a receipt cannot: an operator who accepts, and vanishes.

rent a kernellist yoursman gridkernel
gk board
gpus online
0
kernels listed
0
leases running
0
gpu-hours served
0
paid to operators
$0
bonded
$0
kernelsregistry · 0 on the book
idclassgpus$/gpu·hservedclosed/abndearnedstate
no kernels on the book yet — `gk provide` lists the first one
leasesmarket · newest first
leasekernelshapetermservedescrowpaidstate
no lease has been opened yet
closed/abandoned: leases the operator ended cleanly / leases it walked away fromserved: GPU-seconds the renter signed forread 16:54:47Z, refreshes every 15 s
gk receipt --explain
receiptlease #0212 · 8×H100-80G · term 1h · $2.498/gpu·h
0served = 2140 s (35m 40s of 1h 00m)3600
escrow at open$19.99
→ operator, on redeem · gross less 1 %$11.76
→ market fee · 1 % of the receipt$0.12
→ renter, at close · never receipted, never leaves$8.11
what the renter signs (EIP-712)
{
  domain: { name: "GridKernel", version: "1",
            chainId: 4663, verifyingContract: market },
  primaryType: "Receipt",
  message: {
    leaseId: 212,
    served:  2140
  }
}
digest the contract recovers the renter from
0x7a80459669596221a26a2518781d45ad4e7a6423ecbd8f3d3b61ce5ba86e4e7a
no gas, nothing sent — a receipt is a message until the operator redeems it
gk faults
what each side can lose by refusing to cooperate
renter stops signing
nothing

The operator stops at the first late receipt, redeems the last one, and closes. Unpaid exposure is one receipt interval of work, and the operator picks the interval.

operator stops serving
time, not money

The renter never signed for what it did not receive. At close, or at term plus six hours by anyone, the unreceipted balance refunds in full.

operator accepts and vanishes
20 % of its bond

A lease accepted, run out with nothing served and no close, pays a fifth of the bond to the renter and delists the kernel until it is topped up. Closing is free and always allowed: being present costs nothing.

What this does not do: catch a wrong answer a renter is willing to sign for. The ledger, seconds served and leases closed against leases abandoned under one operator, is what a renter reads before trusting a kernel. An operator can inflate it from a second address at the price of the fee. That is a cost, not a cure.
gk constants
MIN_BOND        50 USDG      flat; a kernel under it is delisted until topped up
UNBOND_DELAY    7 days       bond waits, with no lease running, before it leaves
SLASH_BPS       2000         share of the bond an abandoned lease costs
FEE_BPS         100          of every receipt redeemed, to the treasury
ACCEPT_WINDOW   1 hour       the operator's time to accept an open lease
GRACE           6 hours      after term, before anyone may settle over the operator
MIN_TERM        60 s
MAX_TERM        30 days
settlement      USDG         the chain's dollar; there is no other
None of these has a setter. A market that can change its bond after the fact is not a market, it is a counterparty.