В @SonicLabs безопасность консенсуса — это не то, что мы заявляем. Это то, что мы доказываем 📜 Мы разработали и открыли библиотеку верификации TLA+, которая позволяет разработчикам проверять безопасность протоколов консенсуса на основе DAG, не начиная с нуля. От DAG Rider до Bullshark и Aleph, библиотека ускоряет процесс доказательства и снижает количество ошибок верификации. Представлено на NASA Formal Methods 2025, это исследование показывает, как компонуемые, проверенные строительные блоки могут значительно снизить риск ошибок консенсуса по всему экосистемам. Для $S каждое изменение в консенсусе Sonic подкреплено математической уверенностью, обеспечивая безопасность сети в масштабе 🌍
Показать оригинал
17,88 тыс.
79
Содержание этой страницы предоставляется третьими сторонами. OKX не является автором цитируемых статей и не имеет на них авторских прав, если не указано иное. Материалы предоставляются исключительно в информационных целях и не отражают мнения OKX. Материалы не являются инвестиционным советом и призывом к покупке или продаже цифровых активов. Раздел использует ИИ для создания обзоров и кратких содержаний предоставленных материалов. Обратите внимание, что информация, сгенерированная ИИ, может быть неточной и непоследовательной. Для получения полной информации изучите соответствующую оригинальную статью. OKX не несет ответственности за материалы, содержащиеся на сторонних сайтах. Цифровые активы, в том числе стейблкоины и NFT, подвержены высокому риску, а их стоимость может сильно колебаться. Перед торговлей и покупкой цифровых активов оцените ваше финансовое состояние и принимайте только взвешенные решения.