Proof of AI: открытое облако, которое платит разработчикам, на чьём коде оно работает

Под каждым рассказом о «децентрализованном ИИ» лежат две жёсткие задачи, и большинство проектов машет на обе.

Первая: как доверять результату, который вы не считали? Если удалённая машина говорит «модель выдала X», откуда вы знаете, что она вообще исполнила модель — не более дешёвую, не мусор, не ложь из кэша?

Вторая тише и, мы думаем, важнее: весь стек ИИ построен на открытом коде, за который почти никто не платит. Ваш сервер вывода, ваш токенизатор, ваш векторный индекс, ваша криптобиблиотека — написаны людьми, которые не видят ничего из выручки, что порождает их код.

Proof of AI (PoAI) — наш ответ на первую. Наше обязательство выплат — ответ на вторую. Этот текст — честный отчёт о том, что живо сегодня, что подключено, но спит, и что ещё дорожная карта. Мы будем явны, что есть что, — потому что весь смысл в проверяемости.

Что Proof of AI на самом деле доказывает

Вычисления ИИ печально трудно проверить, потому что арифметика с плавающей точкой недетерминирована: та же модель, тот же вход, тот же GPU могут дать чуть разные числа в зависимости от порядка операций и планирования. Нельзя достичь согласия о числе, которое меняется при каждом вычислении.

PoAI убирает недетерминизм, вместо того чтобы доказывать вокруг него:

1. Вывод только на целых. Веса и активации квантуются в int8. Накопление — int32, масштабирование — арифметический сдвиг вправо, выходы насыщаются, а трансцендентные функции — замороженные таблицы поиска, никогда не exp() и не rsqrt(). Итог — прямой проход, бит в бит одинаковый на CPU, Metal, CUDA и AMD.

2. Пересчёт, не доверие. Целочисленный transformer открыт как прекомпиляция EVM. Модель доверия — самая простая из существующих: каждый валидатор заново исполняет то же вычисление во время исполнения блока. Если ваш выход не совпадает с тем, что производит машина всех остальных, ваш блок отвергается. Без комитета, без особого оборудования, без доказательства, которое можно подделать.

Это тот вариант PoAI, который наше исследование впервые описало в Proof of AI: проверяемые вычисления как примитив консенсуса (ZIP-002), теперь поставленный как код.

Эта часть живая

Краеугольный камень — детерминированное умножение матриц int8 — gemm_i8 — реализованное байт в байт одинаково на Go, Rust и C++, с GPU-ядрами (Metal, CUDA, HIP), которые проходят те же тесты с известным ответом. Реализация на Go — зарегистрированная прекомпиляция EVM по адресу 0x0300...0003, подключённая пустым импортом EVM Lux, Zoo и Hanzo, так что один и тот же путь детерминированного вывода общий для всех трёх цепей. Золотая последовательность токенов утверждается на каждом языке как тест:

prompt  1 7 13 2  →  4 28 21 17 2 19 43 35 36 15

Если этот вектор когда-нибудь разойдётся между двумя машинами, CI станет красным. Вот что «проверяемый» значит на практике.

Эта часть — честная дорожная карта

• Размер модели. Прекомпиляция в цепи сегодня исполняет маленький эталонный transformer. Перенос производственной модели (Qwen3-0.6B / zen-nano) задан и идёт — пересчитывать фронтирную модель в каждом валидаторе не цель; цель — маленькие проверяемые модели и выборочная проверка больших.
• Криптографические доказательства. Доказательства zkML и конфиденциальное исполнение (TEE) спроектированы и намечены для позднего выпуска. Сегодняшняя гарантия — детерминизм, который вы можете исполнить заново, и это настоящая гарантия, только не краткое доказательство.
• Аппаратная аттестация. Для моделей, слишком больших, чтобы пересчитывать их в цепи, якорь доверия — аппаратная аттестация. Аттестация AMD SEV-SNP реализована в нашем стеке от края до края (полная проверка цепочки сертификатов против службы ключей AMD); Intel TDX и конфиденциальные вычисления GPU NVIDIA намечены каркасом, не закончены.

Мы лучше скажем вам это, чем выпустим слайд со словами «ИИ, проверенный zk».

Выплата открытому коду: 25%, по замыслу

Вот обязательство, и оно в нашем коде, не только в тексте: 75% относимой выручки облака остаётся у платформы; 25% складывается для разработчиков открытого кода, чьи пакеты облако действительно исполнило.

Как работает атрибуция, от края до края:

Шаг	Что происходит
Сборка	Каждый образ, который производит наша система сборки, получает спецификацию состава ПО (syft → CycloneDX) — точный граф зависимостей того, что ушло.
Атрибуция	Движок git blame сопоставляет каждую зависимость с её авторами, строка за строкой, и даёт проценты вклада по автору.
Учёт	Облако уже учитывает использование по организации для счетов. Это использование — база стоимости.
Раздел	Использование раскладывается по графу зависимостей, с весом по вкладу, и 25% относимой суммы резервируется для участников.
Выплата	Участникам платят — для начала неисчерпаемыми кредитами Hanzo; крипто- и фиатные рельсы следом.

Мы точны о статусе: генератор SBOM, движок атрибуции, раздел 25%, учёт и модель выплаты все существуют в коде сегодня. То, что мы сейчас соединяем, — соединительная ткань: включить приём SBOM, поставить выплату в расписание и провести настоящие деньги по рельсу, который уже платит произвольным получателям. Первые выплаты идут зависимостям, на которых работает сам Hanzo Cloud, как эталонная реализация.

Привяжите репозиторий и получите оплату

Конечное состояние — самообслуживание: подключите репозиторий GitHub, подтвердите, что он ваш, выберите, как хотите получать оплату, и получайте долю всякий раз, когда Hanzo Cloud исполняет программу, которая зависит от вашей. Этот входной поток — та часть, которую мы строим следующей. Когда он появится, он будет буквальным предметом заголовка этого текста — и вы сможете сверить собственный заработок со SBOM, который его породил.

Запуск узла и общее облако

Операторы узлов. Hanzo Node позволяет машине записаться с криптографической личностью, объявить, что она умеет, получать работу по сети равный-равному и получать за неё оплату расчётом в стейблкоине (x402). Этот цикл реален сегодня для работы агентов и инструментов. Полностью измеренный по оборудованию, аттестованный рынок вычислений — где вы продаёте время GPU под аттестацией TEE и рассчитываетесь в цепи — это направление, построенное на примитивах аттестации и расчёта выше, а не короткий путь вокруг них.

Рефералы и общий доступ. Приведите разработчика или организацию — и вы оба получите кредиты; партнёры получают ступенчатую долю приведённых трат. Это живо в системе счетов сегодня, с защитой от мошенничества и с тестами — та же машина раздела выручки, на которой строится выплата открытому коду.

Почему это важно

Облако ИИ, которое не может доказать свои результаты, просит слепого доверия. Облако ИИ, которое зарабатывает на открытом коде и не платит в ответ, неустойчиво. Proof of AI отвечает на первое самым скучным и самым крепким механизмом, какой есть, — детерминированным пересчётом, — а наша выплата 25% отвечает на второе числом, которое мы вписали в код.

Честный счёт: ядро проверяемого вывода поставлено и испытано; трубопровод выплат построен и включается; доказательства, перенос большой модели и дверь самообслуживания — дорожная карта с настоящим фундаментом под ними.

Мы будем и дальше публиковать то, что реально, и помечать то, что нет. Только так «Proof of AI» что-то значит.

---

Hanzo AI — это Techstars '17. Технический аудит за этим текстом — каждое утверждение, привязанное к файлу и строке, — ведётся внутри и ведёт план сборки.