Modele zaufania EigenCloud. Wizją EigenCloud jest umożliwienie deweloperom wyboru modelu zaufania, który chcą zastosować do obliczeń offchain. Pomiędzy skrajnościami chmury a onchain istnieje szereg opcji, z których każda ma inny kompromis dotyczący programowalności.

Liveness. W każdej z tych sytuacji potrzebujemy gwarancji żywotności. Aby to uzyskać, węzeł uruchamiający EigenCompute lub EigenAI musi być stakowany na EigenLayer i zapisywać dane do EigenDA. Jeśli węzeł przechodzi w tryb offline, węzeł jest karany, nowy węzeł może stakować, pobrać dane z EigenDA i wznowić obliczenia. W ten sposób obliczenia pozostają nieprzerwane.

ZK dla bezpieczeństwa. ZK jest najsilniejszym mechanizmem zapewniającym bezpieczeństwo, ale wymaga napisania dowodu oraz opłacenia kosztu dowodu. Koszt dowodu może wynosić nawet 100 000 razy więcej niż koszt bezpośredniego obliczenia, dlatego pozostaje niepraktyczny do uruchomienia gry MMORPG, algorytmu rekomendacji na Twitterze lub uruchomienia najlepszego agenta AI.

Bezpieczeństwo kryptoeconomiczne. Aby uzyskać obiektywne bezpieczeństwo kryptoeconomiczne, potrzebujemy a) deterministycznej ponownej egzekucji, b) onchain DA oraz c) onchain dowodów oszustwa. Jeśli którakolwiek z tych warunków nie jest spełniona, nie uzyskujemy pełnej obiektywnej kryptoeconomiki. Aby uzyskać intersubiektywne bezpieczeństwo z EIGEN staked, potrzebujemy a) deterministycznej ponownej egzekucji oraz b) EigenDA dla DA.

Bezpieczeństwo TEE. TEE, w ramach swojego modelu zaufania, może zagwarantować poprawne wykonanie programu, w tym poprawne importy danych i przechowywanie kluczy prywatnych. Żaden inny tryb nie może zagwarantować poprawności dla a) obliczeń niedeterministycznych, b) zmieniających się w czasie importów danych oraz c) obliczeń prywatnych.

Zasady uruchomienia Mainnet Alpha. Uruchomiliśmy EigenCompute i EigenAI na Mainnet Alpha. Celem uruchomienia wersji alfa jest zapewnienie deweloperom wczesnego dostępu z uprawnieniami do tych potężnych funkcji, abyśmy mogli priorytetowo traktować funkcje na podstawie opinii deweloperów. W kompromisie między programowalnością a weryfikowalnością zaczynamy od najbardziej programowalnej wersji, a następnie stopniowo zwiększamy poziom zaufania i weryfikowalności. Oba te produkty będą musiały przejść dokładne audyty przed otwarciem dostępu bez uprawnień.

EigenCompute Ponieważ jednym z głównych przypadków użycia jest uruchamianie weryfikowalnych agentów AI, a tacy agenci potrzebują funkcji takich jak głębokie wyszukiwanie - które są zmienne w czasie i nie mogą być obsługiwane w żadnym trybie innym niż TEE, uruchamiamy w trybie TEE dla EigenCompute. Ekosystem EigenLayer ma bardzo potężne koprocesory z deterministyczną weryfikowalnością, w tym Layer WAVS i Brevis (które obejmują zarówno kryptoeconomiczne, jak i ZK dowody). Wkrótce rozszerzymy EigenCompute na inne tryby.

EigenAI Aby uruchomić wnioskowanie na najpotężniejszych modelach open source, potrzebujemy możliwości uruchamiania wnioskowania AI na wielu GPU. Pierwszym dużym wynikiem dla EigenAI jest nowy stos, który może zapewnić deterministyczne ponowne wykonanie na wielogpu bez jakiegokolwiek spowolnienia prędkości wnioskowania. Ta deterministyczność wymaga stałego typu GPU (takiego jak H100) do ponownego wykonania. Zauważamy, że uruchamianie wnioskowania na deterministycznym CPU (takim jak Cartesi VM lub RiscV) jest możliwe, ale wymaga ogromnego spowolnienia, co czyni niemożliwym uruchomienie modeli na najwyższym poziomie. Dlatego w duchu maksymalizacji programowalności, korzystamy z bezpieczeństwa kryptoeconomicznego. Chociaż początkowy model będzie wymagał intersubiektywnej weryfikacji, możliwe jest napisanie dowodów oszustwa na łańcuchu, aby stworzyć w pełni deterministyczne modele do ponownego wykonania. Aby uzyskać pełne bezpieczeństwo na łańcuchu, zauważamy, że wyniki wnioskowania mogą również wymagać zapisania w onchain DA.

Mapa drogowa Z biegiem czasu wypełnimy cały wykres między programowalnością a weryfikowalnością zarówno dla EigenCompute, jak i EigenAI, aby deweloperzy mieli pełny wybór dla wszelkich obliczeń offchain. EigenLayer ma rozwijający się ekosystem partnerów, którzy budują te różne modalności, i będziemy polegać na ekosystemie, aby w krótkim czasie zaoferować te różne opcje.