Modelli di fiducia di EigenCloud. La visione di EigenCloud è permettere agli sviluppatori di scegliere il modello di fiducia che desiderano per il calcolo offchain. Tra il cloud e gli estremi onchain c'è una gamma di opzioni, ognuna con un diverso compromesso sulla programmabilità.

Liveness. In uno di questi scenari, abbiamo bisogno di garanzie di liveness. Per ottenere ciò, il nodo che esegue EigenCompute o EigenAI deve essere staked su EigenLayer e scrivere dati su EigenDA. Se il nodo va offline, il nodo viene slashed, un nuovo nodo può fare staking, scaricare i dati da EigenDA e riavviare il calcolo. Così il calcolo rimane inarrestabile.

ZK per la sicurezza. ZK è il meccanismo più forte per la sicurezza, ma richiede di scrivere un provatore e di pagare anche il costo del provatore. Il costo del provatore può essere fino a 100.000 volte il costo del calcolo diretto, quindi rimane impraticabile per gestire un gioco MMORPG, un algoritmo di raccomandazione di Twitter o per far funzionare il miglior agente AI.

Sicurezza criptoeconomica. Per ottenere una sicurezza criptoeconomica obiettiva, abbiamo bisogno di a) riesecuzione deterministica, b) DA onchain e c) prove di frode onchain. Se una di queste condizioni non è soddisfatta, non otteniamo una criptoeconomia obiettiva completa. Per ottenere sicurezza intersoggettiva da EIGEN staked, abbiamo bisogno di a) riesecuzione deterministica e b) EigenDA per DA.

Sicurezza TEE. Il TEE, secondo il suo modello di fiducia, può garantire l'esecuzione corretta dei programmi, inclusi i corretti import di dati e la memorizzazione delle chiavi private. Nessun'altra modalità può garantire la correttezza per a) computazione non deterministica, b) import di dati variabili nel tempo e c) computazione privata.

Principi di lancio di Mainnet Alpha. Abbiamo lanciato EigenCompute ed EigenAI su Mainnet Alpha. L'obiettivo del lancio alpha è fornire agli sviluppatori un accesso anticipato autorizzato a queste potenti funzionalità, in modo da poter dare priorità alle caratteristiche in base al feedback degli sviluppatori. Nel compromesso tra programmabilità e verificabilità, stiamo iniziando con la versione più programmabile e poi aumentando gradualmente il livello di fiducia e verificabilità. Entrambi questi prodotti dovranno passare attraverso audit approfonditi prima di aprirsi all'accesso senza autorizzazione.

EigenCompute Poiché uno dei principali casi d'uso è lanciare agenti AI verificabili, e tali agenti necessitano di funzionalità come la ricerca profonda - che sono variabili nel tempo e non possono essere gestite in nessun modo diverso dal TEE, stiamo lanciando con la modalità TEE per EigenCompute. L'ecosistema EigenLayer ha coprocessori molto potenti con verificabilità deterministica già inclusi Layer WAVS e Brevis (che include sia prove criptoeconomiche che ZK). Espanderemo EigenCompute ad altre modalità a breve.

EigenAI Per eseguire inferenze sui modelli open source più potenti, abbiamo bisogno della capacità di eseguire inferenze AI su più GPU. Il primo risultato importante per EigenAI è un nuovo stack che può ottenere una riesecuzione deterministica su esecuzioni multi-GPU senza alcun rallentamento nella velocità di inferenza. Questo determinismo richiede un tipo di GPU fisso (come H100) per la riesecuzione. Notiamo che eseguire inferenze su CPU deterministiche (come Cartesi VM o RiscV) è possibile, ma richiederà un rallentamento massiccio rendendo impossibile eseguire modelli all'avanguardia. Pertanto, nello spirito di massimizzare la programmabilità, utilizziamo la sicurezza criptoeconomica. Sebbene il modello iniziale richieda una verifica intersoggettiva, è possibile scrivere prove di frode onchain per creare modelli completamente deterministici per la riesecuzione. Per ottenere una sicurezza onchain completa, notiamo che i risultati delle inferenze potrebbero dover essere scritti anche su un DA onchain.

Roadmap Nel tempo, riempiremo l'intero grafico tra programmabilità e verificabilità sia per EigenCompute che per EigenAI, in modo che gli sviluppatori possano avere piena scelta per qualsiasi calcolo offchain. EigenLayer ha un ecosistema fiorente di partner che stanno costruendo queste diverse modalità e ci affideremo all'ecosistema per offrire queste molteplici opzioni in un breve periodo di tempo.