Колишній технічний директор Ripple Девід Шварц підкреслює валідацію консенсусу XRPL, поки ціна XRP утримується на рівні $1,41

Інженери-програмісти, які працюють над XRP Ledger, розширили машинно перевірюване тестування для верифікації базового коду в мережі. Інженер RippleX Mayukha Vadari підтвердив партнерство з дослідницькою фірмою CommonPrefix для математичного доведення того, що основні частини XRP Ledger працюють відповідно до задуму.

Система верифікації використовує машинно перевіряємі математичні докази для тестування програмних специфікацій по всіх можливих вхідних даних. На відміну від стандартних наборів тестів, які перевіряють окремі кейси, повні математичні докази охоплюють увесь простір вхідних даних. Інженерні команди застосовують цю ж ключову технологію для формалізації складних математичних теорем.

David Schwartz підкреслює доказ консенсусу XRP Ledger

Розробка привернула увагу учасників спільноти XRP (XRP-USD) і почесного технічного директора Ripple David Schwartz. Schwartz допомагав розробляти початкову архітектуру XRP Ledger до переходу у свою почесну роль. Коментуючи анонс, David Schwartz зазначив: «Я відкрив чудовий доказ формальної валідності алгоритму консенсусу XRPL, але обмеження довжини постів на X роблять пости надто короткими, щоб його вмістити».

Schwartz продовжує керувати власним вузлом мережі для зібрання даних і вдосконалення її продуктивності. Його технічний внесок раніше сприяв випуску програмного забезпечення версії 3.2.1, що вирішило сплески мережевого трафіку, зафіксовані наприкінці липня.

Мережа XRP проходить незалежні перевірки безпеки

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

Голова відділу інженерії Ripple JA Akinyele відзначив, що налаштування делегування на рівні протоколу вимагало високих стандартів безпеки, оскільки змінює обробку основних транзакцій. Тим часом XRP торгується біля $1,41, утримуючи підтримку над своєю 200-денною експоненціальною ковзною середньою на рівні близько $1,35.