Revisão de Cardano Leios mostra certificados reais, trabalho no mempool e testes no Musashi Dojo

O desenvolvimento de Leios da Cardano avançou para uma fase de testes mais prática em junho, com a equipe delineando trabalho em agregação de certificados, estrutura de blocos da era Dijkstra, operações de testnet, ferramentas de explorador e testes adversariais. Leios é a atualização de throughput da Cardano, projetada para adicionar blocos endorser ao pipeline de consenso, permitindo que mais dados de transações circulem na rede enquanto mantém os requisitos de segurança vinculados à validação, votação e certificação.

Cardano Leios adiciona certificados reais de votação

A revisão de junho mostrou progresso no fluxo de trabalho de votação e certificação por trás dos blocos endorser do Leios. A testnet pública atual já executa votação básica, enquanto a próxima camada de trabalho adiciona certificados criptográficos apropriados, agregação de votos e verificação de certificados quando os blocos são aplicados.

A equipe descreveu um certificado Leios dentro do corpo de um bloco da era Dijkstra, levando a implementação além do comportamento de espaço reservado. Um certificado típico foi descrito como com cerca de 180 bytes para aproximadamente 1.000 votantes, com a assinatura agregada usando criptografia BLS. A demonstração também explicou uma mudança sobre o que os nós votam. Em vez de votar apenas no bloco endorser, a implementação agora vota no anúncio desse bloco, porque o mesmo bloco endorser poderia ser reutilizado em contextos de cadeia concorrentes.

Essa distinção faz parte do trabalho de segurança por trás do Leios. O protocolo não está apenas introduzindo objetos de maior throughput. Ele também precisa definir como esses objetos são anunciados, validados, votados, certificados e anexados à cadeia. A equipe disse que o trabalho de certificados deve chegar à testnet após um respin, porque a atualização altera o formato do bloco.

Musashi Dojo dá aos construtores da Cardano uma testnet Leios ativa

Musashi Dojo é agora o ambiente público de testes para o Leios. A documentação oficial o descreve como uma testnet e um dojo de treinamento para Ouroboros Leios, onde participantes podem executar um nó, registrar um stake pool e começar a testar a implementação enquanto a rede ainda está em forma de protótipo.

A revisão descreveu o Musashi Dojo como um alvo de integração de longa duração para o Leios. Suas fases planejadas são Earth, Water, Fire, Wind e Void. Earth foca em onboarding, funcionalidade básica e correção. Water é planejada para exploração de parâmetros do protocolo e teste de limites. Fire é voltada para estresse de rede mais pesado, incluindo carga mais alta e latência do mundo real de nós distribuídos globalmente. Wind é reservada para testes adversariais. Void é enquadrada como trabalho de preparação final antes de um caminho posterior de hard fork.

A testnet é intencionalmente não um produto final. Ela usa código de versão preliminar, pode ser redefinida e não afeta a mainnet nem ada real. Isso a torna útil para SPOs, equipes de dApp, exploradores, indexadores, carteiras e mantenedores de SDK que precisam entender como as mudanças da era Dijkstra e os blocos endorser do Leios afetam seus sistemas.

Gargalos do mempool e testes de red team moldam a próxima fase do Leios

A revisão também focou no mempool como uma das principais restrições de engenharia para maior throughput. A equipe disse que o Leios precisa de um mempool maior e mais capaz para emitir grandes blocos endorser, enquanto o mempool do nó Haskell atual foi projetado para Praos em vez das metas de throughput do Leios.

A discussão identificou dois pontos de pressão. O envio de transações fica mais disputado quando muitos pares oferecem transações ao mesmo tempo. Ao mesmo tempo, o nó deve manter transações aplicáveis à cadeia atualmente selecionada enquanto a seleção de cadeia e a forja de blocos continuam. A equipe discutiu abordagens possíveis, incluindo um comportamento de mempool com menos bloqueio, preparação mais cedo para emissão de blocos e um mempool secundário baseado no estado do ledger esperado para a produção de blocos.

O programa de testes também inclui nós adversariais. A seção de red team descreveu um software criado para se conectar à rede e testar casos de falha sob condições controladas. Um problema inicial envolveu dados inválidos de bloco endorser sendo refletidos de volta para os relays, o que ajudou a expor e corrigir uma fraqueza no protótipo. A equipe agora está estruturando essa ferramenta para que o comportamento de ataque possa ser coordenado entre vários nós.

Isso dá ao Musashi Dojo um papel específico no roadmap do Leios da Cardano. Agora é um lugar onde o comportamento de certificados, o design do mempool, as ferramentas downstream, a visibilidade em exploradores, a diversidade de nós e as condições adversariais podem ser testados contra um protótipo público em execução. A mudança prática é que o desenvolvimento do Leios não é mais visível apenas por meio de linguagem de roadmap ou demos isoladas. Agora ele está produzindo comportamento de nós, blocos de testnet, dados de exploradores e casos de falha reproduzíveis que podem ser usados antes que o código de produção seja preparado.