ZKP за поверителна проверка на трафика в dVPN мрежи

Проблемът с традиционното регистриране на трафик

Замисляли ли сте се защо се доверяваме на случайна компания в чужда държава с всяка една от нашите дигитални тайни? Доста е странно, ако се замислите. Плащаме за поверителност, но на практика просто местим данните си от кофата на интернет доставчика в кофата на доставчика на VPN услуги.

Големият проблем е, че повечето услуги твърдят, че не поддържат регистрационни файлове (т.нар. „no-logs“ политика), но буквално няма начин да проверите това. В най-добрия случай това е просто „честна дума“.

• Рискът от „Honeypot“ (Медена клопка): Централизираните сървъри са огромни мишени. Ако правителство или хакер пробие защитата, те получават достъп до всичко и за всички наведнъж.
• Пречупени обещания: Вече сме виждали случаи, в които доставчици с „no-log“ политика предават данни под натиск от властите.
• Скрити метаданни: Дори и да не записват самия ви „трафик“, те често пазят времеви отпечатъци или IP адреси за целите на „отстраняване на неизправности“, което все пак може да разкрие самоличността ви.

Децентрализираните VPN мрежи (dVPN) се опитват да решат този проблем, като използват peer-to-peer (P2P) мрежа, в която обикновени хора споделят излишния си капацитет на връзката (bandwidth). Но системата все още не е съвършена. Докато dVPN услугите решават проблема с централизацията, те въвеждат нов въпрос на доверие: операторът на индивидуалния възел (node). Тъй като случаен човек пренасочва вашите данни, съществува риск той да подслушва трафика ви.

Както е показано на Диаграма 1, потокът от данни се измества от централен център към разпределена мрежа (mesh), където вашата връзка преминава през множество отделни възли, вместо през един голям корпоративен сървър.

Според доклад на Top10VPN от 2024 г., много от водещите услуги все още имат „мъгляви“ политики за запис на данни, въпреки маркетинговите си твърдения за противното. В една dVPN мрежа основното притеснение е дали операторът на възела не извършва „sniffing“ (подслушване) на пакетите ви. Освен това, мрежата трябва да докаже, че даден възел действително е предоставил услугата, без обаче да вижда какво точно сте правили.

И така, как да докажем, че е имало трафик, без реално да гледаме самия трафик? Тук нещата стават наистина интересни с използването на доказателства с нулево знание (Zero-Knowledge Proofs).

Какво всъщност представляват доказателствата с нулево знание (Zero-Knowledge Proofs)?

Представете си, че искате да докажете на приятел, че притежавате ключа за заключена кутия, но не искате той да вижда самия ключ или съдържанието на кутията. Как бихте го направили, без просто да му го предадете?

Това е същината на магията на доказателствата с нулево знание (zkp). Това е криптографски метод, чрез който една страна (доказващ) може да докаже на друга страна (проверяващ), че дадено твърдение е вярно, без да разкрива никаква информация освен самия факт, че твърдението е истинно.

Помислете за кръгла пещера с тайна врата в дъното, която се отваря с парола. Ако искам да ви докажа, че знам паролата, без да ви я казвам, мога да вляза в пещерата, а вие да ме гледате как излизам от другата страна. Вие не чувате паролата, но знаете, че трябва да я притежавам, за да премина през вратата.

• Финанси: Банките могат да потвърдят, че имате достатъчно средства за ипотека, без да виждат пълната ви история на транзакциите или точния ви баланс.
• Здравеопазване: Изследовател може да потвърди, че пациент има специфичен генетичен маркер за проучване, без изобщо да вижда името на пациента или други лични медицински досиета.
• Търговия на дребно: Доказване, че сте над 21 години, за да закупите продукт онлайн, без да споделяте рождената си дата или домашния си адрес.
• Мрежов трафик: Доказване, че пакет данни е изпратен от точка А до точка Б, без да се разкрива съдържанието на съобщението или самоличността на подателя.

Диаграма 2 илюстрира тази логика, показвайки как „Доказващият“ изпраща математическо доказателство до „Проверяващия“, което потвърждава истинността на твърдението, без да споделя основните данни.

Според Chainlink, системите за zkp като zk-SNARKs се превръщат в „златен стандарт“ за поверителност, тъй като са „неинтерактивни“ – което означава, че доказателството е само един малък пакет от данни, изпратен еднократно.

В света на децентрализираните VPN мрежи (dVPN) това е революционно. Това означава, че даден възел (node) може да докаже, че е рутирал вашите данни правилно, без изобщо да „вижда“ самите пакети с данни. Но как всъщност прилагаме това към сложния интернет трафик? Тук технологията става още по-впечатляваща.

Внедряване на ZKP в пазара за честотна лента

И така, как всъщност плащаме на някого за пренос на данни, без да знаем какво изпраща или накъде е насочено то? Звучи като парадокс – да докажеш, че дадена работа е свършена, докато самата работа остава пълна тайна.

В децентрализирания пазар за честотна лента използваме zk-SNARKs (Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge), за да верифицираме, че даден възел (node) действително е прехвърлил 500MB данни за потребителя. Възелът предоставя „доказателство“, че хедърите на пакетите съответстват на очаквания протокол и размер, но същинското съдържание – вашите имейли, пароли или мемета с котки – остава криптирано и невидимо за него.

• Валидиране на пакетите: Мрежата проверява дали пакетите са с правилния размер и честота, без да „наднича“ вътре. Това пречи на операторите на възли просто да изпращат празни, безполезни данни, за да „фармят“ награди.
• Sybil защита: Гарантира се, че един човек не стартира 100 фалшиви възела на една машина, за да „споделя“ честотна лента сам със себе си. Това е възможно, защото ZKP може да докаже, че даден възел има уникален хардуерен подпис или „Доказателство за принос“ (Proof of Contribution), без да разкрива конкретната идентичност на възела.
• Поверителността на първо място: Дори операторът на възела да е технически напреднал, той не може да види вашия целеви IP адрес, тъй като доказателството валидира само факта на трансфера, а не неговите детайли.

Според проучвания на Ingo Research, zk-SNARKs позволяват „кратка“ (succinct) верификация. Това означава, че блокчейнът не се претоварва с огромни файлове; той просто проверява едно миниатюрно доказателство.

Тук се намесват парите (или токените). Използваме смарт договори, които действат като автоматизиран, безпристрастен ескроу (доверителна сметка). Когато ZKP бъде потвърдено, договорът автоматично освобождава плащането към доставчика на възела.

Доклад на Messari от 2023 г. относно DePIN (Децентрализирани мрежи за физическа инфраструктура) – което е просто сложен термин за мрежи, изградени и притежавани от потребителите, а не от големи корпорации – предполага, че токенизираните стимули са единственият начин P2P мрежите да се мащабират и да се конкурират с големите интернет доставчици (ISP).

Диаграма 3 показва цикъла на пазара: потребителят заявява честотна лента, възелът я предоставя, генерира се ZKP за доказване на работата и смарт договорът изплаща наградата.

На практика това е „автомат за продажба“, работещ без нужда от доверие (trustless). Вие подавате заявка, възелът върши работата, математиката го доказва и плащането се извършва мигновено. Няма нужда от посредник, който да „одобрява“ трансакцията.

След това ще разгледаме техническите предизвикателства като натоварването на процесора (CPU) и латентността, които правят реализацията на тази технология в реалния свят трудна задача.

Технически предизвикателства и бъдещето на DePIN

Ако тази технология е толкова иновативна, защо все още не е станала масова? Истината е, че „доказването“ на нещо, без реално да го показваш, е изключително ресурсоемка задача за вашия компютър.

Генерирането на доказателство с нулево знание (ZKP) не е лек процес. Докато проверката на такова доказателство става светкавично, страната, която го създава – в случая операторът на възела (node operator) – трябва да вложи сериозна изчислителна мощ. На стандартен лаптоп това може да доведе до осезаем скок в натоварването на процесора и леко забавяне на системата.

• Изчислително натоварване: Създаването на zk-SNARKs изисква сложни математически изчисления, които могат да забавят трафика в реално време. Ако вашата VPN връзка наподобява скоростта на старите модеми, никой няма да я използва.
• Проблеми с латентността (Latency): В една P2P мрежа всяка милисекунда е от значение. Добавянето на „стъпка за верификация“ към всеки пакет от данни може да бъде изнервящо за геймърите или за хората в конферентни видео разговори.
• Оптимизация: Разработчиците работят усилено върху „рекурсивни доказателства“ и хардуерно ускорение (например чрез използване на графични процесори - GPU), за да направят процеса фонов и незабележим за крайния потребител.

Според технически анализ на a16z crypto от 2023 г., ефективността на доказващия механизъм (prover efficiency) е едно от най-големите тесни места за мащабирането на тези системи за поверителност.

Въпреки препятствията, крайната цел е изграждането на мрежа, която големите технологични гиганти не могат просто да „изключат“. Чрез обединяването на честотната лента от хиляди домове, ние създаваме разпределена мрежа, която е практически невъзможна за цензуриране.

• Устойчивост на цензура: Тъй като липсва централен сървър, който да бъде блокиран, една DePIN мрежа продължава да функционира дори ако правителство се опита да прекъсне достъпа.
• Глобален обхват: Вие получавате IP адрес от реално домакинство, което прави много по-трудно за стрийминг платформите или защитните стени (firewalls) да ви идентифицират като „VPN потребител“.

Честно казано, това е игра на котка и мишка. Но с оптимизирането на технологията, тези P2P инструменти ще започнат да работят също толкова пъргаво, колкото и централизираните услуги, които използваме днес.

Как да се включите: Потребителското изживяване

За обикновения потребител използването на децентрализирана виртуална частна мрежа (dVPN), базирана на доказателства с нулево знание (zkp), не се различава съществено от работата с всяко стандартно приложение. Просто изтегляте клиента, натискате „свързване“, а сложните математически изчисления се случват автоматично на заден план.

Истински вълнуващата част обаче е потенциалът за печалба. Ако разполагате с бърза интернет връзка у дома, която не използвате пълноценно, докато спите, можете да стартирате собствен възел (node). На практика оставяте устройството си включено, а DePIN протоколът (децентрализирана физическа инфраструктурна мрежа) ви възнаграждава с токени за споделената от вас честотна лента. Това не е схема за бързо забогатяване, а устойчив начин да превърнете месечната си такса за интернет в източник на пасивен доход, като същевременно помагате за изграждането на една по-сигурна и поверителна мрежа.

Заключение: Възможно е изграждането на интернет без необходимост от доверие

И така, достигаме ли наистина до етап, в който „доверието“ е просто математическо уравнение? Изглежда най-накрая оставяме зад гърба си съмнителните обещания за „липса на записи“ (no-log), които никой реално не можеше да провери.

Чрез комбинирането на доказателства с нулево знание (zkp) и децентрализирани мрежи, ние изграждаме уеб пространство, в което поверителността не е допълнителна функция, която купувате, а самият начин, по който функционира инфраструктурата. Става дума за връщане на властта от ръцете на гигантските интернет доставчици и прехвърлянето ѝ в прозрачен, peer-to-peer (P2P) пазар.

• Верификация вместо доверие: Вече не е необходимо да вярвате на думите на доставчика; блокчейн протоколът доказва, че работата е свършена, без изобщо да има достъп до вашите данни.
• Икономика на споделянето: Обикновените потребители могат да печелят награди за предоставяне на честотна лента – модел, подобен на Airbnb, но за интернет капацитет.
• Глобална устойчивост: Доклад от 2023 г. на Syari (агрегатор на данни в сферата на DePIN) отбелязва, че децентрализираната инфраструктура е много по-трудна за цензуриране или спиране от страна на единични субекти в сравнение с традиционните сървъри.

Честно казано, технологията все още е малко тромава и натоварва процесора, но посоката е ясна. Вървим към интернет, който е поверителен по подразбиране, и откровено казано – крайно време беше. Бъдете любопитни и може би помислете за стартиране на собствен възел (node) – това е най-добрият начин да видите бъдещето в действие.