Интерактивное доказательство с нулевым разглашением

[new_user]

Здравствуйте, попалась одна задача, даже идей нет, задача такая:

Придумать интерактивный протокол с нулевым разглашением для языка $QR = {(a, m) | \exists b : a = b^2 (mod \space m)}$, т.е. для языка квадратичных вычетов. А вот дальше начинается самое интересное: Получилось ли у вас вычислительно или идеально нулевое разглашение? Использовали ли вы неограниченную вычислительную силу прувера?

У кого если есть хотя бы идеи, напишите пожалуйста, буду очень благодарен!

[volkhin]

Идея в следующем: пруверу надо придумать несколько значений (двух достаточно), являющихся квадратичными вычетами в том и только том случае, когда а - квадратичный вычет. Тогда доказав, что одно из этих чисел (по выбору верификатора) квадратичный вычет мы убедим его в том, что а - тоже квадратичный вычет.

Удачи, одногруппник :) (или 994?)