Доказательства на устройстве решают проблемы проверки DePIN

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

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

Проблема проверки

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Путь вперед

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

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

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