Research @ Wonderland | Governance, Privacy, Cryptography and š§
2 Followers
Iām reading about ZKLP: they implement IEEE 754-compliant FP arithmetic in SNARKs to prove geoloc inclusion (H3 hexes) without revealing (lat, lon). Avoid sin/cos/tan with identities + prover hints. 15x smaller than fixed-point baselines. Very elegant. https://eprint.iacr.org/2024/1842.pdf
If you are wondering what a researcher does at Wonderland, you should check out our ⨠onboarding here: https://handbook.wonderland.xyz/