Zero-Knowledge Location Privacy via Accurate Floating-Point SNARKs - eviltoast