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
EUA XRP spot ETF teve saída líquida de 6,08 milhões de dólares ontem, ETF spot SOL entrada líquida de 3,92 milhões de dólares
Recentemente, dados mostram que no horário do Leste dos EUA em 12 de março, o ETF à vista XRP dos EUA teve fluxos de saída líquidos de 6,0806 milhões de dólares, enquanto o ETF à vista SOL teve fluxos de entrada líquidos de 3,9248 milhões de dólares. O fluxo líquido total histórico de XRP atingiu 17,8894 milhões de dólares, enquanto SOL foi de 961 milhões de dólares.
GateNews1h atrás
Ontem, o ETF spot de XRP nos EUA registou fluxos de saída líquidos de 6,08 milhões de dólares, com os produtos da 21Shares e Franklin a liderarem as quedas
De acordo com dados da SoSoValue, em 12 de março, o ETF spot de XRP nos EUA teve saídas líquidas de 6.0806 milhões de dólares, sendo que o ETF XRP da 21Shares registou saídas líquidas de 3.0891 milhões de dólares. O valor líquido total de activos actual é de 968 milhões de dólares, com entradas líquidas históricas acumuladas de 1.208 mil milhões de dólares.
GateNews1h atrás
Previsão de Preço da Cardano: Lançamento da DeepSnitch AI em 31 de Março Desperta Sentimento Otimista em Meio ao Mercado Silencioso, ADA e XRP Permanecem Estagnadas
A SEC e a CFTC terminaram as suas disputas jurisdicionais e assinaram um memorando de entendimento que compromete ambas as agências a uma supervisão coordenada de criptografia.
A maior clareza regulatória que chega de ambos os lados pode levar a uma mudança estrutural constante. No entanto, não importa o quão otimista, levará t
CaptainAltcoin6h atrás
