Pesquisa da Cardano: Uma grande reserva sozinha não garantirá Prova de Participação

Um artigo revisado por pares de Manvir Schneider, pesquisador da Cardano Foundation, e de Paolo Penna, da Input Output Global (IOG), foi publicado em 2 de outubro nos anais oficiais da AFT 2026, na série LIPIcs de Schloss Dagstuhl. A Cardano Foundation o apresentou em uma publicação em 13 de outubro. O artigo cita Cardano como o exemplo canônico de uma rede que financia recompensas a partir de taxas e de uma reserva gasta gradualmente. Os autores concluem que uma política de gasto da reserva não deve ser avaliada apenas pela data em que a reserva se esgotaria nominalmente.

Segurança econômica e o limiar de reserva no artigo da AFT 2026

O estudo, "Esgotamento da Reserva e Horizonte de Segurança em Sistemas de Prova de Participação", foi apresentado na 8ª Conferência sobre Avanços em Tecnologias Financeiras, em Londres. Ele se concentra na segurança econômica, usando um modelo econômico para examinar quanta capacidade segura os validadores fornecem quando suas recompensas vêm de taxas e da reserva enquanto o preço do token e a demanda variam. A Cardano Foundation é uma organização sem fins lucrativos suíça que apoia o desenvolvimento e a adoção de Cardano, e a IOG é a empresa de engenharia e pesquisa por trás do protocolo Ouroboros.

O modelo descreve a transição do financiamento pela reserva para o financiamento por taxas. Enquanto uma rede é jovem, as taxas não cobrem o custo do nível de segurança alvo, então uma reserva de tokens paga a diferença até que o aumento do uso permita que as taxas assumam. O horizonte de segurança é o período durante o qual a reserva, ao preço e à demanda atuais do token, ainda pode sustentar essa meta. Segundo o artigo, esse período não termina quando a reserva está vazia, mas quando ela primeiro se torna pequena demais para cobrir a insuficiência.

Os autores chamam de limiar de reserva a linha entre uma reserva suficiente e uma insuficiente: a menor quantia que ainda financia a meta sob determinadas condições de mercado. O limiar divide os estados possíveis de uma rede em três zonas. Quando a demanda é fraca demais, nenhuma quantia consegue sustentar a meta. Na zona intermediária, a segurança depende de um subsídio da reserva, enquanto na terceira zona o limiar é zero porque apenas as taxas financiam a segurança.

A reserva de Cardano, o parâmetro ρ e as recompensas dos stake pools

De acordo com a documentação de política monetária de Cardano, as taxas de todos os blocos em uma época vão para um fundo de recompensas, que também recebe um percentual fixo da reserva restante de ADA. Esse percentual, o parâmetro ρ, é de 0,3 por cento por época. A essa taxa, diz a documentação, metade do montante restante é gasto dentro de quatro a cinco anos. Do fundo de recompensas, 20 por cento (o parâmetro τ) vai para o tesouro, e o restante é distribuído como recompensas em ADA.

O estudo não modela as regras de Cardano, mas sim um caso geral com dois parâmetros: a parcela das taxas devolvida à reserva e a parcela da reserva paga a cada período. Os validadores no modelo pagam seus custos em uma moeda externa, como dólares, enquanto a reserva é mantida no token nativo. Os autores observam, portanto, que o nível de segurança que uma reserva pode financiar depende do número de tokens multiplicado por seu preço, e não apenas da contagem de tokens.

Alcançar a zona em que apenas as taxas financiam a segurança segue uma lógica diferente. Segundo o artigo, isso depende da demanda e não do preço do token, porque as taxas que os usuários pagam já são medidas na moeda externa.

Um teste de estresse para a governança do protocolo e os limites do modelo

O Teorema 15, que os autores dizem ser destinado à governança do protocolo, traduz pressupostos pessimistas sobre preço e demanda em um tamanho mínimo de reserva para um determinado horizonte temporal. Segundo o teorema, se a reserva atender a essa condição, a segurança é mantida em todo caminho de preço e demanda que permaneça acima dos patamares mínimos escolhidos. É uma estimativa conservadora porque o teste ignora entradas futuras de taxas na reserva, e a garantia vale dentro das premissas do teorema.

Os autores também expõem os limites do modelo. Preço e demanda são tomados como dados, portanto o artigo não explica a valoração do token nem a adoção. Os validadores são simétricos na versão de referência, razão pela qual o limiar deve ser lido como uma referência. Os exemplos numéricos usam parâmetros ilustrativos, incluindo cinco validadores, e não constituem um cálculo para Cardano. Membros da comunidade pediram exatamente esse tipo de cálculo para o estado atual de Cardano em respostas à publicação da Cardano Foundation.

Como próximo passo, os autores propõem uma política adaptativa em que pagamentos e retenção de taxas seguiriam o estado da rede, por exemplo reduzindo pagamentos após uma queda de preço ou retendo mais taxas quando a reserva estiver baixa. A governança do protocolo então escolheria uma regra que se ajusta ao tamanho da reserva, ao preço e à demanda, sujeita a restrições de incentivo e credibilidade. Os autores descrevem isso como uma passagem de avaliar uma política existente para projetar uma nova e o apontam como tema para suas pesquisas futuras.