Код кредитования XRP Ledger проходит официальную проверку перед голосованием за мейннет

TLDR:

• RippleX тестирует код кредитования XRPL, прежде чем валидаторы рассмотрят активацию Mainnet.
• Формальная верификация может выявить ошибки учёта и состояния, которые пропускают обычные тесты.
• XLS-66 добавит срочные кредиты, финансируемые за счёт ликвидности Single Asset Vault.
• XRP торгуется около $1,17, пока XRPL готовит технические и управленческие обновления.

Разработчики RippleX применяют формальную верификацию к коду кредитования XRP Ledger до того, как функция сможет перейти к активации Mainnet. Работа охватывает запланированный протокол кредитования XLS-66 и Single Asset Vaults XLS-65, которые добавят нативные функции кредитования в XRPL.

Проверка проводится совместно с Common Prefix — исследовательской компанией в области протоколов. Цель — проверить, может ли конструкция кредитования перейти в небезопасные состояния до того, как валидаторы примут решение об активации.

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

Проверка кредитования XRP Ledger сосредоточена на безопасности Layer-1

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

Инженер Ripple Вито Тумас отметил, что традиционное тестирование имеет ограничения, когда DeFi работает непосредственно на Layer 1. Стандартные тесты зависят от сценариев, которые разработчики уже предвидели. Формальные модели способны исследовать более широкие пространства состояний.

RippleX сообщил, что работа теперь сосредоточена на Single Asset Vaults и протоколе кредитования. Эти функции вводят финансовую логику, связанную с долями хранилища, условиями кредитов, процентами, дефолтами, заморозками и возвратами.

Такая сложность делает точность учёта крайне важной. Небольшие ошибки округления или баланса могут накапливаться при повторении транзакций среди многих пользователей. В системе базового уровня эти ошибки могут затронуть каждое приложение, использующее данную функцию.

Процесс Common Prefix создаёт абстрактную модель ожидаемого поведения. Затем разработчики сравнивают результаты с реализацией xrpld. Любое несоответствие может выявить потенциальный дефект или проблему дизайна.

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

Валидаторам всё ещё необходимо одобрить поправки к кредитованию XRPL

XLS-66 позволит выдавать срочные необеспеченные кредиты, финансируемые через Single Asset Vaults. Кредитные брокеры будут устанавливать условия и управлять рисками. Проверка кредитоспособности заёмщиков будет происходить вне блокчейна до того, как средства переместятся на блокчейн.

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

Single Asset Vaults объединяют один актив для использования кредитными рынками. Такая структура избегает смешанных пулов активов и может ограничить риск межактивного учёта. Она также поддерживает XRP и выпущенные активы в зависимости от правил протокола.

Контроль соответствия может применяться к подходящим выпущенным токенам. Он включает функции заморозки и возврата там, где это разрешено правилами токена. Такой дизайн может сделать систему более актуальной для регулируемых активов.

XRPL версии 3.1.0 добавила поддержку поправок по кредитованию и хранилищам в январе. Релиз представил функции SingleAssetVault и LendingProtocol, однако активация по-прежнему зависит от процесса принятия поправок. 

Сеть уже проявила осторожность в отношении предложенных основных функций. В версии 3.1.1 была отключена поддержка Batch после того, как исследователи обнаружили уязвимость в предложенной поправке. Этот случай усилил внимание к тестированию до активации.

XRPL версии 3.1.3 впоследствии добавила исправления, связанные с NFT, Permissioned Domains, Vaults, протоколом кредитования и Multi-Purpose Tokens. Ожидается, что XRPL версии 3.2.0 выйдет около 15 июня и переименует основное серверное программное обеспечение с rippled на xrpld. 

Материал XRP Ledger Lending Code Faces Formal Review Before Mainnet Vote впервые опубликован на Blockonomi.