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 giugno 2025
На практиці клієнти Coinbase також можуть отримати доступ до програми Coinbase для iOS та Android, щоб купувати, продавати, конвертувати, надсилати, отримувати або зберігати токен S.
Наразі Sonic (S) займає 73-ю позицію в загальному крипто-рейтинг, з капіталізацією 932 мільйони доларів. На момент написання S коштує $0.32
Це був середина квітня 2025 року, коли Fantom випустив останнє оновлення Sonic, щоб революціонізувати DeFi. З потужністю понад 10,000 транзакцій на секунду (TPS) і часом фіналізації менше 2 секунд, Sonic одразу ж зайняв позицію однієї з найшвидших і найбільш масштабованих мереж Layer 1 у крипто-ландшафті. З 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 giugno 2025
На практиці клієнти Coinbase також можуть отримати доступ до програми Coinbase для iOS та Android, щоб купувати, продавати, конвертувати, надсилати, отримувати або зберігати токен S.
Наразі Sonic (S) займає 73-ю позицію в загальному крипто-рейтинг, з капіталізацією 932 мільйони доларів. На момент написання S коштує $0.32
Це був середина квітня 2025 року, коли Fantom випустив останнє оновлення Sonic, щоб революціонізувати DeFi. З потужністю понад 10,000 транзакцій на секунду (TPS) і часом фіналізації менше 2 секунд, Sonic одразу ж зайняв позицію однієї з найшвидших і найбільш масштабованих мереж Layer 1 у крипто-ландшафті. З Sonic також дебютував токен S, спочатку прив'язаний до FTM від Fantom.