Sonic Labs, команда, стоящая за блокчейном Sonic, запустила новую библиотеку формальной верификации для протоколов консенсуса на основе DAG. Цель состоит в том, чтобы предоставить инструменты доказательства для безопасности блокчейнов.
Sonic Labs и безопасность блокчейна: запуск новой библиотеки формальной верификации
Sonic Labs, команда, стоящая за блокчейном Sonic, объявила о запуске новой библиотеки формальной верификации, посвященной протоколам консенсуса на основе DAG.
На практике это библиотека с открытым исходным кодом, которая использует формальную верификацию для математического доказательства безопасности блокчейнов на основе ориентированных ациклических графов, включая блокчейн Sonic EVM.
Благодаря использованию помощника по испытаниям TLA+, возможно упростить процесс верификации протоколов консенсуса на основе DAG, позволяя разработчикам моделировать и верифицировать протоколы с минимальными усилиями.
Это инструмент для тестирования, предназначенный для проверки безопасности блокчейнов. Библиотека включает тесты для важных протоколов на основе DAG, таких как DAG-Rider, Cordial Miner, Bullshark, Hashgraph и Aleph, при этом протокол консенсуса Sonic подтвержден как производный.
Библиотека формальной верификации была представлена впервые на NASA Formal Methods 2025 (NFM 2025) в Уильямсбурге, штат Вирджиния, с 11 по 13 июня.
Sonic Labs и строгий математический подход к демонстрации безопасности Протокола
Текущая ситуация с безопасностью блокчейна часто демонстрирует уязвимость консенсусных Протоколов, что также может привести к катастрофическим эксплойтам. Двойные траты или несоответствия в реестре являются примером.
В общем, на самом деле традиционные тесты и верификации для обеспечения безопасности блокчейнов стали недостаточными
Здесь, в этом смысле, Sonic Labs решила взять на себя вызов момента с строго математическим подходом, который демонстрирует, что Протокол безопасен во всех возможных сценариях, не оставляя места для ошибок.
В этом отношении доктор Бернхард Шольц, главный исследователь Sonic Labs, прокомментировал:
«В блокчейне сбои в безопасности часто проистекают из предположений, которые не проверяются до тех пор, пока не становится слишком поздно. С помощью этой библиотеки мы переходим от надежды к доказательству, предоставляя инструменты для проверки с математической уверенностью, что протокол будет вести себя безопасно при любых условиях. Наша цель — сделать формальную верификацию доступной для всех разработчиков протокола».
Sonic Labs начала внедрение формальной верификации, чтобы доказать, что небезопасное поведение математически невозможно на блокчейне Sonic.
Вход токена S на Coinbase
В последние несколько часов также обсуждается вход токена Sonic (S) на известную криптобиржу Coinbase.
$S è ora disponibile su @Coinbase. pic.twitter.com/E6AIy6yusF
— Sonic Labs (@SonicLabs) 24 июня 2025
На практике клиенты Coinbase также могут использовать приложение Coinbase для iOS и Android для покупки, продажи, конвертации, отправки, получения или хранения токена S.
В настоящий момент Sonic (S) занимает 73-е место в общем крипто-рейтинге, с рыночной капитализацией в 932 миллиона долларов. На момент написания, S стоит $0.32
Это был середина апреля 2025 года, когда Fantom запустил последнее обновление Sonic, чтобы революционизировать DeFi. С мощностью более 10 000 транзакций в секунду (TPS) и временем финализации менее 2 секунд, Sonic сразу же занял позицию одной из самых быстрых и масштабируемых сетей первого уровня в крипто-пространстве. С Sonic токен S также дебютировал, изначально привязанный к FTM от Fantom.
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
Sonic Labs: новая библиотека формальной верификации для протоколов на основе DAG
Sonic Labs, команда, стоящая за блокчейном Sonic, запустила новую библиотеку формальной верификации для протоколов консенсуса на основе DAG. Цель состоит в том, чтобы предоставить инструменты доказательства для безопасности блокчейнов.
Sonic Labs и безопасность блокчейна: запуск новой библиотеки формальной верификации
Sonic Labs, команда, стоящая за блокчейном Sonic, объявила о запуске новой библиотеки формальной верификации, посвященной протоколам консенсуса на основе DAG.
На практике это библиотека с открытым исходным кодом, которая использует формальную верификацию для математического доказательства безопасности блокчейнов на основе ориентированных ациклических графов, включая блокчейн Sonic EVM.
Благодаря использованию помощника по испытаниям TLA+, возможно упростить процесс верификации протоколов консенсуса на основе DAG, позволяя разработчикам моделировать и верифицировать протоколы с минимальными усилиями.
Это инструмент для тестирования, предназначенный для проверки безопасности блокчейнов. Библиотека включает тесты для важных протоколов на основе DAG, таких как DAG-Rider, Cordial Miner, Bullshark, Hashgraph и Aleph, при этом протокол консенсуса Sonic подтвержден как производный.
Библиотека формальной верификации была представлена впервые на NASA Formal Methods 2025 (NFM 2025) в Уильямсбурге, штат Вирджиния, с 11 по 13 июня.
Sonic Labs и строгий математический подход к демонстрации безопасности Протокола
Текущая ситуация с безопасностью блокчейна часто демонстрирует уязвимость консенсусных Протоколов, что также может привести к катастрофическим эксплойтам. Двойные траты или несоответствия в реестре являются примером.
В общем, на самом деле традиционные тесты и верификации для обеспечения безопасности блокчейнов стали недостаточными
Здесь, в этом смысле, Sonic Labs решила взять на себя вызов момента с строго математическим подходом, который демонстрирует, что Протокол безопасен во всех возможных сценариях, не оставляя места для ошибок.
В этом отношении доктор Бернхард Шольц, главный исследователь Sonic Labs, прокомментировал:
«В блокчейне сбои в безопасности часто проистекают из предположений, которые не проверяются до тех пор, пока не становится слишком поздно. С помощью этой библиотеки мы переходим от надежды к доказательству, предоставляя инструменты для проверки с математической уверенностью, что протокол будет вести себя безопасно при любых условиях. Наша цель — сделать формальную верификацию доступной для всех разработчиков протокола».
Sonic Labs начала внедрение формальной верификации, чтобы доказать, что небезопасное поведение математически невозможно на блокчейне Sonic.
Вход токена S на Coinbase
В последние несколько часов также обсуждается вход токена Sonic (S) на известную криптобиржу Coinbase.
$S è ora disponibile su @Coinbase. pic.twitter.com/E6AIy6yusF
— Sonic Labs (@SonicLabs) 24 июня 2025
На практике клиенты Coinbase также могут использовать приложение Coinbase для iOS и Android для покупки, продажи, конвертации, отправки, получения или хранения токена S.
В настоящий момент Sonic (S) занимает 73-е место в общем крипто-рейтинге, с рыночной капитализацией в 932 миллиона долларов. На момент написания, S стоит $0.32
Это был середина апреля 2025 года, когда Fantom запустил последнее обновление Sonic, чтобы революционизировать DeFi. С мощностью более 10 000 транзакций в секунду (TPS) и временем финализации менее 2 секунд, Sonic сразу же занял позицию одной из самых быстрых и масштабируемых сетей первого уровня в крипто-пространстве. С Sonic токен S также дебютировал, изначально привязанный к FTM от Fantom.