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

Оскільки DePIN революціонізують спосіб надання певних типів інфраструктури, вони стикаються зі значною перешкодою в забезпеченні цілісності та надійності своїх операцій.

Хороша новина полягає в тому, що докази з нульовими знаннями (ZKPs) постають як потужне рішення.

Виклик верифікації

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

Вятт Бенно та Хоуман Шадаб є співзасновниками мережі NovaNet, яка не має жодних знань. Ця стаття є частиною нового CoinDesk Вертикальний DePIN, що охоплює індустрію децентралізованої фізичної інфраструктури, що розвивається.

Наслідки неадекватної перевірки можуть бути серйозними. Без надійних перевірок вузли або постачальники послуг можуть отримувати виплати під неправдивим приводом. Мережі можуть стати вразливими до ігор, і користувачі ризикують прийняти низькопродуктивні або нестабільні платформи.

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

Поточні методи перевірки

На жаль, існуючих методів перевірки DePIN часто бракує.

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

Існуючі методи перевірки також не є повністю надійними, що підриває дух DePIN

Деякі методи виявляються занадто дорогими. Наприклад, DePIN-код часто використовує і повинен компенсувати валідатори, які не мають іншої мети, окрім як повторити або подвійно перевірити роботу, уже виконану сервісними вузлами. Засоби перевірки також можуть призвести до повільної роботи DePIN-кодів через необхідність виконання додаткових операцій.

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

Існуючі методи перевірки також не є повністю надійними, що підриває децентралізований дух DePIN.

Введіть підтвердження нульового знання

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

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

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

Докази мають бути згенеровані на пристроях

Щоб справді зберегти Політика конфіденційності, ZKP потрібно генерувати локально на пристроях DePIN або в мережах, які надають послуги. Надсилання даних до вузлів перевірки або окремої системи перевірки позбавляє ZKP властивості «нульового знання».

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

Для Політика конфіденційності ZKP мають бути дуже ефективними для використання пам'яті, щоб їх можна було створити локально. На щастя, останні нововведення в дизайні ZKP забезпечують високоефективне доведення. Схеми згортання, наприклад, дозволяють розбити генерацію доказів на невеликі кроки, придатні для локального доказу.

Однак індустрія не звертає уваги на ZKP, що економлять пам’ять, оскільки вона зосереджена на масштабуванні Ethereum. У NovaNet, навпаки, ефективність пам’яті є CORE нашої Технології, яка дозволяє генерувати докази в обмежених середовищах, таких як браузери та споживчі пристрої. У результаті мережа прувера працює в одноранговому режимі без додавання централізації до DePIN.

Шлях вперед

Оскільки DePIN продовжують рости та розвиватися, використання доказів нульового знання для перевірки, ймовірно, стане не просто перевагою, а необхідністю. Мережі, які використовують цю Технології , матимуть кращі можливості для надання надійних, ефективних і справді децентралізованих послуг, одночасно захищаючи Політика конфіденційності своїх користувачів і постачальників.

У NovaNet ми раді допомогти втілити цілі DePIN в реальність.

Примітка: погляди, висловлені в цій колонці, належать автору та не обов’язково відображають погляди CoinDesk, Inc. або її власників і афілійованих осіб.