Оповещение о важной вехе XRP: движок платежей XRPL получает первую в истории официальную спецификацию - U.Today

В знаменательный момент впервые опубликована официальная спецификация XRPL Payment Engine. Это важный шаг на пути внедрения формальной верификации, которая является стандартом в банковской сфере и аэрокосмической индустрии, в основные компоненты XRP Ledger.

По словам разработчика RippleX Вито Тумаса, Ripple сотрудничает с компанией Common Prefix, исследовательской и разработческой компанией в области блокчейн-технологий, для спецификации и формальной проверки ключевых компонентов XRP Ledger: Payment Engine и Consensus Protocol.

В рамках этого, Common Prefix задокументировала Payment Engine XRPL, опубликовав первую всестороннюю спецификацию системы. Это создает основу для формальной верификации Payment Engine, затем — протокола консенсуса и всех важных компонентов «xrpld».

Payment Engine — это система, отвечающая за все операции с ценностями, включая сложные операции, такие как пересечение децентрализованной биржи и rippling. Протокол консенсуса — это сердце реестра, позволяющее узлам достигать согласия по общему состоянию.

Эта инициатива является важным шагом в развитии XRPL в платформу, готовую к следующему десятилетию институциональных финансов и децентрализованных инноваций.

Чего ожидать

В 2012 году, когда XRP Ledger впервые запустился, его создатели поставили перед собой одну главную цель: создать новый, более эффективный блокчейн с ограниченными ресурсами.

Однако для базовых компонентов единственная реализация на C++, xrpld — которая служила единственным окончательным источником правды — создавала фундаментальные сложности.

XRP Ledger развивается, постоянно предлагая и добавляя новые, очень сложные функции. Однако такие сложные изменения, как Протокол кредитования, Мультицельевой токен (MPT), DEX, пакетные транзакции и разрешённые DEX, должны быть интегрированы в многолетнюю логику XRP Ledger, что вызывает вопросы.

В этом свете создание формальной спецификации создает более прочную основу, которая, как ожидается, принесет накопительные преимущества всему экосистеме XRP Ledger.

Например, вместо полагания только на традиционное тестирование, которое может лишь выявить наличие ошибок, формальные методы могут доказать отсутствие определенных классов ошибок.

В настоящее время спецификация Payment Engine разрабатывается с началом формальной верификации, а верификация протокола консенсуса запланирована на 2026 год.