XRP Ledger (XRPL) выпустил первую официальную спецификацию своего основного платежного движка, что повышает надежность переводов XRP и мультиактивных платежей. Разработанная в сотрудничестве с партнером по формальной верификации Common Prefix, эта спецификация использует математические доказательства для обеспечения предсказуемой и проверяемой логики транзакций. Это достижение направлено на укрепление долгосрочной надежности инфраструктуры финансовых приложений в сети XRPL.