Доказательство с нулевым разглашением (ZKP)

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

Pearl, например, использует доказательства с нулевым разглашением (через систему Plonky2), чтобы пул мог дёшево перепроверить, что тяжёлое вычисление каждой шары выполнено правильно.