Где можно найти примеры zkp snark/stark, желательно какие-то примитивные на пальцах, но с используем алгоритмов (не примеры с ручкой и тд) 😁
Из того, что я понял, там есть 2 режима, интерактивный и неинтерактивный.
Например А говорит, что знает решение задачи некоторой функции, потом Б посылает челенджи и она их решает и это уменьшает вероятность обмана.
Только что там под капотом, какая криптография, можно ли ельгамаля использовать?
Сколько раундов этих челенджей должно быть и какой критерий достаточности?
Например у А есть оригинальный текст, у Б верифаера есть его хеш.
Какой челендж он должен посылать, чтобы реализовался zkp?