Numa etapa notável, a primeira especificação formal do Motor de Pagamentos XRPL foi agora publicada. Isto marca um passo importante rumo à introdução da verificação formal, que é um padrão utilizado no setor bancário e aeroespacial, aos componentes centrais do XRP Ledger.
De acordo com o desenvolvedor da RippleX, Vito Tumas, a Ripple está a trabalhar com a Common Prefix, uma empresa de investigação e desenvolvimento de blockchain, para especificar e verificar formalmente os componentes-chave do XRP Ledger: o Motor de Pagamentos e o Protocolo de Consenso.
Em linha com isto, a Common Prefix documentou o Motor de Pagamentos do XRPL publicando a primeira especificação abrangente do sistema. Isto estabelece a base para a verificação formal do Motor de Pagamentos, seguida pelo protocolo de consenso e, posteriormente, por todos os componentes cruciais do “xrpld”.
O Motor de Pagamentos é o sistema responsável por todas as transferências de valor, incluindo operações complexas como atravessar a bolsa descentralizada e rippling. O Protocolo de Consenso é o coração do ledger, permitindo que os nós cheguem a um consenso sobre um estado comum.
Esta iniciativa marca um passo crucial na maturação do XRPL para uma plataforma pronta para a próxima década de finanças institucionais e inovação descentralizada.
O que esperar
Em 2012, quando o XRP Ledger foi lançado pela primeira vez, os seus criadores tinham um objetivo principal: criar uma nova blockchain mais eficiente, com os recursos limitados disponíveis.
No entanto, para os componentes fundamentais, a implementação única em C++, xrpld — que servia como a única fonte definitiva de verdade — apresentou desafios fundamentais.
O XRP Ledger está a avançar com novas funcionalidades altamente complexas sendo continuamente propostas e adicionadas. No entanto, alterações intricadas como o Protocolo de Empréstimo, o Token Multiuso (MPT), DEX, Transações em Lote e DEXes Permissivos devem ser integradas na lógica antiga do XRP Ledger, o que levanta questões.
À luz disto, estabelecer uma especificação formal constrói uma base mais sólida que se espera que traga benefícios cumulativos em todo o ecossistema do XRP Ledger.
Por exemplo, em vez de confiar apenas em testes tradicionais, que podem apenas provar a presença de bugs, os métodos formais podem provar a ausência de certas classes de bugs.
Atualmente, a especificação do Motor de Pagamentos está a ser desenvolvida com início da verificação formal, e a do Protocolo de Consenso em 2026.
Aviso: As informações nesta página podem ser provenientes de terceiros e não representam as opiniões ou pontos de vista da Gate. O conteúdo exibido nesta página é apenas para referência e não constitui aconselhamento financeiro, de investimento ou jurídico. A Gate não garante a exatidão ou integridade das informações e não será responsável por quaisquer perdas decorrentes do uso dessas informações. Os investimentos em ativos virtuais apresentam altos riscos e estão sujeitos a uma volatilidade de preços significativa. Você pode perder todo o capital investido. Por favor, compreenda completamente os riscos envolvidos e tome decisões prudentes com base em sua própria situação financeira e tolerância ao risco. Para mais detalhes, consulte o
Aviso Legal.
Related Articles
SBI Holdings anuncia recompensas em XRP para acionistas em seis subsidiárias em 1º de maio
De acordo com o anúncio da SBI Holdings em 1º de maio de 2026, seis subsidiárias listadas, incluindo o SBI Shinsei Bank e o SBI Insurance Group, começaram a distribuir recompensas em XRP a acionistas elegíveis. Investidores que detêm pelo menos 100 ações na data-base de 31 de março têm direito a recompensas que variam de 500 ienes a
GateNews6h atrás
XRP se mantém perto de US$ 1,37 com entradas em ETF dando suporte, podendo romper
Principais insights
XRP opera dentro de um canal ascendente de alta que está se estreitando, com resistência perto de US$ 1,40 e SAR em US$ 1,4734 definindo a direção de rompimento no curto prazo.
As entradas de ETFs à vista em XRP permanecem positivas, atingindo US$ 1,30 bilhão de forma cumulativa, enquanto fundos de Bitcoin e Ethereum registram saídas expressivas em
CryptoNewsLand6h atrás
Preço do XRP se comprime em triângulo à medida que os fluxos de ETF voltam a subir
Principais insights
O preço do XRP se comprime dentro de um triângulo simétrico à medida que a volatilidade diminui, sinalizando uma possível alta, enquanto traders acompanham de perto os níveis de resistência e suporte.
A XRPL registra forte crescimento em Treasuries dos Estados Unidos tokenizados e em volumes de transferências, indicando uma alta
CryptoNewsLand7h atrás
Preço do XRP se comprime em triângulo enquanto os fluxos de ETFs se recuperam
Principais insights
O preço do XRP se comprime dentro de um triângulo simétrico à medida que a volatilidade cai, sinalizando uma possível ruptura enquanto os traders monitoram de perto os níveis de resistência e suporte.
O XRPL registra forte crescimento em Treasuries dos Estados Unidos tokenizados e nos volumes de transferências, indicando aumento no
CryptoNewsLand7h atrás
3 Altcoins para considerar — XRP, DOGE e ADA
XRP continua sensível à regulação, com discussões sobre ETFs e demanda de varejo impulsionando forte momentum de preço.
DOGE prospera com o sentimento social, entregando ganhos especulativos expressivos durante períodos de mercado em alta.
ADA mostra potencial de recuperação, já que um desenvolvimento lento pode criar valor subavaliado no longo prazo
CryptoNewsLand9h atrás
