Поскольку DePIN революционизируют способы предоставления определенных типов инфраструктуры, они сталкиваются со значительными трудностями в обеспечении целостности и надежности своих операций.

Хорошей новостью является то, что доказательства с нулевым разглашением (ZKP) становятся мощным решением.

Задача проверки

В своих повседневных функциях DePIN полагаются на многочисленные типы проверок. От подтверждения производительности и местоположения до проверки фактических предоставляемых услуг и точности вычислений — надежная проверка необходима для того, чтобы DePIN работали и заслуживали доверия. Признавая это, мы в одноранговой сети ZKP NovaNet опубликовали Справочник по проверке DePIN, охватывающий широкий спектр требований к проверке.

Уятт Бенно и Хоуман Шадаб — соучредители сети доказательств с нулевым разглашением NovaNet. Эта статья является частью новой DePIN Вертикали CoinDesk, освещающей развивающуюся индустрию децентрализованной физической инфраструктуры.

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

Ранее в этом году мошенники отправили IO.net поддельные данные о времени безотказной работы, чтобы получить вознаграждение. Они сделали это, сфальсифицировав существование 1,8 миллиона графических процессоров. Число непроверенных графических процессоров на IO.net в настоящее время превышает количество проверенных графических процессоров более чем в 3 раза, что, вероятно, отражает проблему всей отрасли.

Текущие методы проверки

К сожалению, существующие методы проверки DePIN часто отсутствуют.

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

Существующие методы проверки также не являются полностью надежными, что подрывает дух DePIN.

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

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

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

Введите доказательства с нулевым разглашением

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

ZKP позволяют доказывающему продемонстрировать верификатору истинность утверждения с почти абсолютной уверенностью, не раскрывая никакой дополнительной информации, помимо действительности самого утверждения. В то время как традиционному методу проверки может потребоваться доступ к конфиденциальным данным для проверки соответствия узла DePIN сетевым требованиям, ZKP используют криптографические методы, которые проверяют, были ли выполнены определенные условия, не раскрывая, как это условие было выполнено.

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

Доказательства должны быть созданы на устройствах

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

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

ZKP должны быть очень эффективными в использовании памяти, чтобы их можно было создавать локально в целях конфиденциальности. К счастью, последние инновации в конструкции ZKP позволяют проводить высокоэффективные испытания. Например, схемы складывания позволяют разбить создание доказательств на небольшие этапы, подходящие для локальных испытаний.

Однако ZKP с эффективным использованием памяти были упущены из виду в отрасли из-за ее ориентации на масштабирование Ethereum. В NovaNet, напротив, эффективность использования памяти является основой нашей технологии, позволяющей создавать доказательства в ограниченных средах, таких как браузеры и потребительские устройства. В результате сеть проверки работает в одноранговой сети без добавления централизации к DePIN.

Путь вперед

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

В NovaNet мы рады помочь воплотить цели DePIN в реальность.

Примечание. Мнения, выраженные в этой колонке, принадлежат автору и не обязательно отражают точку зрения CoinDesk, Inc. или ее владельцев и аффилированных лиц.