Основы ZK | Эп. 8: Почему ZK-доказательства стоят так дорого Проверка доказательства занимает миллисекунды. Создание — это дорогостоящая часть. Вот куда уходят деньги: 1. Вычисления переписываются. Ваша программа должна быть преобразована в форму, которую можно доказать математически — в схему. Этот этап ничего не стоит. 2. Создание доказательства требует больших ресурсов. Построение доказательства может занимать в тысячи раз больше вычислительной мощности, чем обычное выполнение программы. 3. Специализированное оборудование. Серьёзное создание доказательств происходит на GPU и специализированных чипах, именно поэтому существует целая индустрия по созданию инфраструктуры для доказательств. 4. Цены быстро падают. За несколько лет стоимость снизилась на несколько порядков — именно поэтому ZK перешёл от научных статей к практическому применению. Компромисс: заплатите один раз за доказательство, и все смогут проверять его дешево вечно. Сохраните это 💜