Plonky2 - это реализация SNARK, основанная на методах из PLONK и FRI. Поисковые таблицы, длина которых не делится на 26 = floor(num_routed_…

Plonky2 - это реализация SNARK, основанная на методах из PLONK и FRI. Поисковые таблицы, длина которых не делится на 26 = floor(num_routed_wires / 3), всегда включают пару ввод-вывод 0 -> 0. Таким образом, злоумышленный доказывающий всегда может доказать, что f(0) = 0 для любой поисковой таблицы f (если только ее длина случайно не делится на 26). Причина проблемы в том, что LookupTableGate-s заполнены нулями. Обходной путь со стороны пользователя - расширить таблицу (повторяя некоторые записи), чтобы ее длина стала делимой на 26. Эта уязвимость исправлена в версии 1.0.1.