Mechanisms · category

On-chip & hardware-enabled

Mechanisms built into accelerators or their firmware: trusted execution, attestation, hardware-enabled governance, on-chip telemetry and limits.

NameTypeReadinessVerifiesThreat model
Attestable Audits
A research prototype that runs AI safety benchmarks inside a trusted execution environment and publishes attestations binding the model, the audit and the results.
ImplementationR2DemonstratedThe declared model is the one being servedSemi-trusted prover
Confidential multi-party verification
Lets mutually distrusting parties run an agreed check over private models or records inside attested enclaves or zero-knowledge proofs, revealing only the result.
MechanismR2DemonstratedThe declared model is the one being servedSemi-trusted prover
Model identity attestation
Establishes that responses come from a specific, committed set of model weights, using enclave measurements or recomputation of sampled outputs.
MechanismR2DemonstratedThe declared model is the one being servedSemi-trusted prover
On-chip telemetry from timing, memory and performance counters
Uses timing, memory-residency and performance-counter signals measured on AI accelerators as evidence about which workloads they are running.
MechanismR2DemonstratedThis compute runs inference, not training; Declared hardware is idle or shut downSemi-trusted prover
Safeguard attestation
Hardware-signed evidence that an AI service ran its declared safeguards, such as a guardrail classifier or monitor, when producing a given response.
MechanismR2DemonstratedDeclared safeguards were applied during inferenceSemi-trusted prover
TEE remote attestation for AI workloads
Trusted execution environments (TEEs) in CPUs and GPUs sign reports of loaded software, so a remote party can check which code ran an AI workload.
MechanismR2DemonstratedThe declared model is the one being servedSemi-trusted prover
Tinfoil model identity (Modelwrap)
Tinfoil's method for proving which model weights its enclave-hosted inference service runs, by binding a dm-verity hash of the weights into remote attestation.
ImplementationR2DemonstratedThe declared model is the one being servedSemi-trusted prover
Workload classification from telemetry and side channels
Telling whether chips are training, serving or doing non-AI work from GPU counters or power draw, signals that do not read weights or data.
MechanismR2DemonstratedThis compute runs inference, not trainingAdversarial 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.
MechanismR1ProposedChips are where they are declared to beAdversarial 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
Hardware-enabled guarantees (flexHEG) and guarantee processors
Proposed chip add-ons, a guarantee processor inside a tamper-protected enclosure, that would check and enforce agreed rules on how AI accelerators are used.
MechanismR1ProposedA training run stayed within declared limitsAdversarial 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.
ImplementationR1ProposedChips are where they are declared to beSemi-trusted prover

Includes records that list this as a secondary category.