Cardano Peras move o tratamento de certificados para o código do protocolo

Ouroboros Peras está avançando além das especificações do protocolo para os caminhos de código que determinam como os nós de Cardano armazenam certificados, os sincronizam com pares e reservam espaço no bloco para dados de consenso. A Tweag relatou o trabalho junto com atualizações da testnet e uma revisão da análise de votação criptográfica. Peras continua planejado para uma fase Dijkstra posterior, sem data anunciada de ativação na mainnet.

Armazenamento de certificados do Peras migra para o código de consenso

Uma implementação inicial de ImmutablePerasCertDB foi enviada por meio do pull request 2293 no repositório Ouroboros Consensus. O banco de dados foi projetado para fornecer armazenamento persistente para certificados do Peras e está passando por revisão interna.

Peras estende o Ouroboros Praos com votação baseada em stake e certificação de blocos. Seus certificados agregam evidências de que o stake participante endossou um bloco, fornecendo aos nós informações adicionais ao avaliar a confiança de liquidação.

Se ativado, Peras poderia permitir que exchanges, bridges e carteiras alcancem uma confiança de liquidação mais forte para transações de ADA após menos blocos. Esses serviços dependeriam das garantias de liquidação expostas pelos nós de Cardano, em vez de tratar os certificados do Peras como um recurso separado para o usuário.

A implementação do ObjectDiffusion também passou a contar com término gracioso do cliente e um método para detectar quando a sincronização de certificados alcançou o estado mais recente. Esse status pode ser usado pela máquina de estados do governor do Cardano ao coordenar conexões com pares e a sincronização da rede.

A equipe de design de rede demonstrou separadamente que certificados relevantes para a seleção de cadeia devem chegar a um nó em ordem crescente de rounds do Peras quando o nó está conectado a pelo menos um par honesto e quando se mantêm as suposições padrão de qualidade de cadeia e de rede. O resultado sobre a ordenação simplifica a distribuição planejada de certificados históricos e recentes por meio do ObjectDiffusion.

Cardano Ledger testa parâmetros governáveis do Peras

A equipe Ledger Integration está trabalhando nos componentes restantes do Peras exigidos antes que o hard fork iminente chegue ao congelamento de código. O trabalho inclui definir quais parâmetros do protocolo Peras poderão ser modificados posteriormente por meio da governança do Cardano.

Um protótipo foi enviado por meio do pull request 6067 no repositório Cardano Ledger. Finalizar a lista de parâmetros também exigirá uma atualização da Cardano Constitution, para que o arcabouço de governança especifique quais valores podem ser alterados e os limites que se aplicam a eles.

O trabalho no ledger prepara o Cardano para uma futura implementação do Peras. A ativação segue atribuída a uma fase Dijkstra posterior e exigirá testes separados, aprovação de governança e uma mudança de versão do protocolo.

Os desenvolvedores também concluíram um método inicial para estimar o tamanho do certificado antes da produção do bloco. Um certificado do Peras compete com transações de ADA e de ativos nativos pela capacidade dentro do corpo do bloco, portanto o nó forjador deve reservar espaço suficiente antes de selecionar as transações.

Um pull request relacionado reduz o número de transações selecionadas quando um bloco inclui um certificado do Peras. O ajuste impede que o nó preencha o bloco antes que os dados de consenso necessários possam ser adicionados.

Testnet do Peras se prepara para testes integrados de nó

A equipe de desenvolvimento mesclou as alterações rastreadas como Peras 67 e Peras 68 após tratar os comentários de revisão. Dois pull requests adicionais, Peras 69 e Peras 70, adicionam anotações de strictness e corrigem um bug de consulta que estava bloqueando execuções noturnas e da testnet.

A preparação da testnet inclui um script de inicialização aprimorado, coleta centralizada de logs e métricas e a atualização do branch base para o código mais recente do Peras. Essas mudanças visam tornar as falhas mais fáceis de rastrear quando os componentes de consenso, rede e ledger operam juntos.

A Tweag também revisou a versão 1.1 da análise de votação do Peras, produzida por pesquisadores da equipe de Applied Cryptography da Input Output. As questões levantadas durante a revisão estão sendo usadas para definir o plano de entrega dos componentes criptográficos exigidos por uma futura implementação na mainnet.

A atualização planejada da testnet combinará quatro capacidades antes separadas, armazenamento persistente de certificados, detecção de sincronização de certificados concluída, forja de blocos ciente de certificados e acesso do ledger aos parâmetros do Peras. Alcançar esse estado operacional depende de concluir as revisões internas em aberto e mover o branch da testnet para a implementação mais recente.