Pricefield | Lemmy
  • Communities
  • Create Post
  • Create Community
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
🃏Joker to [email protected]English • 7 months ago

Zero-Knowledge Location Privacy via Accurate Floating-Point SNARKs

ia.cr

external-link
message-square
14
fedilink
86
external-link

Zero-Knowledge Location Privacy via Accurate Floating-Point SNARKs

ia.cr

🃏Joker to [email protected]English • 7 months ago
message-square
14
fedilink
We introduce Zero-Knowledge Location Privacy (ZKLP), enabling users to prove to third parties that they are within a specified geographical region while not disclosing their exact location. ZKLP supports varying levels of granularity, allowing for customization depending on the use case. To realize ZKLP, we introduce the first set of Zero-Knowledge Proof (ZKP) circuits that are fully compliant to the IEEE 754 standard for floating-point arithmetic. Our results demonstrate that our floating point circuits amortize efficiently, requiring only $64$ constraints per multiplication for $2^{15}$ single-precision floating-point multiplications. We utilize our floating point implementation to realize the ZKLP paradigm. In comparison to a baseline, we find that our optimized implementation has $15.9 \times$ less constraints utilizing single precision floating-point values, and $12.2 \times$ less constraints when utilizing double precision floating-point values. We demonstrate the practicability of ZKLP by building a protocol for privacy preserving peer-to-peer proximity testing - Alice can test if she is close to Bob by receiving a single message, without either party revealing any other information about their location. In such a configuration, Bob can create a proof of (non-)proximity in $0.26 s$, whereas Alice can verify her distance to about $470$ peers per second.
  • @[email protected]
    link
    fedilink
    English
    14•7 months ago

    Very cool! I can think of so many applications for this.

    • @[email protected]
      link
      fedilink
      English
      3•7 months ago

      Mind giving a summary for the rest of us?

      • dragbone
        link
        fedilink
        English
        2•7 months ago

        I tried to answer another question which should also work as a summary: https://lemmy.world/comment/13409438

[email protected]

[email protected]
Create a post
You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: [email protected]

This is a most excellent place for technology news and articles.


Our Rules


  1. Follow the lemmy.world rules.
  2. Only tech related news or articles.
  3. Be excellent to each other!
  4. Mod approved content bots can post up to 10 articles per day.
  5. Threads asking for personal tech support may be deleted.
  6. Politics threads may be removed.
  7. No memes allowed as posts, OK to post as comments.
  8. Only approved bots from the list below, this includes using AI responses and summaries. To ask if your bot can be added please contact a mod.
  9. Check for duplicates before posting, duplicates may be removed
  10. Accounts 7 days and younger will have their posts automatically removed.

Approved Bots


  • @[email protected]
  • @[email protected]
  • @[email protected]
  • @[email protected]
  • 1 user / day
  • 189 users / week
  • 4.35K users / month
  • 12.8K users / 6 months
  • 5 subscribers
  • 15.9K Posts
  • 654K Comments
  • Modlog
  • mods:
  • @[email protected]
  • enu
  • Technopagan
  • L4sBot
  • L3s
  • @[email protected]
  • UI: 0.18.4
  • BE: 0.18.2
  • Modlog
  • Instances
  • Docs
  • Code
  • join-lemmy.org