📈 economics

The Cost of Secure Restaking vs. Proof-of-Stake

Este artigo compara a eficiência de capital entre o restaking seguro e os protocolos de Prova de Participação (PoS), demonstrando que o restaking pode oferecer economias significativas que crescem assintoticamente com a raiz quadrada do número de validadores, ao estabelecer limites superiores e inferiores para as participações necessárias na transformação entre essas estruturas.

Autores originais: Akaki Mamageishvili, Benny Sudakov

Publicado 2026-03-16

📖 4 min de leitura☕ Leitura rápida

CC BY 4.0

Autores originais: Akaki Mamageishvili, Benny Sudakov

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Imagine que você tem um cofre de segurança muito forte. Para protegê-lo, você precisa de guardiões (os validadores) que travem uma parte do seu dinheiro (stake) como garantia. Se eles agirem mal, perdem esse dinheiro.

Agora, imagine que você tem não apenas um cofre, mas uma cidade inteira de cofres (serviços, projetos, blockchains).

O Cenário: Duas Formas de Proteger a Cidade

O artigo compara duas maneiras de organizar esses guardiões e seus cofres:

O Modelo Tradicional (Proof-of-Stake - PoS):
É como se cada cofre tivesse sua própria equipe de guardiões exclusiva. Se o "Cofre de Ouro" precisa de 10 guardiões, você contrata 10 pessoas só para ele. Se o "Cofre de Prata" precisa de 10, você contrata outras 10 pessoas.
- Vantagem: É simples e seguro.
- Desvantagem: É caro e ineficiente. Você precisa de muito dinheiro travado no total para proteger tudo, porque o dinheiro de um guardião não ajuda o outro cofre.
O Modelo de "Restaking" (Reutilização):
É como se os guardiões fossem "super-heróis" que protegem vários cofres ao mesmo tempo. O mesmo guardião que vigia o Cofre de Ouro também vigia o Cofre de Prata e o Cofre de Bronze. Ele usa o mesmo dinheiro travado para garantir a segurança de todos.
- Vantagem: Parece muito mais eficiente! Você usa menos dinheiro total para proteger a mesma quantidade de coisas.
- Desvantagem: É perigoso. Se o guardião falhar em um cofre, ele pode perder o dinheiro e, consequentemente, deixar todos os outros cofres desprotegidos. É uma rede de dependências complexa.

O Grande Mistério: A Economia Real

Os autores deste artigo se perguntaram: "O modelo de Restaking realmente economiza dinheiro comparado ao modelo tradicional, ou é apenas uma ilusão?"

Eles queriam saber: Se pegarmos um sistema de Restaking seguro e tentássemos transformá-lo em vários sistemas tradicionais separados (PoS), quanto dinheiro extra precisaríamos injetar para que tudo continuasse seguro?

As Descobertas (Traduzidas para Analogias)

1. A Regra do "Cofre Seguro"

Os autores descobriram que, para um sistema de Restaking ser seguro, ele precisa seguir uma regra matemática específica. Se ele seguir essa regra, é possível, teoricamente, separar os guardiões e criar sistemas tradicionais independentes.

2. A Economia Real (Restaking Savings)

Aqui está a parte mais interessante. Eles provaram que o Restaking pode economizar muito dinheiro, mas depende do tamanho da rede:

A Analogia da Rede de Estradas: Imagine que você tem muitos guardiões e muitos cofres. O artigo mostra que, em redes grandes, a economia de capital pode crescer na raiz quadrada do número de guardiões.
Em termos simples: Se você tiver 100 guardiões, a economia é pequena. Mas se tiver 1 milhão de guardiões, a economia de capital pode ser gigantesca (da ordem de 1.000 vezes mais eficiente em certos cenários teóricos).
Conclusão: O Restaking é uma ferramenta poderosa para economizar dinheiro em sistemas massivos, mas não é mágica; há limites.

3. O Perigo de Misturar Tudo (Aggregation)

O artigo também olhou para o caminho inverso: "E se pegarmos vários sistemas tradicionais seguros e tentarmos fundi-los em um único sistema de Restaking?"

A Analogia do Casamento Forçado: Imagine casar várias famílias que viviam em paz separadas. De repente, elas moram na mesma casa. Se um membro da família A briga com a família B, o caos se espalha.
O Resultado: Para tornar essa "casa compartilhada" (o Restaking) segura, você muitas vezes precisa adicionar muito mais dinheiro do que o necessário. Às vezes, a economia vira um prejuízo enorme. Se você juntar muitos projetos, o custo para manter a segurança pode explodir.

O Que Isso Significa para o Mundo Real?

Não é "Tudo ou Nada": Nem o Restaking nem o modelo tradicional são sempre melhores. Depende de como a rede está estruturada.
O "Custo Oculto": O Restaking promete eficiência, mas exige uma estrutura muito bem planejada. Se você misturar projetos demais sem cuidado, a segurança pode desmoronar e exigir que você trave muito mais dinheiro do que o necessário.
O Futuro: Os autores sugerem que, para o Restaking funcionar bem, precisamos de regras melhores e mais inteligentes para garantir que a economia de capital seja real e não apenas teórica.

Resumo em uma Frase

O artigo diz que reutilizar a segurança (Restaking) pode economizar uma fortuna em grandes redes, mas se você misturar os projetos de forma desorganizada, pode acabar gastando ainda mais dinheiro para garantir que nada quebre. É um equilíbrio delicado entre eficiência e risco.

1. Problema e Contexto

O artigo investiga a eficiência de capital de protocolos de Restaking (reutilização de participação) em comparação com protocolos tradicionais de Prova de Participação (PoS) independentes.

Contexto: O restaking permite que validadores reutilizem seus ativos garantidos (stake) para garantir múltiplos serviços ou projetos, criando um grafo bipartido entre validadores e serviços. Isso promete ganhos de eficiência de capital, mas introduz interdependências complexas e riscos de segurança.
Questão Central: O restaking realmente reduz os requisitos totais de stake (capital travado) em comparação com a execução de protocolos PoS independentes para os mesmos serviços? Se sim, qual é a magnitude dessa economia?
Definição de Segurança: A segurança é definida economicamente: um ataque é lucrativo se o valor ganho com o ataque superar o valor dos stakes perdidos (cortados) pelos validadores maliciosos. Um sistema é seguro se nenhum subconjunto de validadores puder realizar um ataque lucrativo.

2. Metodologia e Modelo

Os autores formalizam o problema utilizando teoria dos grafos e análise combinatória:

Grafo de Restaking ( $G$ ): Representado como um grafo bipartido $G = (S, V, E)$ $G = (S, V, E)$ , onde:
- $S$ : Conjunto de serviços (projetos) com valores $\pi_s$ e parâmetros de segurança $\alpha_s$ (fração do stake necessária para atacar).
- $V$ : Conjunto de validadores com stakes iniciais $\sigma_v$ .
- $E$ : Arestas indicando quais validadores garantem quais serviços.
Condição de Segurança: Um subconjunto de validadores pode atacar um serviço se a soma de seus stakes sobre o total stake daquele serviço exceder $\alpha_s$ . Um ataque é lucrativo se o valor total dos serviços atacados for maior que a soma dos stakes perdidos.
Abordagem Analítica:
1. Restaking Savings (Economia de Restaking): Medida de quanto stake extra é necessário adicionar aos validadores de um grafo de restaking seguro para que eles possam ser divididos em protocolos PoS independentes e seguros.
2. PoS Savings (Economia de PoS): Medida de quanto stake extra é necessário adicionar ao stake agregado de validadores que participam de múltiplos PoS independentes para garantir que o grafo de restaking resultante seja seguro.
3. Restrição de Capital: Assume-se que os stakes iniciais não podem ser reduzidos (apenas aumentados), modelando a necessidade de "sobre-colateralização" para garantir a segurança em cenários de reestruturação.

3. Principais Contribuições e Resultados

O artigo estabelece limites superiores e inferiores (bounds) para as economias de capital em ambos os cenários.

A. Economia de Restaking (Restaking Savings - $RS$)

Os autores analisam a eficiência de transformar um grafo de restaking seguro em protocolos PoS separados.

Condição Suficiente Existente: Eles examinam a condição suficiente proposta pelo projeto EigenLayer. Mostram que, se um grafo satisfaz essa condição, ele não oferece economia de capital ($RS = 0$), pois os stakes podem ser simplesmente redistribuídos sem custos adicionais.
Limites Superiores (Upper Bounds):
- $RS(G)$ é limitado pelo grau máximo dos serviços ( $\max d_G(s)$ ).
- É limitado por $K$ , o mínimo número máximo de incidências de validadores em uma cobertura de serviços.
- É limitado por $1/\alpha_2$ (onde $\alpha_2$ é o segundo menor parâmetro de segurança).
- Resultado Chave: $RS(G) \leq 2\sqrt{n} - 1$ , onde $n$ é o número de validadores.
Limites Inferiores (Lower Bounds):
- Os autores constroem um exemplo onde $RS(G) \in \Omega(m)$ (linear no número de serviços) e, consequentemente, $\Omega(\sqrt{n})$ .
- Conclusão: A economia de restaking pode crescer assintoticamente como a raiz quadrada do número de validadores ( $\Theta(\sqrt{n})$ ). Isso significa que, em sistemas grandes, o restaking pode exigir significativamente menos capital total do que PoS independentes para manter a mesma segurança.

B. Economia de PoS (PoS Savings - $PoSS$)

Os autores analisam o custo de agregar protocolos PoS independentes em um único grafo de restaking.

Problema: Ao agregar stakes de validadores que atuam em múltiplos serviços, as interdependências podem criar vulnerabilidades onde um único validador controla uma fração suficiente de stake em vários serviços para atacar todos eles lucrativamente.
Limites Inferiores:
- Existe um caso onde $PoSS(G) \geq m - 1$ (onde $m$ é o número de serviços/validadores).
- Isso implica que, para garantir a segurança após a agregação, pode ser necessário adicionar um stake extra equivalente a quase o dobro do capital original (fator de $m-1$ ).
Limites Superiores:
- $PoSS(G) \leq \max_{s \in S} d_G(s) - 1$ .
Conclusão: A ineficiência da agregação (PoS Savings) pode ser muito maior do que a eficiência do restaking. Enquanto o restaking economiza até $\sqrt{n}$ , a agregação pode exigir um custo linear em relação ao número de serviços ( $n$ ).

4. Significado e Implicações

Eficiência de Capital: O restaking não é inerentemente "melhor" ou "pior" que o PoS independente; depende da estrutura do grafo.
- Em sistemas com muitos validadores e serviços bem distribuídos, o restaking oferece economias de capital significativas (crescendo com $\sqrt{n}$ ).
- No entanto, a agregação de sistemas PoS existentes em um restaking pode ser extremamente ineficiente, exigindo sobre-colateralização massiva para evitar ataques coordenados.
Parâmetros de Segurança: Para parâmetros de segurança típicos (como $1/2, 1/3, 1/4$ ), o limite superior de economia é uma constante pequena (entre 2 e 4 vezes o stake original), mas a estrutura do grafo (graus dos nós) é o fator determinante.
Implicações Práticas (EigenLayer): O artigo sugere que restrições recentes em projetos como o EigenLayer (que limitam o slashing a um único serviço por ativo) efetivamente forçam os validadores a particionar seus stakes, anulando as economias de capital do restaking e reduzindo a economia para zero.
Desafio Aberto: A existência de uma condição suficiente de segurança que seja verificável em tempo polinomial e que admita grafos com economia de capital estritamente positiva ainda é uma questão em aberto.

5. Conclusão Geral

O trabalho fornece uma fundamentação teórica rigorosa para a economia do restaking. Demonstra que, embora o restaking possa oferecer ganhos de eficiência de capital substanciais em grandes redes (escala $\Theta(\sqrt{n})$ ), a agregação de protocolos existentes pode ser proibitivamente cara em termos de requisitos de capital. O resultado final é que nenhuma das duas abordagens domina a outra universalmente; a escolha ótima depende da topologia específica da rede e dos requisitos de segurança dos serviços envolvidos.