Skip to main content

Zero-knowledge & verification

LocateTile’s mapping is designed to be proven inside ZK circuits using integer-only arithmetic.

Why this works well in ZK​

  • No floating point
  • Explicit quotient–remainder constraints
  • Bounded execution cost
  • Deterministic edge-case rules (poles, antimeridian)

Circuit requirements (v1)​

A conforming circuit MUST:

  • enforce quotient–remainder constraints for each division
  • enforce range constraints on all indices and remainders
  • explicitly handle the +90° latitude special case