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.
Isenção de responsabilidade: As informações contidas nesta página podem ser provenientes de terceiros e não representam os pontos de vista ou opiniões da Gate. O conteúdo apresentado nesta página é apenas para referência e não constitui qualquer aconselhamento financeiro, de investimento ou jurídico. A Gate não garante a exatidão ou o carácter exaustivo das informações e não poderá ser responsabilizada por quaisquer perdas resultantes da utilização destas informações. Os investimentos em ativos virtuais implicam riscos elevados e estão sujeitos a uma volatilidade de preços significativa. Pode perder todo o seu capital investido. Compreenda plenamente os riscos relevantes e tome decisões prudentes com base na sua própria situação financeira e tolerância ao risco. Para mais informações, consulte a
Isenção de responsabilidade.
Related Articles
3 Altcoins Promissores para Manter para Lucro a Longo Prazo — XRP, DOGE e SOL
XRP mostra um forte momento de rompimento, apoiado por indicadores otimistas e o próximo lançamento do RLUSD.
DOGE forma um padrão de bandeira altista, apoiado por uma forte comunidade e rompimento de resistência chave.
SOL ganha tração através do crescimento do DeFi, com padrões de copo e pega almejando preços mais altos.
O c
CryptoNewsLand49m atrás
9,000,000 RLUSD Criados no XRP Ledger enquanto a Ripple Reequilibra a Oferta - U.Today
Nas últimas 24 horas, foram cunhados 9 milhões de stablecoins Ripple USD (RLUSD) no XRP Ledger, num contexto de grande atividade em março, em que mais RLUSD foi queimado na Ethereum, indicando um reequilíbrio da oferta e avanços nas soluções de pagamentos para empresas.
UToday53m atrás
Previsão do Preço das Criptomoedas para Hoje, 28 de Março: Bittensor (TAO), XRP, Solana (SOL)
Os mercados de criptomoedas abriram a 28 de março com sinais mistos entre os principais altcoins, e os últimos movimentos de Bittensor, XRP e Solana mostram um mercado que está a arrefecer após a volatilidade recente.
A ação dos preços nas últimas 24 horas revela fraqueza a curto prazo, no entanto, as estruturas subjacentes ainda deixam espaço para melhorias ou recuperação.
CaptainAltcoin5h atrás
XRP melhora a proporção risco-recompensa quando as baleias acumulam fortemente, o preço seguirá?
O XRP apresenta uma relação risco/recompensa melhorada devido ao aumento da acumulação por baleias, mas o seu mercado de futuros continua frágil, com o aumento da alavancagem e das liquidações. Enfrenta pressão devido às compras das baleias, mas precisa de procura sustentada para garantir a estabilidade do preço face à especulação.
TapChiBitcoin6h atrás
