A EigenCloud passou os \u00faltimos dois anos a vender uma ideia simples: pegar no ETH j\u00e1 apostado na rede Ethereum e voltar a coloc\u00e1-lo a trabalhar, protegendo pontes, or\u00e1culos e camadas de disponibilidade de dados atrav\u00e9s do restaking. Em 2026, essa ideia perdeu parte do seu brilho. O valor total bloqueado no protocolo caiu de um pico pr\u00f3ximo dos 19,7 mil milh\u00f5es de d\u00f3lares para uma fra\u00e7\u00e3o disso, o token EIGEN negoceia mais de 96% abaixo do m\u00e1ximo hist\u00f3rico, e v\u00e1rios dos maiores nomes do setor, como a Symbiotic e a Karak, j\u00e1 mudaram de discurso para se afastarem do restaking puro. \u00c9 neste contexto que a Eigen Labs est\u00e1 a apostar praticamente tudo numa dire\u00e7\u00e3o diferente: j\u00e1 n\u00e3o seguran\u00e7a partilhada para outros protocolos, mas computa\u00e7\u00e3o verific\u00e1vel para aplica\u00e7\u00f5es de intelig\u00eancia artificial.<\/p>
A aposta chama-se EigenCompute, tem por tr\u00e1s um investimento direto de 70 milh\u00f5es de d\u00f3lares da a16z, j\u00e1 contabiliza tr\u00eas integra\u00e7\u00f5es reais, incluindo um protocolo de agentes da Google, e obriga a uma pergunta desconfort\u00e1vel: o ETH em restaking ajuda mesmo a verificar que um modelo de intelig\u00eancia artificial correu como devia, ou \u00e9 apenas mais um cap\u00edtulo de uma tentativa de recuperar relev\u00e2ncia num setor em contra\u00e7\u00e3o? Este artigo detalha a arquitetura por tr\u00e1s do EigenCompute, o dinheiro que a financia, o calend\u00e1rio de desbloqueios que continua a diluir o token EIGEN, e porque nenhum dos concorrentes diretos (Symbiotic, Babylon, SSV Network, Karak\/OpenGDP) seguiu o mesmo caminho at\u00e9 agora. Explica-se tamb\u00e9m o que isto significa em Portugal, onde a CMVM e o Banco de Portugal j\u00e1 t\u00eam um regime MiCA em pleno funcionamento desde julho.<\/p>
Restaking \u00e9 o mecanismo, popularizado pela EigenLayer a partir de 2023, que permite a quem j\u00e1 tem ETH apostado (ou um token de staking l\u00edquido) voltar a comprometer esse mesmo capital para proteger servi\u00e7os terceiros, os chamados AVS (Actively Validated Services): or\u00e1culos, pontes entre blockchains, sequenciadores de rollups, camadas de disponibilidade de dados. Em troca, o operador recebe rendimento adicional; em contrapartida, aceita novas condi\u00e7\u00f5es de corte (slashing) caso o servi\u00e7o protegido falhe ou seja atacado. Vitalik Buterin, cofundador da Ethereum, avisou j\u00e1 em maio de 2023 que sobrecarregar o consenso da rede desta forma tem custos: escreveu no seu blogue pessoal<\/a> que \u00abqualquer expans\u00e3o das fun\u00e7\u00f5es do consenso da Ethereum aumenta os custos, a complexidade e os riscos de correr um validador\u00bb. O aviso n\u00e3o impediu o crescimento do setor, mas ajuda a perceber porque o restaking sempre teve uma rela\u00e7\u00e3o tensa com a ala mais conservadora da comunidade Ethereum.<\/p> Depois do lan\u00e7amento do slashing em produ\u00e7\u00e3o, em abril de 2025, o setor cresceu, estagnou e por fim contraiu-se de forma acentuada ao longo de 2026, um percurso j\u00e1 detalhado noutros artigos desta s\u00e9rie, incluindo o levantamento de quem est\u00e1 mesmo a alocar capital institucional em restaking<\/a> e os riscos de slashing em cascata<\/a> que acompanham qualquer estrat\u00e9gia deste tipo. \u00c9 contra este pano de fundo que a EigenCloud decidiu mudar de rumo.<\/p> A EigenLayer mudou de nome para EigenCloud ao longo de 2025, mas o rebranding foi mais do que cosm\u00e9tico. A Eigen Labs, empresa por tr\u00e1s do protocolo, passou a apresentar-se n\u00e3o como um mercado de seguran\u00e7a partilhada, mas como uma \u00abcloud verific\u00e1vel\u00bb, uma alternativa \u00e0 AWS ou \u00e0 Google Cloud em que qualquer computa\u00e7\u00e3o, n\u00e3o apenas a valida\u00e7\u00e3o de blocos, pode ser acompanhada de uma garantia econ\u00f3mica ou criptogr\u00e1fica de que correu corretamente. O argumento comercial \u00e9 direto: o mercado de seguran\u00e7a partilhada para AVS \u00e9 finito e j\u00e1 mostra sinais de satura\u00e7\u00e3o, mas o mercado de infraestrutura de computa\u00e7\u00e3o verific\u00e1vel para intelig\u00eancia artificial \u00e9, em teoria, muito maior.<\/p> Para financiar esta aposta, a Eigen Labs recebeu, a 17 de junho de 2025, um investimento direto de 70 milh\u00f5es de d\u00f3lares da a16z crypto atrav\u00e9s da compra do pr\u00f3prio token EIGEN (n\u00e3o uma ronda de capital tradicional), depois de a mesma firma j\u00e1 ter liderado uma S\u00e9rie B de 100 milh\u00f5es de d\u00f3lares em fevereiro de 2024. Sreeram Kannan, fundador e presidente executivo da Eigen Labs, resumiu a ambi\u00e7\u00e3o em declara\u00e7\u00f5es citadas pela CoinDesk<\/a>: \u00aba EigenCloud vai permitir a pr\u00f3xima gera\u00e7\u00e3o de aplica\u00e7\u00f5es cripto disruptivas e de larga escala, fechando o fosso entre o que os programadores querem construir onchain e o que as blockchains atualmente permitem construir\u00bb. Ali Yahya, general partner da a16z crypto, foi na mesma dire\u00e7\u00e3o: \u00aba EigenLayer est\u00e1 a superar os estrangulamentos t\u00e9cnicos das blockchains para permitir uma nova categoria de aplica\u00e7\u00f5es constru\u00eddas sobre solu\u00e7\u00f5es verific\u00e1veis\u00bb.<\/p> A proposta da EigenCloud assenta em tr\u00eas produtos que, em conjunto, comp\u00f5em essa \u00abcloud verific\u00e1vel\u00bb:<\/p> A pe\u00e7a complementar chama-se EigenAI, uma interface de infer\u00eancia compat\u00edvel com a API da OpenAI que promete execu\u00e7\u00e3o determin\u00edstica bit a bit de modelos de linguagem em GPU, usando como primeiro modelo suportado uma variante do gpt-oss-120b. \u00c9 um requisito t\u00e9cnico que se revela mais dif\u00edcil do que parece, como se explica a seguir.<\/p> Provar que uma computa\u00e7\u00e3o correu corretamente costuma exigir que essa computa\u00e7\u00e3o seja determin\u00edstica, ou seja, que os mesmos dados de entrada produzam sempre exatamente o mesmo resultado, byte a byte. A infer\u00eancia de modelos de linguagem em GPU n\u00e3o tem essa propriedade por defini\u00e7\u00e3o: opera\u00e7\u00f5es de v\u00edrgula flutuante n\u00e3o s\u00e3o associativas, e a forma como os c\u00e1lculos s\u00e3o paralelizados e agrupados em lote varia consoante a carga do servidor, produzindo pequenas diferen\u00e7as num\u00e9ricas entre execu\u00e7\u00f5es id\u00eanticas na teoria. Chama-se a isto, informalmente, o paradoxo do determinismo: aquilo que torna a infer\u00eancia de IA r\u00e1pida e barata, o paralelismo massivo em GPU, \u00e9 exatamente o que a torna dif\u00edcil de verificar de forma barata.<\/p> Vitalik Buterin abordou o problema mais amplo da verifica\u00e7\u00e3o de intelig\u00eancia artificial num ensaio de janeiro de 2024, The promise and challenges of crypto + AI applications<\/a>, onde distingue quatro pap\u00e9is que a IA pode desempenhar num mecanismo: jogador dentro do jogo, interface para o jogo, regras do jogo, ou o pr\u00f3prio objetivo do jogo. A sua conclus\u00e3o sobre porque a verifica\u00e7\u00e3o importa continua a ser uma das cita\u00e7\u00f5es mais repetidas do setor: \u00abse um modelo de IA que desempenha um papel central num mecanismo \u00e9 fechado, n\u00e3o se pode verificar o seu funcionamento interno, e por isso n\u00e3o \u00e9 melhor do que uma aplica\u00e7\u00e3o centralizada\u00bb. \u00c9 esta lacuna, entre modelos opacos e mecanismos que exigem confian\u00e7a, que produtos como o EigenCompute tentam preencher.<\/p> O EigenCompute n\u00e3o \u00e9 a \u00fanica forma de resolver este problema. O setor tem vindo a convergir para quatro abordagens distintas, cada uma com um modelo de confian\u00e7a pr\u00f3prio:<\/p>Da EigenLayer \u00e0 EigenCloud: o piv\u00f4 que poucos viram chegar<\/h2>
Os tr\u00eas pilares da nova arquitetura<\/h2>
O problema do determinismo<\/h2>
Quatro maneiras de verificar uma m\u00e1quina<\/h2>