David Schwartz, CTO Emérito da Ripple, destaca a validação de consenso do XRPL enquanto o preço do XRP se mantém em $1.41

Engenheiros de software que trabalham no XRP Ledger expandiram os testes verificados por máquina para validar o código central em toda a rede. A engenheira da RippleX, Mayukha Vadari, confirmou uma parceria com a empresa de pesquisa CommonPrefix para provar matematicamente que as partes principais do XRP Ledger funcionam conforme o esperado.

O sistema de verificação utiliza provas matemáticas verificadas por máquina para testar as especificações do software contra todas as entradas possíveis. Diferente dos conjuntos de teste padrão, que verificam execuções de dados específicas, as provas matemáticas completas verificam todo o espaço de entradas. As equipes de engenharia utilizam a mesma tecnologia central para formalizar teoremas matemáticos complexos.

David Schwartz destaca a prova de consenso do XRP Ledger

O desenvolvimento atraiu a atenção de membros da comunidade XRP (XRP-USD) e do ex-CTO da Ripple, David Schwartz. Schwartz ajudou a projetar a arquitetura original do XRP Ledger antes de assumir sua posição de emérito. Em resposta ao anúncio, David Schwartz declarou que “descobri uma prova fantástica da validade formal do algoritmo de consenso do XRPL, mas as limitações de tamanho das publicações do X tornam os posts pequenos demais para contê-la.”

Schwartz continua operando seu próprio hub de rede para coletar dados e aprimorar o desempenho da rede. Sua contribuição técnica anteriormente ajudou no lançamento da versão de software 3.2.1, que resolveu picos de tráfego na rede observados no final de julho.

Rede do XRP passa por análises independentes de segurança

Equipes de segurança também concluíram verificações independentes em funcionalidades do protocolo do XRP Ledger. A empresa Cantina Security realizou uma auditoria independente sobre o recurso Permission Delegation juntamente com testes internos de garantia de qualidade. A equipe de auditoria verificou correções na versão 1.1, enquanto testes automatizados concluíram 5.088 testes sem erros de código.

O chefe de engenharia da Ripple, JA Akinyele, destacou que a configuração da delegação ao nível do protocolo requeria elevados padrões de segurança, pois altera o tratamento central das transações. Entretanto, o XRP é negociado próximo de 1,41 dólares, enquanto mantém suporte acima da média móvel exponencial de 200 dias, próxima de 1,35 dólares.