Дослідження перевірки цілісності результатів виведення AI поза ланцюгами через гібридне шардинг і консенсус блокчейну @inference_labs , @nesaorg , @miranetwork Оскільки масштабні моделі штучного інтелекту використовуються в різних середовищах, дедалі частіше з'являються структури, в яких фактичні операції виведення виконуються поза блокчейном, і перевіряються лише результати. Найважливіший виклик у цьому процесі — як надійно довести, що результати виведення ШІ, створені поза ланцюгом, не були змінені і пройшли послідовний процес для отримання того ж вхідного сигналу. Структура, що виникла для вирішення цих проблем, — це Протокол Verifiable Hybrid-Sharded Inference Protocol, або VH-SIP, який має на меті систематично перевіряти цілісність позаланцевого висновку шляхом поєднання елементів, перевірених у існуючих розподілених мережах ШІ, та механізмів консенсусу блокчейну. Відправною точкою VH-SIP є шар виконання інференції. На цьому рівні за замовчуванням запуск контейнеризованих робочих навантажень, як це використовується в моделі Infernet від Ritual. Тисячі вузлів з різними апаратними характеристиками налаштовані для виконання однієї моделі, а детермінізм операції підтримується через фіксоване випадкове число насіння, яке використовується в opML ORA та відтворюваній операторній системі Gensyn RepOps. Гібридний фреймворк шардингу NESA застосовується до цього, який розбиває великі мовні моделі на блоки та здійснює висновки в межах діапазону, який кожен вузол може обробляти шляхом динамічної квантування блок за блоком. Кожен вузол виконання генерує отримання доказу, включаючи значення коміту для вхідних даних, вихідний хеш і використані метрики ресурсів, які сумісні з форматом протоколу Relay від Gensyn і передані на наступний етап верифікації. Результат цього висновку одразу потрапляє на шар шарування. Ядром шару шардингу є розподіл шардів на основі VRF. Ця структура базується на механізмі шардингу VRF, обговореному в Ethereum Research, і усуває передбачуваність, використовуючи кілька попередніх виходів VRF як вхідні дані для визначення наступного розподілу шардів. Структура VRF на основі BLS, реалізована в Harmony, розроблена так, щоб ускладнювати певним учасникам зміщення результатів, а безперервна робота мережі гарантується за умови, що чесні вузли становлять більшість. У межах шарду одиниця роботи ділиться за допомогою техніки незалежного від моделі NESA, а валідатори також формуються в окремий комітет з верифікації шляхом застосування принципу шардингу коду PolyShard. Метод переміщення на основі прогнозування робочого навантаження, запропонований у протоколі PSAP, відповідає за координацію навантаження між шардами. Верифікація та консенсус становлять серце VH-SIP. У цьому рівні застосовується гібридна стратегія верифікації, а не універсальний підхід. Для високопродуктивного та відносно низькоризикового висновку випадково обирається невелика кількість валідаторів для проведення стохастичної перевірки вибірки. З іншого боку, для результатів із великою економічною цінністю або потенціалом для суперечок проводиться детермінована перевірка, під час якої весь комітет повторює той самий розрахунок. Якщо два результати суперечать, застосовуються метод делегування втручання та дихотомічна пошукова гра, досліджена в Gensyn, щоб поступово звузити точку виникнення помилки. Цей процес базується на концепції оптимістичної верифікації ORA, яка фактично передбачає легітимність результатів, але коли виникає виклик, запускається інтерактивний процес вирішення спорів у ланцюзі. Операції з фіксованою точкою та відтворювані операторні системи відіграють роль у мінімізації відхилень з плаваючою комою через апаратні відмінності. Економічний рівень стимулів є основою для реалістичної роботи цієї структури верифікації. Слешинг виникає, коли учасники захоплюють певну заставу і подають явно неправильні результати, одночасно подають суперечливі результати, приховують їх під час перевірки або надають неперевірені докази TEE. Ці умови відповідають методу верифікації Верде та принципу анкерування на ланцюгу. Як і модель Bittensor, вона розроблена для підтримки безпеки всієї мережі навіть якщо є до половини шкідливого стейку, а економічний термін життя подовжується завдяки механізму рециркуляції токенів. Ієрархія координації та агрегації відповідає за об'єднання результатів, створених кількома шардами, в один когерентний стан. Цей шар використовує зобов'язання KZG для ефективної перевірки цілісності даних між шардами та гарантує, що витрати на верифікацію не зростають лінійно через кодування PolyShard. Протокол RSTBP використовується для атомарної обробки кількох входів і виходів, а результати стохастичної верифікації агрегуються відповідно до правила більшості. Навчання з підкріпленням обмежень безпеки, запропоноване у фреймворку PSAP, коригує розподіл ресурсів, але сам процес валідації базується на відтворенні тих самих результатів на основі детермінованих операцій машинного навчання. Ця структура також чітко показує, як реагувати на різні сценарії атаки. Ситуація, коли певні шарди домінують, компенсується обертанням шардів на основі VRF і структурою, зваженою по стейку, а хибнопозитивні результати, спричинені недетермінованими операціями, обробляються за допомогою операцій із фіксованою точкою та статистичних допускових інтервалів. Атаки змови пригнічуються за допомогою зрізу та економічних структур витрат, а якщо якість моделі таємно погіршується, це виявляється за допомогою перевірки розподілу на основі консенсусу. Концепції Gensyn про відтворювані оператори, локально чутливе хешування та діапазони допусків — це методи валідації, які використовуються в цьому процесі. Підсумовуючи, VH-SIP пропонує архітектуру, яка поєднує елементи, перевірені існуючим розподіленим ШІ та системами верифікації, такими як Nesa, Gensyn, ORA та Bittensor, і інтегрално перевіряє результати виведення ШІ, виконаних поза ланцюгом, у межах консенсусної структури блокчейну. Гібридне шардинг ефективно розподіляє обчислення та верифікацію, тоді як консенсус на основі VRF і оптимістична верифікація знаходять баланс між масштабованістю та безпекою. Цю структуру можна розуміти як остаточний випадок, що відповідає реалістичним потребам позаланцюгового ШІ висновку, водночас забезпечуючи перевіреність і економічну відповідальність. $NESA $MIRA