Компания Sonic Labs выпустила новую библиотеку с открытым исходным кодом, предназначенную для обеспечения формальной верификации протоколов консенсуса на основе DAG, что, по ее утверждению, поможет повысить стандарты безопасности для децентрализованных сетей.
Математические доказательства для верификации Протоколов консенсуса
Библиотека формальной верификации, разработанная в сотрудничестве с исследователями из Университета Сиднея и французского исследовательского института INRIA, была впервые представлена в начале этого месяца на NASA Formal Methods 2025 (NFM 2025) в Уильямсбурге, Вирджиния.
Библиотека использует TLA+, формальный язык спецификаций, разработанный Microsoft Research, для математического доказательства корректности протоколов консенсуса.
Sonic Labs заявила, что инструмент упрощает процесс моделирования и верификации сложных распределенных систем, предлагая повторно используемые, модульные компоненты, которые можно применять в различных архитектурах блокчейна.
Проверенные протоколы уже включают DAG-Rider, Cordial Miner, Bullshark, Hashgraph и Aleph. Собственный совместимый с EVM консенсус-протокол Sonic также был подтвержден как производная с использованием инструмента.
“С этой библиотекой мы переходим от надежды к доказательству, предлагая инструменты для верификации с математической точностью того, что протокол будет вести себя безопасно при любых условиях,” сказал главный научный сотрудник д-р Бернард Шольц.
Проблемы безопасности в консенсусе блокчейна
Блокчейны сегодня защищают триллионы долларов в цифровых активах, оказывая значительное давление на основную инфраструктуру консенсуса, чтобы она работала без ошибок.
Уязвимости в этих механизмах могут привести к двойным расходам, несоответствиям в реестре или полномасштабным эксплойтам.
Хотя аудит и тестирование на проникновение являются стандартными практиками в отрасли, они не могут гарантировать полное отсутствие критических ошибок, особенно в сложных, асинхронных средах.
Формальная верификация предлагает альтернативу, математически доказывая, что Протокол функционирует безопасно при всех возможных сценариях. Sonic Labs заявила, что ее новый инструмент может использоваться не только для аудита существующих Протоколов, но и для помощи разработчикам в проектировании или модификации систем на основе DAG с нуля.
Компания уже использует библиотеку внутри компании для верификации безопасности своей собственной блокчейн-сети и утверждает, что она может математически устранить возможность небезопасного поведения при определенных условиях.
Открывая исходный код библиотеки, Sonic Labs стремится снизить стоимость и сложность создания безопасных блокчейн-систем, одновременно способствуя более широкому принятию формальной верификации в разработке Web3.
Sonic — это совместимая с EVM блокчейн, разработанная для высокой пропускной способности, предлагающая финализацию за доли секунды и скорости обработки до 400,000 транзакций в секунду.
Сеть предлагает модель монетизации сборов, которая позволяет разработчикам зарабатывать 90% от сборов за транзакции, генерируемые их децентрализованными приложениями.
Почему это важно
По мере того как всё больше ценности блокируется в блокчейн-сетях, небольшие недостатки в консенсус-протоколах могут привести к серьезным финансовым потерям и подорвать доверие. Открытый инструмент верификации Sonic Labs использует математику для обеспечения безопасности протокола, заполняя пробел, который традиционное тестирование часто игнорирует.
Посмотрите на актуальные крипто новости DailyCoin:
Новый крипто ETF Trump Media нацелен на Bitcoin и Ethereum
Шиба Ину ведущий разработчик дразнит супер приложение: следующая большая вещь SHIB?
Люди также спрашивают:
Что такое протокол консенсуса в блокчейне? Протокол консенсуса — это набор правил, который позволяет участникам распределенной сети согласовывать текущее состояние блокчейна, обеспечивая согласованность всех копий и правильную верификацию транзакций.
Почему консенсус важен для блокчейнов? Консенсус необходим для поддержания целостности, безопасности и надежности блокчейна. Он предотвращает такие проблемы, как двойные расходы, и обеспечивает то, чтобы все участники сети имели одинаковую историю транзакций.
Что такое консенсус-протоколы на основе DAG? DAG ( Направленный ациклический граф ) консенсус-протоколы используют графовую структуру вместо традиционной цепочки для записи транзакций. Этот дизайн может улучшить масштабируемость и скорость транзакций по сравнению с линейными блокчейнами.
Что такое формальная верификация? Формальная верификация — это математический метод, используемый для доказательства правильности и безопасности проектирования системы, обеспечивая ее работу в соответствии с задуманным при всех возможных условиях.
Содержание носит исключительно справочный характер и не является предложением или офертой. Консультации по инвестициям, налогообложению или юридическим вопросам не предоставляются. Более подробную информацию о рисках см. в разделе «Дисклеймер».
Sonic Labs представляет открытую библиотеку для верификации Блокчейн на основе DAG
Компания Sonic Labs выпустила новую библиотеку с открытым исходным кодом, предназначенную для обеспечения формальной верификации протоколов консенсуса на основе DAG, что, по ее утверждению, поможет повысить стандарты безопасности для децентрализованных сетей.
Математические доказательства для верификации Протоколов консенсуса
Библиотека формальной верификации, разработанная в сотрудничестве с исследователями из Университета Сиднея и французского исследовательского института INRIA, была впервые представлена в начале этого месяца на NASA Formal Methods 2025 (NFM 2025) в Уильямсбурге, Вирджиния.
Библиотека использует TLA+, формальный язык спецификаций, разработанный Microsoft Research, для математического доказательства корректности протоколов консенсуса.
Sonic Labs заявила, что инструмент упрощает процесс моделирования и верификации сложных распределенных систем, предлагая повторно используемые, модульные компоненты, которые можно применять в различных архитектурах блокчейна.
Проверенные протоколы уже включают DAG-Rider, Cordial Miner, Bullshark, Hashgraph и Aleph. Собственный совместимый с EVM консенсус-протокол Sonic также был подтвержден как производная с использованием инструмента.
“С этой библиотекой мы переходим от надежды к доказательству, предлагая инструменты для верификации с математической точностью того, что протокол будет вести себя безопасно при любых условиях,” сказал главный научный сотрудник д-р Бернард Шольц.
Проблемы безопасности в консенсусе блокчейна
Блокчейны сегодня защищают триллионы долларов в цифровых активах, оказывая значительное давление на основную инфраструктуру консенсуса, чтобы она работала без ошибок.
Уязвимости в этих механизмах могут привести к двойным расходам, несоответствиям в реестре или полномасштабным эксплойтам.
Хотя аудит и тестирование на проникновение являются стандартными практиками в отрасли, они не могут гарантировать полное отсутствие критических ошибок, особенно в сложных, асинхронных средах.
Формальная верификация предлагает альтернативу, математически доказывая, что Протокол функционирует безопасно при всех возможных сценариях. Sonic Labs заявила, что ее новый инструмент может использоваться не только для аудита существующих Протоколов, но и для помощи разработчикам в проектировании или модификации систем на основе DAG с нуля.
Компания уже использует библиотеку внутри компании для верификации безопасности своей собственной блокчейн-сети и утверждает, что она может математически устранить возможность небезопасного поведения при определенных условиях.
Открывая исходный код библиотеки, Sonic Labs стремится снизить стоимость и сложность создания безопасных блокчейн-систем, одновременно способствуя более широкому принятию формальной верификации в разработке Web3.
Sonic — это совместимая с EVM блокчейн, разработанная для высокой пропускной способности, предлагающая финализацию за доли секунды и скорости обработки до 400,000 транзакций в секунду.
Сеть предлагает модель монетизации сборов, которая позволяет разработчикам зарабатывать 90% от сборов за транзакции, генерируемые их децентрализованными приложениями.
Почему это важно
По мере того как всё больше ценности блокируется в блокчейн-сетях, небольшие недостатки в консенсус-протоколах могут привести к серьезным финансовым потерям и подорвать доверие. Открытый инструмент верификации Sonic Labs использует математику для обеспечения безопасности протокола, заполняя пробел, который традиционное тестирование часто игнорирует.
Посмотрите на актуальные крипто новости DailyCoin:
Новый крипто ETF Trump Media нацелен на Bitcoin и Ethereum
Шиба Ину ведущий разработчик дразнит супер приложение: следующая большая вещь SHIB?
Люди также спрашивают:
Что такое протокол консенсуса в блокчейне? Протокол консенсуса — это набор правил, который позволяет участникам распределенной сети согласовывать текущее состояние блокчейна, обеспечивая согласованность всех копий и правильную верификацию транзакций.
Почему консенсус важен для блокчейнов? Консенсус необходим для поддержания целостности, безопасности и надежности блокчейна. Он предотвращает такие проблемы, как двойные расходы, и обеспечивает то, чтобы все участники сети имели одинаковую историю транзакций.
Что такое консенсус-протоколы на основе DAG? DAG ( Направленный ациклический граф ) консенсус-протоколы используют графовую структуру вместо традиционной цепочки для записи транзакций. Этот дизайн может улучшить масштабируемость и скорость транзакций по сравнению с линейными блокчейнами.
Что такое формальная верификация? Формальная верификация — это математический метод, используемый для доказательства правильности и безопасности проектирования системы, обеспечивая ее работу в соответствии с задуманным при всех возможных условиях.
.social-share-icons { дисплей: inline-flex; flex-direction: строка; зазор: 8px; border-radius: 8px; граница: 1px сплошной #dedede; отступы: 8 x 16 пикселей; margin-bottom: 8px; }
.social-share-icons a { дисплей: flex; Цвет: #555; текстовое оформление: отсутствует; justify-content: центр; align-items: по центру; background-color: #dedede; радиус границы: 100%; отступы: 10px; }
.social-share-icons a:hover { background-color: #F7BE23; заливка: белая; }
.social-share-icons svg { ширина: 24px; высота: 24px; }