Моделі довіри EigenCloud. Бачення EigenCloud полягає в тому, щоб дозволити розробникам вибирати модель довіри, яку вони хочуть для офчейн-обчислень. Між хмарою та крайніми можливостями в ланцюжку є цілий ряд варіантів, кожен з яких має різний компроміс щодо програмованості.

Жвавість. У будь-якому з цих сценаріїв нам потрібні гарантії життєздатності. Щоб отримати це, вузол, на якому запущено EigenCompute або EigenAI, потрібно здійснити стейкінг на EigenLayer і записати дані в EigenDA. Якщо вузол переходить в автономний режим, вузол скорочується, новий вузол може здійснити стейкінг, завантажити дані з EigenDA і перезапустити обчислення. Таким чином, обчислення залишаються нестримними.

ЗК за безпеку. Zk є найсильнішим механізмом безпеки, але вимагає написання протоколу, а також оплати вартості провера. Вартість може в 100 000 разів перевищувати вартість прямих обчислень, тому вона залишається нездійсненною для запуску MMORPG-гри, алгоритму рекомендацій у Twitter або запуску найкращого агента штучного інтелекту.

Криптоекономічна безпека. Щоб отримати об'єктивну криптоекономічну безпеку, нам потрібні: а) детерміноване повторне виконання, б) ончейн DA та в) докази шахрайства в мережі. Якщо будь-яка з цих умов не виконується, ми не отримуємо повної об'єктивної криптоекономіки. Щоб отримати інтерсуб'єктивну безпеку від стейкінгу EIGEN, нам потрібно: а) детерміноване повторне виконання та б) EigenDA для DA.

Безпека TEE. TEE, згідно зі своєю моделлю довіри, може гарантувати правильне виконання програми, включаючи правильний імпорт даних і зберігання приватних ключів. Жоден інший режим не може гарантувати правильність для: а) недетермінованих обчислень, б) імпорту даних, що змінюються в часі, і в) приватних обчислень.

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

EigenCompute Оскільки одним з основних варіантів використання є запуск перевірених агентів штучного інтелекту, і таким агентам потрібні такі функції, як глибокий пошук, які змінюються в часі і не можуть бути оброблені в будь-якому режимі, крім TEEE, ми запускаємо з режимом TEE для EigenCompute. Екосистема EigenLayer має дуже потужні співпроцесори з детермінованою перевірюваністю, включаючи Layer WAVS і Brevis (що включає як криптоекономічні, так і ZK-докази). Незабаром ми розширимо EigenCompute на інші режими.

EigenAI Щоб висновування виконувалося на найпотужніших моделях з відкритим вихідним кодом, нам потрібна можливість запускати висновування штучного інтелекту на кількох графічних процесорах. Першим важливим результатом для EigenAI є новий стек, який може отримати детерміноване повторне виконання при виконанні з кількома графічними процесорами без будь-якого відступу в швидкості висновків. Цей детермінізм вимагає фіксованого типу графічного процесора (наприклад, H100) для повторного виконання. Зазначимо, що запуск логічного висновку на детермінованих процесорах (таких як Cartesi VM або RiscV) можливий, але вимагатиме значного уповільнення, що унеможливить запуск найсучасніших моделей. Отже, в дусі максимізації програмованості, ми використовуємо криптоекономічну безпеку. У той час як початкова модель вимагатиме інтерсуб'єктивної перевірки, можна писати докази шахрайства в ланцюжку для створення повністю детермінованих моделей для повторного виконання. Щоб отримати повну безпеку в ончейні, ми зазначаємо, що результати висновків, можливо, також доведеться записати в ончейн-DA.

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