Бывший технический директор Ripple Дэвид Шварц выделяет валидацию консенсуса XRPL, пока цена XRP удерживается на уровне $1.41

Инженеры-программисты, работающие над XRP Ledger, расширили машинно-проверяемое тестирование для верификации основного кода по всей сети. Инженер RippleX Майукха Вадари подтвердила партнерство с исследовательской фирмой CommonPrefix для математического доказательства того, что основные части XRP Ledger функционируют согласно замыслу.

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

Дэвид Шварц выделяет математическое доказательство консенсуса XRP Ledger

Эта разработка привлекла внимание участников сообщества XRP (XRP-USD) и бывшего технического директора Ripple Дэвида Шварца. Шварц участвовал в проектировании первоначальной архитектуры XRP Ledger до перехода в почётную должность. В ответ на объявление, Дэвид Шварц заявил: «Я открыл потрясающее доказательство формальной валидности алгоритма консенсуса XRPL, но ограничения по длине публикаций на X слишком малы, чтобы его поместить».

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

Сеть XRP успешно проходит независимые проверки безопасности

Команды по безопасности также завершили независимые проверки протокольных функций XRP Ledger. Компания Cantina Security провела независимый аудит функции Permission Delegation вместе с внутренним тестированием качества. Аудиторы подтвердили исправления в версии 1.1, а автоматизированное тестирование завершило 5 088 тестов без ошибок в коде.

Руководитель инженерного отдела Ripple Джей Акиньеле отметил, что настройка делегирования на уровне протокола потребовала высокого уровня безопасности, поскольку она меняет основную обработку транзакций. Между тем XRP торгуется около $1,41, сохраняя поддержку выше своей 200-дневной экспоненциальной скользящей средней на уровне примерно $1,35.