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

Живость. В любом из этих сценариев нам нужны гарантии живости. Чтобы это обеспечить, узел, работающий на EigenCompute или EigenAI, должен быть заложен на EigenLayer и записывать данные в EigenDA. Если узел выходит из сети, он будет наказан, новый узел может заложить свои средства, загрузить данные из EigenDA и перезапустить вычисления. Таким образом, вычисления остаются непрерывными.

ZK для безопасности. ZK является самым мощным механизмом для обеспечения безопасности, но требует написания доказателя, а также оплаты его услуг. Стоимость доказателя может составлять до 100 000 раз больше стоимости прямых вычислений. Таким образом, это остается непрактичным для запуска MMORPG игры, алгоритма рекомендаций в Twitter или для работы с лучшим AI агентом.

Криптоэкономическая безопасность. Чтобы получить объективную криптоэкономическую безопасность, нам нужны a) детерминированное повторное выполнение, b) onchain DA и c) onchain доказательства мошенничества. Если любое из этих условий не выполнено, мы не получаем полной объективной криптоэкономики. Чтобы получить интерсубъективную безопасность от EIGEN, нам нужны a) детерминированное повторное выполнение и b) EigenDA для DA.

Безопасность TEE. TEE, в соответствии со своей моделью доверия, может гарантировать правильное выполнение программы, включая правильный импорт данных и хранение приватных ключей. Ни один другой режим не может гарантировать правильность для a) недетерминированных вычислений, b) изменяющихся во времени импортов данных и c) приватных вычислений.

Принципы запуска Mainnet Alpha. Мы запустили EigenCompute и EigenAI на Mainnet Alpha. Целью альфа-запуска является предоставление разработчикам раннего разрешенного доступа к этим мощным функциям, чтобы мы могли приоритизировать функции на основе отзывов разработчиков. В компромиссе между программируемостью и проверяемостью мы начинаем с самой программируемой версии, а затем постепенно увеличиваем уровень доверия и проверяемости. Оба этих продукта должны пройти тщательные аудиты перед тем, как открыть доступ без разрешений.

EigenCompute Поскольку одним из основных случаев использования является запуск проверяемых AI-агентов, и такие агенты нуждаются в функциях, таких как глубокий поиск, которые изменяются со временем и не могут быть обработаны в любом режиме, кроме TEE, мы запускаем EigenCompute в режиме TEE. Экосистема EigenLayer имеет очень мощные сопроцессоры с детерминированной проверяемостью, включая Layer WAVS и Brevis (которые включают как криптоэкономические, так и ZK-доказательства). Мы скоро расширим EigenCompute до других режимов.

EigenAI Чтобы выполнять вывод на самых мощных моделях с открытым исходным кодом, нам нужна возможность выполнять AI вывод на нескольких GPU. Первым значительным результатом для EigenAI является новый стек, который может обеспечить детерминированное повторное выполнение на многопроцессорном исполнении без каких-либо задержек в скорости вывода. Этот детерминизм требует фиксированного типа GPU (например, H100) для повторного выполнения. Мы отмечаем, что выполнение вывода на детерминированном CPU (например, Cartesi VM или RiscV) возможно, но потребует значительного замедления, что сделает невозможным запуск современных моделей. Таким образом, в духе максимизации программируемости мы используем криптоэкономическую безопасность. Хотя начальная модель потребует межсубъективной верификации, возможно написать onchain доказательства мошенничества для создания полностью детерминированных моделей для повторного выполнения. Чтобы получить полную onchain безопасность, мы отмечаем, что результаты вывода могут потребовать записи в onchain DA тоже.

Дорожная карта Со временем мы заполним всю графику между программируемостью и проверяемостью как для EigenCompute, так и для EigenAI, чтобы разработчики могли получить полный выбор для любых вычислений вне цепи. EigenLayer имеет процветающую экосистему партнеров, которые создают эти различные модальности, и мы будем полагаться на экосистему, чтобы предложить эти многочисленные варианты в короткие сроки.