Рейтинг:2

Доказательство с нулевым разглашением: groth16. Может ли ключ проверки быть открытым?

флаг in

Вот цитата из документации gnark.

Обратите внимание, что этому шагу необходимо уделить особое внимание в производственной среде. groth16.Setup использует некоторую случайность для предварительного вычисления ключей проверки и проверки. Если процесс или машина пропускают эту случайность, злоумышленник может нарушить протокол ZKP.

Похоже, есть какая-то случайность в процессе настройки. Я бы поделился проверочным ключом. Так что это больше похоже на PublicKey. Но должен ли я держать ключ проверки в секрете и выдать его позже?

PS Являются ли ключи Prover и Verifier чем-то, что называется «общедоступными параметрами»?

Рейтинг:2
флаг ru

Да. Ключ проверки может быть открытым.

https://consensys.net/blog/developers/introduction-to-zk-snarks/

Генератор ключей G берет лямбду секретного параметра и программу C и генерирует два общедоступных ключа, ключ проверки pk и ключ проверки vk.

Ответить или комментировать

Большинство людей не понимают, что склонность к познанию нового открывает путь к обучению и улучшает межличностные связи. В исследованиях Элисон, например, хотя люди могли точно вспомнить, сколько вопросов было задано в их разговорах, они не чувствовали интуитивно связи между вопросами и симпатиями. В четырех исследованиях, в которых участники сами участвовали в разговорах или читали стенограммы чужих разговоров, люди, как правило, не осознавали, что задаваемый вопрос повлияет — или повлиял — на уровень дружбы между собеседниками.