RippleX совместно с CommonPrefix начинает использовать машинно проверяемые математические доказательства для верификации ключевых компонентов XRP Ledger. По словам инженера RippleX Маюки Вадари, цель проекта — подтвердить, что критически важные системы XRPL работают строго в соответствии с заданными спецификациями. Формальная верификация проверяет поведение программного обеспечения по всей математической модели возможных входных данных, что даёт более сильные гарантии, чем стандартное тестирование.
Внимание к инициативе привлёк и один из создателей XRP Ledger Дэвид Шварц. Он сообщил, что обнаружил «фантастическое доказательство» формальной корректности алгоритма консенсуса XRPL. Подробности Шварц не раскрыл, однако его участие подчёркивает значимость работы: именно он участвовал в разработке оригинального механизма консенсуса сети.
Параллельно команда XRP Ledger усилила механизм делегирования разрешений XLS-75. После того как в версии V1.0 в рамках программы bug bounty была найдена критическая уязвимость, поправку отозвали до активации в основной сети и выпустили версию V1.1. Обновление закрывает пробелы в проверке делегатов, блокирует случайное делегирование новых функций, включая Vault и кредитование, исправляет учёт резервов при делегированных платежах и устраняет обход проверок через мультиподпись. Независимый аудит провела Cantina Security, а команда контроля качества выполнила 5088 тестов без регрессий.
Руководитель инженерного направления Ripple Д. Айо Акиньеле подчеркнул, что делегирование разрешений затрагивает базовую обработку транзакций, поэтому требует особенно строгой проверки безопасности. Он также отметил, что V1.1 сохраняет основную функцию XLS-75, но делает её активацию заметно более безопасной.
Дополнительно XRP Ledger готовится к запуску нативного кредитования через спецификацию XLS-66. В качестве кредитного брокера выступит Cicada Credit, которая возьмёт на себя внебиржевую работу с заёмщиками: проверку кредитоспособности, риск-менеджмент, ковенанты и мониторинг. На уровне протокола будут проводиться выдача кредитов, фиксация сроков, начисление процентов, погашение и дефолты. В отличие от многих криптокредитных систем с избыточным обеспечением, здесь акцент сделан на реальные потребности бизнеса — оборотный капитал и торговое финансирование. Например, эмитент стейблкоина, ожидающий фиатный перевод, сможет использовать дебиторскую задолженность как обеспечение, занять RLUSD на блокчейне и погасить кредит после поступления средств.
Эти инициативы указывают на то, что развитие XRP Ledger выходит за рамки платежей: сеть одновременно укрепляет математическую базу консенсуса, повышает безопасность делегирования и готовит инфраструктуру для институционального кредитования.
