Разработчики RippleX совместно с компанией CommonPrefix запустили процесс формальной математической верификации* критически важных компонентов сети XRP Ledger. Технология позволяет доказать, что программное обеспечение сети работает в строгом соответствии с заданными спецификациями при любых возможных вводных данных, охватывая весь спектр сценариев, в отличие от стандартных наборов тестов.

Бывший технический директор Ripple и один из создателей сети Дэвид Шварц 8 сентября заявил, что «обнаружил фантастическое доказательство формальной валидности алгоритма консенсуса** XRPL». При этом он в шутливой форме добавил, что ограничения на длину сообщений в социальных сетях не позволяют опубликовать его целиком. Заявление подчеркивает значительный прогресс в математической проверке базового кода блокчейна.

Параллельно с этим функция делегирования разрешений в XRP Ledger успешно прошла независимую проверку безопасности от компании Cantina Security. В ходе тестирования было проведено более пяти тысяч проверок, которые не выявили никаких регрессий в коде. Руководитель инженерного отдела Ripple Джей Эй Акиньеле отметил, что внедрение делегирования на уровне протокола требует высочайших стандартов безопасности, поскольку напрямую затрагивает базовое поведение обработки транзакций.

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

**Алгоритм консенсуса — механизм в блокчейне, который позволяет всем участникам сети прийти к единому соглашению о состоянии реестра и подлинности транзакций. Он обеспечивает защиту системы от мошенничества и двойных трат без необходимости участия центрального контролирующего органа.

Подпишись на MP в MAX