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

Сегодня вечером я снова собираюсь потратить много, только что проверил свои расходы в этом году и обнаружил, что только 🍑 уже потратил так много, что скоро достигну уровня черной алмазной подписки, но вдруг я задумался:

Когда я оплачиваю покупки, на странице отображается итоговая сумма к оплате. Я хочу убедиться, что эта цена правильная после применения скидок, купонов и бонусов, но при этом не хочу раскрывать свою会员等级, историю использования купонов, детали покупательских бонусов и другую личную информацию — что делать в такой ситуации?

❙  Ответ дает концепция нулевого знания (Zero-Knowledge Proof), но она также приносит более сложную проблему: очень много вычислительных ресурсов требуется.

▰ Начнем с того, что делает нулевое знание мощным — «один расчет, вечная проверка».

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

▰ Более того, сейчас в отрасли используют GPU для выполнения этих вычислений.

GPU действительно способен одновременно обрабатывать множество повторяющихся операций и в целом справляется с задачей, но его изначальное предназначение — обработка графики, а не выполнение «математических операций в конечных полях», необходимых для нулевых доказательств.

Многие функции GPU, например, модули обработки света и тени в играх, при генерации доказательств полностью не используются, а только занимают ресурсы, при этом при передаче данных расходуется много энергии, что делает их неэффективными.

▰ В такой ситуации особенно важен подход @cysic_xyz — они не работают на универсальном оборудовании, а сосредоточились на создании «специальных чипов».

❙  Как определить, что вычисления нулевого знания отличаются от обычных компьютеров?

Это зависит от количества хеш-операций в секунду, математических ограничений, времени и энергопотребления на генерацию доказательства. Специализированные чипы могут оптимизировать эти параметры, исключить ненужные функции и сосредоточиться на ключевых требованиях нулевых доказательств.

Я считаю, что это не только технологический прорыв, но и направление, которое укажет путь всей индустрии. Сейчас нулевые доказательства постепенно переходят от теории к практике.

В будущем спрос на «подтверждаемые вычисления» только увеличится, и нельзя не отметить, что @cysic_xyz выбрали очень перспективный путь.