Post · 2025
Towards Harder Location Proofs
This forum post asks what it takes for location proofs to hold up when the prover is motivated to deceive, and where current techniques fall short.
Purpose
Location proofs that satisfy an honest user are easy; the hard question is what survives a prover with reasons to lie.
Approach
A forum post examining where current proof-of-location techniques fall short under adversarial conditions, and which levers raise the cost of forgery.
Status
Published October 2025 on the Flashbots Collective forum; informed the framework above.
Connections
Related Notes
Astral SDK
ActiveThe Astral SDK is a TypeScript library for creating and verifying location attestations -- signed records that bind location data to a signer and a time, off-chain or on-chain via the Ethereum Attestation Service.
Notes on Location Proofs
ActiveA survey of proof-of-location systems -- technical implementations, privacy implications, and potential applications -- published as a note on this site.
zkMaps
HistoricalzkMaps proves that a user is inside a region without revealing their exact coordinates, using circom circuits and on-chain verifier contracts.