Разработчики XRP Ledger представили план радикального усиления безопасности сети, получивший неофициальное название «Крепость XRP» (Fortress XRP). Как сообщил участник RippleX Вито Тумас, инициатива предполагает внедрение формальной верификации — строгой математической проверки кода — для защиты встроенных финансовых функций протокола.
В отличие от Ethereum, XRP Ledger интегрирует кредитные продукты и другие DeFi-инструменты непосредственно в код первого уровня (Layer 1), что ускоряет транзакции, но повышает цену любой ошибки. Поэтому перед запуском протокола кредитования и хранилищ с единым активом (Single Asset Vaults) разработчики совместно с компанией Common Prefix создали четырехэтапный процесс верификации: построение идеализированной математической модели, стресс-тестирование на предмет критических уязвимостей, непрерывный мониторинг через «оракулы» и автоматическую помощь ИИ в анализе кода. Любое отклонение реальной транзакции от эталонной модели приведёт к немедленной блокировке операции.
Формальные доказательства станут главным критерием для принятия обновлений в XRPL. Это должно привлечь институциональных инвесторов и банки, требующих абсолютных гарантий защиты средств. Пилотное тестирование модулей для платёжного движка и консенсусного протокола запланировано на июнь-июль 2026 года, а полноценное развёртывание системы намечено на конец текущего года.
