Оскільки DePIN революціонізують спосіб надання певних типів інфраструктури, вони стикаються зі значною перешкодою в забезпеченні цілісності та надійності своїх операцій.
Хороша новина полягає в тому, що докази з нульовими знаннями (ZKPs) постають як потужне рішення.
Виклик верифікації
DePIN-код покладається на численні типи перевірки для своїх повсякденних функцій. Від підтвердження продуктивності та місцезнаходження до перевірки фактично наданих послуг і точності обчислень, надійна перевірка є важливою для того, щоб DePIN працювали та їм довіряли. Визнаючи це, ми в одноранговій мережі ZKP NovaNet опублікували Посібник з перевірки DePIN, який охоплює широкий спектр вимог щодо перевірки.
Вятт Бенно та Хоуман Шадаб є співзасновниками мережі NovaNet, яка не має жодних знань. Ця стаття є частиною нової версії DePIN від CoinDesk, яка охоплює індустрію децентралізованої фізичної інфраструктури, що розвивається.
Наслідки неадекватної перевірки можуть бути серйозними. Без надійних перевірок вузли або постачальники послуг можуть отримувати виплати під неправдивим приводом. Мережі можуть стати вразливими до ігор, і користувачі ризикують прийняти низькопродуктивні або нестабільні платформи.
Раніше цього року шахраї надсилали фальшиві дані про безвідмовну роботу на IO.net, щоб отримати винагороду. Вони зробили це, сфальсифікувавши існування 1,8 мільйона графічних процесорів. Неперевірені графічні процесори на IO.net наразі перевищують кількість перевірених у співвідношенні 3:1, що, ймовірно, відображає проблему для всієї галузі.
Поточні методи перевірки
На жаль, існуючих методів перевірки 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. або її власників і афілійованих осіб.