Mechanisms · category

Compute accounting & provenance

Establishing what compute exists, where it is and what it can do: chip registries, manufacturing records, location verification, capacity bounds.

NameTypeReadinessVerifiesThreat model
Timed challenge-response and memory-occupation challenges
A verifier sends unpredictable questions that a device can answer in time only if it holds specified data, or dedicates specified resources, locally.
MechanismR2DemonstratedAdversarial prover
Chip location verification
Timing a chip's signed replies to trusted servers at known places, so that the speed of light bounds how far away the chip can be.
MechanismR1ProposedAdversarial prover
Chip registries and manufacturing records
Recording each AI chip's identity and owner from the fab onwards, and cryptographically fixing manufacturing records, so that chips can be accounted for later.
MechanismR1ProposedSemi-trusted prover
Hardware performance throttling and licensing
On-chip mechanisms that cut an AI accelerator's performance when a license expires or a trusted trigger fires, bounding what the hardware can do.
MechanismR1ProposedAdversarial prover
Lucid sovereignty (location) certificates
A draft specification, hosted by Lucid Computing, for short-lived certificates that bound where a workload runs by timing signed exchanges with fixed anchors.
ImplementationR1ProposedSemi-trusted prover

Includes records that list this as a secondary category. Claims in grey italics are supported rather than aimed at.

Search

Full search page