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.”
Promoção
55% de desconto na TipRanks
- Desbloqueie ferramentas poderosas de investimento com o TipRanks Premium para tomar decisões de investimento mais inteligentes e confiantes
- Assine a TipRanks Smart Investor Newsletter e descubra novas oportunidades de investimento com recomendações de ações baseadas em dados
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.

Aviso Legal: o conteúdo deste artigo reflete exclusivamente a opinião do autor e não representa a plataforma. Este artigo não deve servir como referência para a tomada de decisões de investimento.
Talvez também goste
BUZZ-TeraWulf dobra a capacidade de energia em seu centro de dados no Kentucky; ações em alta
Em 5 de outubro – As ações da desenvolvedora de data centers TeraWulf (WULF.O) subiram 3,2% no pré-mercado, chegando a 16 dólares. A TeraWulf assinou um acordo revisado com a Kentucky Power, subsidiária da American Electric Power (AEP.O), aumentando a capacidade de energia contratada no Muskie Data Campus, localizado no leste de Kentucky, de 500 megawatts para 1 gigawatt. O acordo antecipa a entrega planejada da segunda fase do projeto, de 500 megawatts, de 2030 para 2029, mas ainda depende da aprovação da Comissão de Serviços Públicos de Kentucky e do progresso das obras da Kentucky Power. Segundo projeções, o acordo prevê que, nos primeiros 10 anos de contrato, a TeraWulf destine 100 milhões de dólares para descontos nas contas de energia elétrica residenciais dos clientes da Kentucky Power durante o inverno. Até o último fechamento, as ações da empresa acumulam alta de 34,8% neste ano.
As ações da Texas Roadhouse sobem após a Evercore ISI elevar sua classificação para "desempenho acima da média"
5 de outubro – As ações da rede de restaurantes Texas Roadhouse (código: TXRH.O) subiram 1,2% no pré-mercado, chegando a US$ 158,01, após o Evercore ISI elevar sua classificação de "em linha com o mercado" para "acima do mercado". O banco de investimentos reduziu o preço-alvo de US$ 220 para US$ 200, o que ainda representa um potencial de alta de 28% em relação ao último preço de fechamento de US$ 156,14. Segundo a Evercore, a implementação total dos sistemas digitais de cozinha deu mais confiança ao restaurante para lidar com a demanda nos horários de pico, o que impulsionará ainda mais o crescimento dos pedidos para viagem e permitirá que a empresa teste novos pratos após anos sem grandes inovações. O banco acrescentou que o Roadhouse está adotando uma estratégia de preços abaixo do nível da inflação e segue focado em serviço, valor e execução, o que deve ajudar a manter um forte crescimento das vendas nas lojas já existentes. Entre 28 analistas, 16 recomendam a compra ou têm classificação acima disso para a ação, enquanto 12 recomendam manutenção; o preço-alvo mediano é de US$ 211, de acordo com dados compilados pela LSEG. Até o fechamento de ontem, as ações acumulam queda de cerca de 6% no ano.
As ações da Lumexa sobem após classificação de "compra" pela Truist
5 de outubro – As ações da fornecedora de equipamentos de diagnóstico Lumexa Imaging (LMRI.O) subiram 2% no pré-mercado, chegando a US$ 10,6. A corretora Truist Securities iniciou a cobertura das ações (link), atribuindo uma classificação “Compra”, com preço-alvo de US$ 18. Esse preço-alvo indica um potencial de valorização de cerca de 74% em relação ao fechamento do último pregão. A empresa oferece serviços de diagnóstico por imagem, incluindo ressonância magnética (MRI), tomografia computadorizada (CT) e PET scan, além de raio-X, ultrassonografia e mamografia. Todas as cinco corretoras que atualmente cobrem as ações recomendam “Compra” ou superior para LMRI; o preço-alvo mediano é de US$ 17,50, segundo dados compilados pela LSEG. Até o fechamento do último pregão, as ações da LMRI acumulam uma queda de 44,22% no ano.
Roche obtém licenciamento da terapia para Parkinson da Alector por até 1.27 bilhões de dólares, ações da Alector disparam
A Reuters noticiou em 5 de outubro que a empresa de biotecnologia americana Alector anunciou na segunda-feira que a farmacêutica suíça Roche irá pagar até 1.27 bilhões de dólares para obter a licença de sua terapia experimental para Parkinson. Impulsionadas pela notícia, as ações da Alector dispararam 72% nas negociações antes da abertura do mercado. A subsidiária da Roche, Genentech, pagará à Alector um adiantamento de 100 milhões de dólares e, caso a terapia atinja metas de desenvolvimento, regulatórias e de vendas, a Roche ainda poderá desembolsar até mais 1.17 bilhões de dólares. A Alector também receberá royalties pelo uso de suas patentes. Detalhes do acordo: - O acordo concede à Genentech direitos exclusivos em todo o mundo para desenvolver, fabricar e comercializar o AL050, uma terapia experimental destinada a tratar a deficiência enzimática associada ao Parkinson. - A Genentech será responsável pelo desenvolvimento, submissão regulatória, fabricação e comercialização da terapia. - O AL050 é uma terapia de substituição enzimática voltada à deficiência da enzima GCase — a ausência dessa enzima leva ao acúmulo de certos lipídios e ao aumento do risco de desenvolver Parkinson. Esse acordo é o mais recente de uma série de licenças que a Roche tem firmado para expandir seu portfólio de pesquisa e desenvolvimento. Em junho deste ano, a Roche e a Nurix Therapeutics fecharam um acordo de licença e colaboração envolvendo um medicamento para câncer no sangue, com valor máximo de até 2.3 bilhões de dólares. (Nota: A Reuters disponibiliza traduções automáticas de suas reportagens para diversas línguas. Essas traduções são meramente informativas, podem conter erros e não garantem a precisão do contexto. A Reuters não se responsabiliza por perdas ou danos decorrentes do uso dessas traduções automáticas.)
