Исследователи разработали способ подтверждения местоположения без раскрытия данных

Исследователи из Мюнхенского технического университета разработали способ подтверждения местоположения без раскрытия точных данных, чтобы улучшить конфиденциальность. Метод Zero-Knowledge Location Privacy (ZKLP) использует математические доказательства с нулевым разглашением и числа с плавающей запятой, чтобы позволить пользователям подтвердить, что они находятся в определённой области.

Отслеживание местоположения обычно присутствует в мобильных приложениях, и часто оно происходит без ведома пользователей. Эти данные могут составить картину привычек человека и распорядка его дня, что иногда приводит к серьёзным рискам для конфиденциальности. 

ZKLP позволяет пользователям доказать, что они находятся в определённой области, например, в городе или парке, не выдавая своего точного местоположения. Он основан на доказательствах с нулевым разглашением, которые проверяют утверждение, не раскрывая данные, стоящие за ним. 

Исследователи представили первый набор схем доказательств с нулевым разглашением, полностью соответствующих стандарту IEEE 754 для арифметики с плавающей точкой, что обеспечивает точные вычисления и позволяет избежать ошибок, распространённых в старых системах, которые полагались на целочисленную математику.

Процесс эффективен, требуя всего 64 ограничений на операцию для 2^15 умножений с плавающей точкой одинарной точности. Это значительно снижает вычислительную сложность по сравнению с предыдущими методами. Их оптимизированная реализация использует в 15,9 раза меньше ограничений при использовании значений с плавающей точкой одинарной точности и в 12,2 раза меньше при использовании двойной точности, что делает систему намного более надёжной и масштабируемой.

Одним из основных вариантов использования является