Compass Investments

Как сообщил Вито Тумас из RippleX, Ripple тесно сотрудничает с Common Prefix, RandD компанией в сфере блокчейна, для определения и официальной верификации ключевых элементов XRP Ledger: механизма платежей и протокола консенсуса.

Возможны куда более надежные дополнения, вплоть до математического доказательства существования или отсутствия крайних сценариев. ВОСХИТИТЕЛЬНО!

Новые утвержденные дополнения будут обладать наивысшим уровнем безопасности -> значительно более безопасные апгрейды XRPL.

Ничто не сравнится с математической гарантией.

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

xrpld.

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

Эта инициатива является важным шагом в подготовке XRPL к грядущему десятилетию институциональных финансов и децентрализованных прорывов.

Еще в 2012 году, когда XRP Ledger только появился, его создатели ставили перед собой одну основную цель: создать более производительный блокчейн с ограниченными доступными ресурсами.

Однако основным препятствием служили базовые элементы, единственная реализация на C, xrpld, которая выступала в роли единственного эталонного источника.

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

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

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