iluxonchik / zkLocusLinks
zkLocus is an application, a framework, and protocol that enables private and programmable geolocation sharing both off-chain and on-chain. Natively implemented on the Mina Protocol using the O1JS framework, zkLocus turns geolocation into a Real-World-Asset (RWA). zkLocus's DeFi ecosystem is powered by its native $ZKL token.
☆43Updated last year
Alternatives and similar repositories for zkLocus
Users that are interested in zkLocus are comparing it to the libraries listed below
Sorting:
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆93Updated 3 months ago
- Implementation of Canetti-Gennaro-Goldfeder-Makriyannis-Peled threshold signing scheme☆77Updated last week
- Reference implementation of the node for the Miden blockchain☆66Updated this week
- ☆94Updated last month
- NEAR as data availability!☆51Updated 2 weeks ago
- ☆59Updated 7 months ago
- Core components of the Miden protocol☆81Updated this week
- ☆35Updated this week
- ZKM Development Template/Framework☆25Updated last month
- prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…☆102Updated last week
- BitVM Groth16 Verifier Toolkit - WIP☆77Updated 11 months ago
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆75Updated 2 weeks ago
- ☆115Updated 10 months ago
- zkEVM proof generator reference written in Javascript☆81Updated 2 weeks ago
- A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm☆75Updated this week
- ☆140Updated 3 months ago
- Implementation of zero-knowledge proof circuits for Tendermint.☆81Updated last year
- Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.☆45Updated last year
- Smart contracts for onchain verification of SP1.☆98Updated last week
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆61Updated 8 months ago
- ☆12Updated last year
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆164Updated 4 months ago
- Circuit components definition library for zkLLVM circuit compiler☆43Updated 9 months ago
- ☆20Updated 5 months ago
- Cryptographic primitives used in Polygon Miden rollup☆112Updated last week
- Wasm friendly Celestia light node implementation in Rust☆151Updated this week
- In-EVM Mina State Verification☆82Updated last year
- Generates a stark from a pil☆97Updated 10 months ago
- Rust implementation of the Agglayer.☆101Updated this week
- halo2 ecc circuit☆116Updated 2 years ago