Demo · 2026
Verifying Compute Location
A project exploring location verification for compute governance using latency-based measurement techniques. Developed at the CAISH Hardware Assurance Programme, August 2026.
Purpose
The framework treats location verification as evidence evaluation; the demo makes those dynamics tangible -- how signed receipts move belief, and what anchor geometry, trust, and an evasive attester each contribute.
Approach
An interactive map-based sandbox for the evidence evaluation stage, with guided presets covering baseline convergence, anchor geometry, anchor trust, the delay allowance, and an evasive attester.
Status
Built August 2026 at the CAISH Hardware Assurance Programme.
An interactive visualization of the evidence evaluation stage of the location verification framework: signed latency receipts from anchor machines become a posterior belief map over where a machine is.
Developed at the CAISH Hardware Assurance Programme, August 2026, alongside the talk of the same name.
Connections
Related Notes
Credible Location-Contingent Commitments
ForthcomingThis research note will define the term this page is built on -- what makes a location-contingent commitment credible, and what it takes to construct one.
Location-Contingent Cryptographic Authorization Certificate Issuance for FlexHEG Devices
ForthcomingTying the authorization certificate a FlexHEG device requires to verified location, so an issuer can grant or withhold it according to where the hardware is.
Verifiable Geofencing for Lethal Autonomous Weapons Systems
ForthcomingAttenuating a system's capabilities as a function of verified location evidence.