Prototype · 2022
zkMaps
zkMaps proves that a user is inside a region without revealing their exact coordinates, using circom circuits and on-chain verifier contracts.
Purpose
Location is sensitive; proving you are inside a region should not require revealing where you are. We wanted the question explored without claiming zero-knowledge expertise ourselves.
Approach
A prototype of zero-knowledge point-in-polygon proofs -- circom circuits with on-chain verifier contracts -- developed by collaborators with Astral's support.
Status
Archived prototype, 2022.
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.
Towards Harder Location Proofs
ActiveThis 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.