Сегодня я прочитал действительно хорошее объяснение zk доказательств: - Идея zk заключается в том, что вам не нужно знать фактические данные, чтобы проверить, соответствуют ли они определенным требованиям. - Например, если есть дверь с паролем, мне не нужно говорить вам пароль. Я просто могу показать, что могу открыть дверь, и это будет доказательством того, что я знаю пароль. Вот что такое доказательство с нулевым разглашением. То, что делает succinct с zk, заключается в том, что он может создать zk доказательство практически для всего. Например: - Я мог бы использовать succinct, чтобы доказать, что мне больше 18 (или 21), не раскрывая свою дату рождения. - Я мог бы использовать succinct, чтобы доказать, что я живу в стране, которая не подлежит ограничениям, не раскрывая информацию о своем паспорте. - Или даже проще, я могу доказать, что 3 скрытых числа в сумме дают 42. Сегодня самым большим применением pmf для zk является блокчейн, и блокчейн сильно нуждается в zk. Самые крупные клиенты succinct (более 35 протоколов) используют zk, чтобы превратить огромные вычисления, такие как выполнение тысяч транзакций блока на rollup, в крошечные, проверяемые за миллисекунды доказательства. Одно чрезвычайно маленькое zk доказательство, созданное succinct, достаточно для целой цепочки/rollup с миллиардами TVL, чтобы заключить, что "этот блок был выполнен по правилам." Вот сила succinct.