Sonic Labs випустила нову бібліотеку з відкритим кодом, призначену для забезпечення формальної верифікації протоколів консенсусу на основі DAG, що, за її словами, допоможе підвищити стандарти безпеки для децентралізованих мереж.
Математичні докази для верифікації протоколів консенсусу
Бібліотека формальної верифікації, розроблена в співпраці з дослідниками з Університету Сіднея та французького дослідницького інституту INRIA, була вперше представлена раніше цього місяця на NASA Formal Methods 2025 (NFM 2025) у Вільямсбурзі, Вірджинія.
Бібліотека використовує TLA+, формальну мову специфікації, розроблену Microsoft Research, для математичного доведення правильності консенсусних протоколів.
Sonic Labs заявила, що інструмент спрощує процес моделювання та верифікації складних розподілених систем, пропонуючи багаторазові, модульні компоненти, які можуть бути застосовані в різних архітектурах блокчейну.
Верифіковані протоколи вже включають DAG-Rider, Cordial Miner, Bullshark, Hashgraph та Aleph. Власний консенсусний протокол Sonic, сумісний з EVM, також був валідаційований як похідний, використовуючи цей інструмент.
“З цією бібліотекою ми переходимо від надії до доказу, пропонуючи інструменти для верифікації з математичною точністю, що протокол поводитиметься безпечно за всіх умов,” сказав головний науковий співробітник доктор Бернхард Шольц.
Виклики безпеки в консенсусі блокчейну
Сьогодні блокчейни забезпечують трильйони доларів у цифрових активах, що створює значний тиск на основну інфраструктуру консенсусу, щоб вона працювала без збоїв.
Вразливості в цих механізмах можуть призвести до подвійних витрат, несумісностей в реєстрах або повномасштабних експлуатацій.
Хоча аудити та тестування на проникнення є стандартними практиками в галузі, вони не можуть гарантувати повну відсутність критичних помилок, особливо в складних, асинхронних середовищах.
Формальна верифікація пропонує альтернативу, математично доводячи, що протокол функціонує безпечно за всіх можливих сценаріїв. Sonic Labs заявила, що її новий інструмент може використовуватися не тільки для аудиту існуючих протоколів, але й для допомоги розробникам у проектуванні або модифікації систем на основі DAG з нуля.
Компанія вже використовує бібліотеку внутрішньо для верифікації безпеки власної блокчейн-мережі та стверджує, що може математично усунути можливість небезпечної поведінки за визначених умов.
Відкривши вихідний код бібліотеки, Sonic Labs має на меті зменшити вартість та складність створення безпечних блокчейн-систем, одночасно сприяючи ширшому впровадженню формальної верифікації в розробці Web3.
Sonic - це блокчейн, сумісний з EVM, розроблений для високої пропускної здатності, що пропонує фіналізацію за частки секунди та швидкість обробки до 400,000 транзакцій на секунду.
Мережа має модель монетизації зборів, яка дозволяє розробникам заробляти 90% від комісійних зборів, що генеруються їхніми децентралізованими додатками.
Чому це важливо
Оскільки все більше цінностей заблоковано в блокчейн-мережах, незначні недоліки в протооколах консенсусу можуть призвести до значних фінансових втрат і пошкодження довіри. Інструмент верифікації з відкритим вихідним кодом Sonic Labs використовує математику для забезпечення безпеки протоколу, заповнюючи прогалину, яку традиційне тестування часто ігнорує.
Перегляньте популярні криптоновини DailyCoin:
Новий крипто ETF Trump Media націлений на Bitcoin та Ethereum
Головний розробник Shiba Inu натякає на супердодаток: наступна велика річ SHIB?
Люди також запитують:
Що таке протокол консенсусу в блокчейні? Протокол консенсусу — це набір правил, які дозволяють учасникам розподіленої мережі погоджуватися з поточним станом блокчейну, забезпечуючи узгодженість всіх копій та правильну валідацію транзакцій.
Чому консенсус важливий для блокчейнів? Консенсус є необхідним для підтримки цілісності, безпеки та надійності блокчейну. Він запобігає таким проблемам, як подвійні витрати, і забезпечує, щоб усі учасники мережі мали однакову історію транзакцій.
Що таке протоколи консенсусу на основі DAG? DAG (Спрямований ациклічний граф) протоколи консенсусу використовують графову структуру замість традиційного ланцюга для запису транзакцій. Цей дизайн може покращити масштабованість і швидкість транзакцій порівняно з лінійними блокчейнами.
Що таке формальна верифікація? Формальна верифікація — це математичний метод, який використовується для доведення правильності та безпеки дизайну системи, забезпечуючи її функціонування відповідно до намірів за усіх можливих умов.
.social-share-icons a {
дисплей: flex;
колір: #555;
оформлення тексту: немає;
justify-content: по центру;
вирівнювання-елементи: по центру;
колір фону: #dedede;
Межа-радіус: 100%;
відступ: 10px;
}
.social-share-icons a:hover {
колір фону: #F7BE23;
наповнювач: білий;
}
Контент має виключно довідковий характер і не є запрошенням до участі або пропозицією. Інвестиційні, податкові чи юридичні консультації не надаються. Перегляньте Відмову від відповідальності , щоб дізнатися більше про ризики.
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. Власний консенсусний протокол Sonic, сумісний з EVM, також був валідаційований як похідний, використовуючи цей інструмент.
“З цією бібліотекою ми переходимо від надії до доказу, пропонуючи інструменти для верифікації з математичною точністю, що протокол поводитиметься безпечно за всіх умов,” сказав головний науковий співробітник доктор Бернхард Шольц.
Виклики безпеки в консенсусі блокчейну
Сьогодні блокчейни забезпечують трильйони доларів у цифрових активах, що створює значний тиск на основну інфраструктуру консенсусу, щоб вона працювала без збоїв.
Вразливості в цих механізмах можуть призвести до подвійних витрат, несумісностей в реєстрах або повномасштабних експлуатацій.
Хоча аудити та тестування на проникнення є стандартними практиками в галузі, вони не можуть гарантувати повну відсутність критичних помилок, особливо в складних, асинхронних середовищах.
Формальна верифікація пропонує альтернативу, математично доводячи, що протокол функціонує безпечно за всіх можливих сценаріїв. Sonic Labs заявила, що її новий інструмент може використовуватися не тільки для аудиту існуючих протоколів, але й для допомоги розробникам у проектуванні або модифікації систем на основі DAG з нуля.
Компанія вже використовує бібліотеку внутрішньо для верифікації безпеки власної блокчейн-мережі та стверджує, що може математично усунути можливість небезпечної поведінки за визначених умов.
Відкривши вихідний код бібліотеки, Sonic Labs має на меті зменшити вартість та складність створення безпечних блокчейн-систем, одночасно сприяючи ширшому впровадженню формальної верифікації в розробці Web3.
Sonic - це блокчейн, сумісний з EVM, розроблений для високої пропускної здатності, що пропонує фіналізацію за частки секунди та швидкість обробки до 400,000 транзакцій на секунду.
Мережа має модель монетизації зборів, яка дозволяє розробникам заробляти 90% від комісійних зборів, що генеруються їхніми децентралізованими додатками.
Чому це важливо
Оскільки все більше цінностей заблоковано в блокчейн-мережах, незначні недоліки в протооколах консенсусу можуть призвести до значних фінансових втрат і пошкодження довіри. Інструмент верифікації з відкритим вихідним кодом Sonic Labs використовує математику для забезпечення безпеки протоколу, заповнюючи прогалину, яку традиційне тестування часто ігнорує.
Перегляньте популярні криптоновини DailyCoin:
Новий крипто ETF Trump Media націлений на Bitcoin та Ethereum
Головний розробник Shiba Inu натякає на супердодаток: наступна велика річ SHIB?
Люди також запитують:
Що таке протокол консенсусу в блокчейні? Протокол консенсусу — це набір правил, які дозволяють учасникам розподіленої мережі погоджуватися з поточним станом блокчейну, забезпечуючи узгодженість всіх копій та правильну валідацію транзакцій.
Чому консенсус важливий для блокчейнів? Консенсус є необхідним для підтримки цілісності, безпеки та надійності блокчейну. Він запобігає таким проблемам, як подвійні витрати, і забезпечує, щоб усі учасники мережі мали однакову історію транзакцій.
Що таке протоколи консенсусу на основі DAG? DAG (Спрямований ациклічний граф) протоколи консенсусу використовують графову структуру замість традиційного ланцюга для запису транзакцій. Цей дизайн може покращити масштабованість і швидкість транзакцій порівняно з лінійними блокчейнами.
Що таке формальна верифікація? Формальна верифікація — це математичний метод, який використовується для доведення правильності та безпеки дизайну системи, забезпечуючи її функціонування відповідно до намірів за усіх можливих умов.
.social-share-icons { дисплей: inline-flex; flex-напрямок: ряд; розрив: 8px; border-radius: 8px; рамка: суцільна #dedede 1px; відступи: 8px 16px; margin-bottom: 8px; }
.social-share-icons a { дисплей: flex; колір: #555; оформлення тексту: немає; justify-content: по центру; вирівнювання-елементи: по центру; колір фону: #dedede; Межа-радіус: 100%; відступ: 10px; }
.social-share-icons a:hover { колір фону: #F7BE23; наповнювач: білий; }
.social-share-icons svg { ширина: 24px; висота: 24px; }