現在位置(エリア)をゼロ知識証明で示したいという動機からIEEE 754準拠の浮動小数点数をzk-SNARKの回路として実装したという論文。NaNや無限大や非正規化数も実装したらしい。

https://www.computer.org/csdl/proceedings-article/sp/2025/223600a057/21B7R3HsGK4

元々の緯度経度の真正性を示せない(付録でも触れられている)ので微妙なのだけど、IEEE 754をzk-SNARKの回路として実装しましたというパワーで微妙さを吹き飛ばしている。範囲チェックやXORやAND等は普通に実装すると回路が大きくなるから表引きにするとか、座標計算から三角関数を排除するとかして、証明がSnapdragon 7+ Gen 2のAndroidで0.256秒で作れたとのこと。