zkLocus Private Geolocation Off & On-Chain
Features
Geolocation Authentication With Full Privacy
Prove your whereabouts within specific regions, within a specific time interval, without exposing your exact coordinates or timestamp with zkLocus.
Inherent Zero-Knowledge Security
zkLocus isn't just using zero-knowledge technology; it is zero-knowledge from the ground up. Every circuit is designed to ensure privacy and security are not just features, but fundamental attributes of the application.
Native on the Mina Blockchain
zkLocus was born on, and is natively implemented in O1JS on the Mina Blockchain. It can be easily integrated into any zero-knowledge application.
Blockchain-Agnostic
zkLocus generates zkSNARKs proofs which can be used on any blockchain, such as Ethereum and Cardano. It's fully EVM-compatbile. This flexibility, rooted in zkLocus' vision, ensures wide applicability for decentralized systems.
DeFi Geolocation Programmability
zkLocus brings geolocation programmability to DeFi, enabling the embedding of secure, private location data into NFTs, ERC-20 tokens, and other digital assets.
Authenticated Geolocation Source
Wether the zkLocus, the source of geolocation data is fully authenticated through zero-knowledge proofs, ensuring complete privacy of the underlying location details, while making its source fully transparent.
Selective Coordinate Sharing
While zkLocus champions privacy, it also provides the option to share exact coordinates securely when transparency is required. The same is true for timestamps. d
Runs On Mobile
Geolocation proofs can be generated on any mobile device, including directly on the web browser app, such as Chrome, Safari, and Firefox.
Flexible Geographical Assertions
Craft assertions about being within or outside specific areas with zkLocus. Define arbitrary polygons or merge areas to create custom geofences for nuanced location proofs.
Constant-Size Proofs
zkLocus proofs are always a compact and constant size, regardless of the number of assertions. This is made possible by the Kimchi proof system, integrated with the Pickles recursive system. You can compress an infinite amount of proofs into a signle, constand size proof. This enables zkLocus to operate on a miryad of devices and environments, including devices with constrained resources.
Data Never Leaves Your Device
zkLocus is designed to ensure that your data never leaves your device. All proofs are generated and verified locally on your device, ensuring that your data is never exposed to third parties. Your coordinates and timestamps are known only to you.
Recursive zkSNARKs
Recursive zkSNARKs are at the core of zkLocus' proof design. They allow the infinite compression of zkLocus proofs, by offering an organic rollup mechanism. This ensures that zkLocus proofs are always of small size, regardless of the number of coordinates, polygons, and timestamps they contain.
Private Location History
Share your full location history without revealing any of your coordinates. Powered by Merkle Trees to cryptographically store and verify location history, zkLocus enables for secure and private real-time and historical location sharing.
Multiple Data Sources
zkLocus supports integrating a variety of data sources, ensuring comprehensive and robust geolocation proofs.
Authenticated Timestamp Source
Timestamps are more than just data; they are commitments. zkLocus provides the tools to authenticate the source of timestamp data, essential for creating reliable time-sensitive proofs.
Runs On The Browser
zkLocus is written in TypeScript/JavaScript, as such it be used direclty in the web browser, allowing for private geolocation proofs to be generated on the user's device and verified on either client side or the server-side. You don't need to run a node or use blockchain to use zkLocus.
TypeScript and JavaScript API
zkLocus runs anywhere where JavaScript does. It's written in TypeScript and provides a simple and intuitive API for generating and verifying geolocation proofs. Designed for developers by developers.
Off-Chain Capabilities
zkLocus does not require a blockchain to function. A proof is a lightweight JSON object, which can be verified independently of the blockchain. In fact, anyone can verify the validity of a proof. The proofs are of small size and can be verified seamlessly even on devices with limited resources, such as IoT.
Flexible and Extensible
zkLocus's recursive zkSNARKs design allows for the trivial integration and expansion a of zkLocus for custom needs. While zkLocus can be used as it is, its circuit architecture ensures it can be easlily integrated into an existing system, expanded with additional functionality, or customized to fit specific needs.
Law-Abiding Technology
zkLocus is at the forefront of bridging existing legal systems on-chain, by allowing for the creation of law-abiding computational systems. It enables for the generation of zero-knowledge legal evidence which can be used to govern the digital entities, both off and on-chain.
An Evolving Ecosystem
zkLocus is an evolving platform with an actively expanding feature and applicability set. We are currently integrating with numerous applications and platforms in diversified fields. If you have an idea, a partnership, or an innovative application in mind, please reach us via email at contact@zklocus.dev
Generate A ZK Location Proof
zkLocus offers an easy and ituitive API for generating zero-knowledge location proofs. In just a few lines of code, you can generate a proof that you are within a specific area, at a specific time, without revealing your exact coordinates or timestamp. ZKLocus proofs can be generated on any device, including the web browser, mobile devices, and server-side.
ZK Location Proof as JSON
zkLocus proofs are JSON objects, which can be easily verified on-chain or off-chain. Converting a zkLocus proof into a JSON object is as simple as calling the .toJSON()
. You can easily a JSON object back into a zkLocus proof by calling the .fromJSON()
method.
Verify A ZK Location Proof
Verifing a zkLocus proof is as simple as calling the .verify()
method. You can verify a proof on-chain or off-chain. The underlying area assertions are exposed through the attributes of the object. zkLocus proofs can be verified on any device, including the web browser, mobile devices, and server-side.