SPEX (Statistical Proof of Execution) — це протокол верифікованих обчислень на основі вибіркового контролю, що забезпечує достовірність виконання обчислювальних задач завдяки ймовірнісним гарантіям. Його можна застосовувати навіть до задач із потенційно недетермінованими результатами, як-от ті, що пов’язані з великими мовними моделями (LLM) чи стохастичними тренувальними пайплайнами.

Основні особливості SPEX:

Формальне визначення верифікованих обчислень, адаптоване до сучасних обчислювальних пайплайнів.

Протокол перевірки на основі вибіркового контролю, який забезпечує низьке навантаження й високу паралелізацію.

Підтримка недетермінованих станів обчислень, що є критично важливим для AI/ML та LLM.

Використання фільтрів Блума для кодування та перевірки обчислювальних станів.

Відкрита реалізація з відкритим кодом — warden-spex.

Як працює SPEX:

Замість повного повторного виконання задач, SPEX:

Вибірково перевіряє повні виконання, щоб запобігти зловмисним рішенням.

Вибірково перевіряє проміжні стани для виявлення “ледачих” виконавців.

Підтверджує результати за допомогою криптографічних підсумків.

Для роботи протоколу потрібна лише одна пара вузлів:

Solver (виконавець): виконує завдання та формує криптографічний доказ виконання.

Verifier (перевіряючий): випадковим чином вибирає частини завдання для перевірки узгодженості з доказами та фінальним результатом.

Висновок:

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

На платформі Warden SPEX слугує шаром верифікації для ШІ. Цей протокол гарантує, що була використана саме та модель, яка заявлена, а її вихідні дані не були змінені. Таким чином зменшується ризик недобросовісного виконання задачі з боку операторів або через скомпрометовану інфраструктуру. Мережа валідаторів Warden використовує SPEX для досягнення консенсусу щодо всього процесу виконання, перетворюючи результати ШІ на перевірені й відповідальні артефакти.