It's interesting to see a project like XYO trying to disrupt the “proof of location” market. By employing a set of high-level abstractions, the risk of location spooking through a chain of 0 – knowledge proofs, is virtually inexistent. Good post here, thanks for sharing!