Протокол кредитования XRP Ledger проходит формальную верификацию

Для XRP Ledger наступает ключевой этап. Vet, валидатор в dUNL сети XRPL, сообщил, что предстоящий нативный протокол займов и кредитования сейчас проходит формальную верификацию. Это не просто обычная проверка безопасности. Разработчики Ripple применяют техники, которые обычно используются на атомных электростанциях, в авиационных системах и военном программном обеспечении. Цель — сделать нативную DeFi-экосистему на XRPL максимально защищённой.

Что такое формальная верификация?

Формальная верификация — это метод, который математически доказывает, что программный код ведёт себя корректно при всех возможных условиях. Это отличается от обычного тестирования, при котором разработчики могут проверить только те сценарии, которые они предвидят. Программный инженер Ripple Вито Тумас объяснил это напрямую. Он указал, что традиционное тестирование само по себе не может в полной мере обеспечить безопасность сложных финансовых протоколов уровня Layer-1. Уязвимости на этом уровне могут затронуть всю сеть, а не только одно приложение.

Для выполнения этой работы Ripple сотрудничает с Common Prefix. Вместе они строят абстрактную модель протокола займов и кредитования и сравнивают её с реальным кодом на C++ в xrpld. По словам Тумаса, этот процесс уже выявил сложные граничные случаи, которые стандартное тестирование не обнаружило.

Роль ИИ-агента в обеспечении безопасности

Vet также подчеркнул, как ИИ делает формальную верификацию более практичной и масштабируемой. Он считает, что такое сочетание может ускорить институциональное принятие XRPL. Сообщество XRPL уже видело преимущества этого подхода. Ранее в этом году ИИ-инструмент обнаружил уязвимость в предложенной поправке XRPL Batch. Эта уязвимость могла поставить под угрозу средства пользователей. После того как исследователь безопасности Пранамья Кешкамат выявил проблему, разработчики исправили её и расширили ИИ-аудиты на другие процессы рассмотрения вручную.

Протокол займов и кредитования и следующие шаги

Экосистема XRPL работает над тем, чтобы обеспечить нативные займы и кредитование непосредственно на цепочке (он-чейн). Это позволит институциональным и розничным пользователям получать доступ к кредитам, используя такие активы, как XRP и RLUSD, без зависимости от традиционных смарт-контрактов. Инициатива, введённая в рамках поправки XLS-66, перешла в фазу голосования валидаторов ранее в этом году после выпуска версии XRPL 3.1.0.

Vet отметил, что разработчики в настоящее время тестируют протокол займов и кредитования. Они внедряют защитные меры, чтобы обеспечить безопасность средств пользователей до активации функции. Видение, как описал его Vet, — построить «Крепость $XRP». Это означает работу нативной DeFi-инфраструктуры XRPL по самым высоким стандартам безопасности и надёжности.

Материал XRP Ledger Lending Protocol Undergoes Formal Verification впервые опубликован на TheCryptoUpdates.