Cardano Leios Avança do Protótipo para Testes de Alta Confiança

O projeto Ouroboros Leios do Cardano está entrando em uma fase mais exigente de desenvolvimento, onde a questão central não é mais apenas se a rede pode aumentar a capacidade de processamento, mas se esse aumento pode ser provado seguro sob condições reais de rede. A Revisão Mensal de maio de 2026 de Leios focou no progresso do protótipo, suporte à governança, testes de equipe vermelha, testes de estresse de submissão de transações e no trabalho de engenharia necessário antes que o Leios possa se aproximar do mainnet.

Leios foi projetado como um protocolo de alta capacidade para o Cardano que aumenta a capacidade de transação ao mesmo tempo que preserva a segurança e a compatibilidade do ecossistema. A atualização oficial do Cardano publicada em maio afirmou que a IOG submeteu uma proposta de tesouraria de ₳27,7 milhões para fazer a transição do Ouroboros Leios de um protótipo de testnet para um candidato a lançamento pronto para mainnet até o final de 2026, com uma meta de capacidade escalonada de 10x a 65x.

A revisão de maio adiciona uma camada mais técnica a esse plano. A equipe afirmou que a proposta atual para continuar desenvolvendo o Leios rumo ao mainnet foi votada, ratificada e estava prestes a ser implementada, com apoio descrito em cerca de 88%.

Isso coloca o Leios diretamente no processo de governança do Cardano, onde o desenvolvimento de protocolos, votações DRep e a confiança dos operadores de pool de staking (SPOs) agora precisam avançar juntos.

A governança do Cardano dá ao Leios um caminho para o mainnet

A revisão mostrou progresso contínuo no protótipo Leios, incluindo visualização da cadeia, lógica de votação e o fluxo de certificação em torno dos blocos endossantes. Na demonstração, os nós produziram blocos, anunciaram blocos endossantes, coletaram votos e alcançaram o limite necessário para certificação antes que as transações pudessem ser refletidas no estado do ledger.

Em termos práticos, Leios adiciona uma nova camada de trabalho em torno da produção de blocos. Em vez de depender apenas de blocos padrão para carregar transações, os blocos endossantes permitem que conjuntos maiores de transações sejam propostos, votados e certificados. Uma vez que um certificado é incluído, essas transações podem ser efetuadas no estado do ledger.

A equipe também conectou o trabalho do protótipo à era Dijkstra, criptografia BLS, registro de chaves e pontos de integração futuros para implementações de nós. Essa distinção é importante. O protótipo está sendo usado como área de preparação e experimentação, e não como um código que pode simplesmente ser levado para produção sem mais engenharia. A revisão deixou claro que trabalho adicional de implementação em nível de produção ainda é necessário antes que Leios possa ser tratado como um candidato a upgrade do mainnet.

Para o Cardano, esse é o importante ângulo de governança. Leios não é apenas uma atualização de capacidade sendo desenvolvida isoladamente. É uma mudança de protocolo que exigirá evidências técnicas, prontidão de implementação e confiança suficiente dos operadores que eventualmente instalarão e executarão o software.

O trabalho de alta confiança do Leios introduz testes de equipe vermelha

A parte mais forte da revisão de maio foi a introdução do fluxo de trabalho de alta confiança. A equipe enquadrou isso como um fator decisivo para o Leios, porque os DReps primeiro precisam votar em um hard fork e os SPOs precisam de confiança suficiente para instalá-lo. Provas matemáticas e progresso de desenvolvimento não são suficientes por si só. A rede também precisa de evidências de que o design se comporta com segurança quando as condições são adversas ou imperfeitas.

É por isso que uma equipe vermelha começou a trabalhar com o simulador Rust, criando ferramentas para cenários de ataque deliberado. O objetivo é validar o modelo de ameaça existente testando como o Leios se comporta quando os nós falham, se recusam a cooperar ou tentam interromper o comportamento esperado. Espera-se que esses cenários sejam testados em simulações e mais tarde em testnets.

Uma ferramenta chave nesse processo é o Piranha, um nó leve sem componente de ledger, mas com comportamento real de rede e consenso. Ele pode se comunicar por meio de mini-protocolos reais e pode ser instruído a se comportar mal, permitindo que a equipe coordene falhas ou padrões de ataque em vários nós. Isso torna possível testar como o restante da rede responde quando alguns participantes se desviam do comportamento esperado.

Um exemplo inicial foi o cenário do votante preguiçoso, onde um membro do comitê que deveria votar se recusa a fazê-lo. A equipe também descreveu o trabalho em cenários que envolvem falhas na distribuição de blocos endossantes e ataques de equivocação, onde um nó pode enviar informações diferentes de blocos endossantes em direções diferentes.

É aqui que a história do Leios se transforma em algo mais do que apenas uma manchete sobre escalabilidade. O projeto está agora testando se o protocolo pode preservar a segurança e recuperar um comportamento previsível quando modos de falha do mundo real são introduzidos. Para uma atualização de consenso que pode reformular o perfil de capacidade do Cardano, esse trabalho é tão importante quanto a própria meta de capacidade de processamento.

Testes de estresse no mempool mostram onde escalar o Cardano se torna difícil

A revisão também mostrou que parte do trabalho mais difícil do Leios agora está nas camadas de mempool, difusão de transações e modelagem de rede. Testes de estresse usaram uma topologia menos conectada de propósito, com nós espalhados pela Europa, Estados Unidos e Ásia-Pacífico. O teste usou um mempool de 25 megabytes e foi projetado para colocar pressão na submissão de transações e no comportamento do mempool.

Os resultados mostraram diferenças regionais claras. Nós europeus, mais próximos da configuração de retransmissão, preencheram seus mempools mais rapidamente. Nós dos Estados Unidos demoraram mais, mas eventualmente alcançaram a meta. Nós da Ásia-Pacífico, com maior latência, não conseguiram preencher totalmente seus mempools da mesma maneira.

Essa descoberta não enfraquece o caso do Leios. Ela identifica a camada que deve ser aprimorada. A equipe afirmou que o mempool atual não está otimizado para esse tipo de cenário de alta capacidade, embora tenha observado que a capacidade da CPU não foi o principal gargalo em condições de benchmark comparáveis. O desafio está na maneira como as transações são difundidas, validadas, revalidadas e conectadas a diferentes estados de ledger.

Leios torna esse problema mais complexo porque o sistema tem que raciocinar sobre mais de um estado de ledger. Uma transação válida contra o estado básico do ledger pode não ser válida contra um estado estendido pela inclusão de um bloco endossante, e o inverso também pode ocorrer. Isso cria perguntas abertas de design sobre se o Leios precisa de diferentes visões de mempool, como essas visões devem ser sincronizadas e como a forja de blocos pode permanecer rápida o suficiente.

A equipe também discutiu o problema de participantes atrasados. Em uma demonstração, todos os nós podem começar juntos. Em um testnet ou mainnet real, nós podem entrar atrasados, ficar offline e retornar após perder mensagens-chave. A solução proposta permite que um nó que perdeu uma oferta de bloco Leios solicite os dados do bloco endossante que faltam e alcance o restante da cadeia.

A modelagem de rede foi outra parte importante da revisão. A discussão abrangeu seleção de pares, busca de blocos endossantes, links de alta latência, comportamento de resposta lenta, modelagem Delta Q e algoritmos de congestão TCP, como Cubic, Reno e BBR. O detalhe é técnico, mas a mensagem é clara: Leios está sendo testado contra as restrições reais de uma rede descentralizada global, não apenas contra pressupostos de laboratório limpos.

É por isso que a revisão de maio é um marco importante para o Cardano. O Leios está agora sendo levado pela parte do desenvolvimento de protocolo que mais importa antes de um hard fork, onde metas de capacidade de processamento precisam sobreviver à latência, contencioso do mempool, recuperação de nós, comportamento adverso e escrutínio da governança. Se o projeto alcançar um candidato pronto para mainnet até o final de 2026, o valor não estará apenas em uma capacidade maior. Estará nas evidências de que o Cardano pode escalar sua camada de consenso por meio de um processo que operadores, desenvolvedores e participantes da governança podem confiar independentemente.