!
Достовірний редакційний контент, перевірений провідними експертами галузі та досвідченими редакторами. Реклама
Sonic Labs виправдовує свою назву і наполегливо працює в лабораторії над новою науковою статтею. Це не просто теоретичний документ: він дав реальний додаток у сфері консенсусу блокчейну, і бібліотека формальної верифікації, яку розробила Sonic Labs, тепер є з відкритим кодом та доступна на Github.
Команда Sonic Labs, звичайно, найбільше відома за архітектурою Sonic Layer-1, яка виникла з попелу Fantom. Sonic використовує DAG (Directed Acyclic Graph) для свого консенсусу, і саме в цій області команда Labs зрозуміло вирішила зосередити свої зусилля. Хоча наступна бібліотека верифікації, яку вони розробили, має наслідки для EVM-мережі Sonic, вона також однаково застосовна до всіх існуючих та майбутніх ланцюгів на основі DAG, де вона має потенціал значно підвищити безпеку, запобігаючи виникненню помилок.
Sonic Labs дає DAG повтор
Дизайн консенсусу в блокчейні - це складна тема, яка вимагає експертизи дослідників з математики, криптографії та теорії ігор. Хоча команда Sonic Labs добре обізнана в цих сферах, вона залучила кількох експертів для допомоги у своєму глибокому дослідженні DAG з метою зробити їх перевірно безпечними.
Розроблена у співпраці з провідними логіками з Університету Сіднея та INRIA, бібліотека використовує TLA+ асистента доведення для надання модульних, багаторазових компонентів. Це спрощує процес верифікації для розробників, дозволяючи їм моделювати та підтверджувати безпеку протоколів на основі DAG з легкістю. Бібліотека включає перевірені доведення для основних протоколів, таких як DAG-Rider, Cordial Miner, Bullshark, Hashgraph та Aleph, з власним консенсусним протоколом Sonic, що підтверджений як похідний.
З огляду на цінність, яка зараз існує в екосистемах блокчейн, всім вигідно зробити їх безпечнішими. Однак це легше сказати, ніж зробити, оскільки стандартні процедури аудиту далеко не безвідмовні, і не є рідкістю, що вразливості проникають, і їх пізніше експлуатують з руйнівними наслідками.
Зробити блокчейн безпечнішим для всіх
Формальний підхід Sonic Labs до верифікації використовує суворі математичні доведення для усунення помилок, забезпечуючи надійну роботу протоколів у всіх можливих сценаріях. Бібліотека не тільки перевіряє існуючі протоколи, але й надає можливість розробникам створювати нові системи на основі DAG або вдосконалювати існуючі. Sonic Labs вже застосувала свій запатентований інструмент для доведення того, що небезпечна поведінка є математично неможливою в блокчейні Sonic.
Перший раз продемонстрована на NASA Formal Methods 2025 у Вільямсбурзі, Вірджинія, в середині червня, бібліотека додає цінний оборонний інструмент до арсеналу розробників блокчейну. Оскільки модульний дизайн стає звичайним способом побудови блокчейнів, ризик виникнення проблем з безпекою зростає. Наприклад, багато провайдерів Blockchain-as-a-Service дозволяють командам створювати та розгортати власну мережу всього за кілька кліків. Але якщо вони вирішать змінити параметри механізму консенсусу в процесі, є ймовірність ненавмисного введення дірки в безпеці.
Це лише одна з областей, в якій формальна бібліотека перевірки Sonic Labs має чітке застосування. Але вона також має цінність для оцінки існуючих ланцюгів на основі DAG. Уразливості можуть залишатися непоміченими роками в природі, перш ніж, у найкращому випадку, білий хакер помітить це, і це буде виправлено. У найгіршому випадку, це потрапляє до рук чорного хакера, який може це експлуатувати.
Як підсумовує головний дослідник Sonic Labs доктор Бернхард Шольц, "У блокчейні збої безпеки часто виникають через припущення, які не перевіряються, поки не стане занадто пізно. За допомогою цієї бібліотеки ми переходимо від надії до доказу, пропонуючи інструменти для верифікації, з математичною певністю, що протокол буде безпечним за всіх умов." Тепер, коли бібліотека з відкритим кодом доступна для розробників web3, відповідальність лежить на них, щоб використати цей інструмент і максимально його реалізувати.
! Редакційний процес для bitcoinist зосереджений на наданні ретельно дослідженого, точного та непредвзятого контенту. Ми дотримуємося суворих стандартів джерел, і кожна сторінка підлягає ретельному перегляду нашою командою провідних технологічних експертів та досвідчених редакторів. Цей процес забезпечує цілісність, актуальність і цінність нашого контенту для наших читачів.
Контент має виключно довідковий характер і не є запрошенням до участі або пропозицією. Інвестиційні, податкові чи юридичні консультації не надаються. Перегляньте Відмову від відповідальності , щоб дізнатися більше про ризики.
Sonic Labs зміцнює безпеку Блокчейн з новою Формальною верифікацією бібліотеки | Bitcoinist.com
! Достовірний редакційний контент, перевірений провідними експертами галузі та досвідченими редакторами. Реклама Sonic Labs виправдовує свою назву і наполегливо працює в лабораторії над новою науковою статтею. Це не просто теоретичний документ: він дав реальний додаток у сфері консенсусу блокчейну, і бібліотека формальної верифікації, яку розробила Sonic Labs, тепер є з відкритим кодом та доступна на Github.
Команда Sonic Labs, звичайно, найбільше відома за архітектурою Sonic Layer-1, яка виникла з попелу Fantom. Sonic використовує DAG (Directed Acyclic Graph) для свого консенсусу, і саме в цій області команда Labs зрозуміло вирішила зосередити свої зусилля. Хоча наступна бібліотека верифікації, яку вони розробили, має наслідки для EVM-мережі Sonic, вона також однаково застосовна до всіх існуючих та майбутніх ланцюгів на основі DAG, де вона має потенціал значно підвищити безпеку, запобігаючи виникненню помилок.
Sonic Labs дає DAG повтор
Дизайн консенсусу в блокчейні - це складна тема, яка вимагає експертизи дослідників з математики, криптографії та теорії ігор. Хоча команда Sonic Labs добре обізнана в цих сферах, вона залучила кількох експертів для допомоги у своєму глибокому дослідженні DAG з метою зробити їх перевірно безпечними.
Розроблена у співпраці з провідними логіками з Університету Сіднея та INRIA, бібліотека використовує TLA+ асистента доведення для надання модульних, багаторазових компонентів. Це спрощує процес верифікації для розробників, дозволяючи їм моделювати та підтверджувати безпеку протоколів на основі DAG з легкістю. Бібліотека включає перевірені доведення для основних протоколів, таких як DAG-Rider, Cordial Miner, Bullshark, Hashgraph та Aleph, з власним консенсусним протоколом Sonic, що підтверджений як похідний.
З огляду на цінність, яка зараз існує в екосистемах блокчейн, всім вигідно зробити їх безпечнішими. Однак це легше сказати, ніж зробити, оскільки стандартні процедури аудиту далеко не безвідмовні, і не є рідкістю, що вразливості проникають, і їх пізніше експлуатують з руйнівними наслідками.
Зробити блокчейн безпечнішим для всіх
Формальний підхід Sonic Labs до верифікації використовує суворі математичні доведення для усунення помилок, забезпечуючи надійну роботу протоколів у всіх можливих сценаріях. Бібліотека не тільки перевіряє існуючі протоколи, але й надає можливість розробникам створювати нові системи на основі DAG або вдосконалювати існуючі. Sonic Labs вже застосувала свій запатентований інструмент для доведення того, що небезпечна поведінка є математично неможливою в блокчейні Sonic.
Перший раз продемонстрована на NASA Formal Methods 2025 у Вільямсбурзі, Вірджинія, в середині червня, бібліотека додає цінний оборонний інструмент до арсеналу розробників блокчейну. Оскільки модульний дизайн стає звичайним способом побудови блокчейнів, ризик виникнення проблем з безпекою зростає. Наприклад, багато провайдерів Blockchain-as-a-Service дозволяють командам створювати та розгортати власну мережу всього за кілька кліків. Але якщо вони вирішать змінити параметри механізму консенсусу в процесі, є ймовірність ненавмисного введення дірки в безпеці.
Це лише одна з областей, в якій формальна бібліотека перевірки Sonic Labs має чітке застосування. Але вона також має цінність для оцінки існуючих ланцюгів на основі DAG. Уразливості можуть залишатися непоміченими роками в природі, перш ніж, у найкращому випадку, білий хакер помітить це, і це буде виправлено. У найгіршому випадку, це потрапляє до рук чорного хакера, який може це експлуатувати.
Як підсумовує головний дослідник Sonic Labs доктор Бернхард Шольц, "У блокчейні збої безпеки часто виникають через припущення, які не перевіряються, поки не стане занадто пізно. За допомогою цієї бібліотеки ми переходимо від надії до доказу, пропонуючи інструменти для верифікації, з математичною певністю, що протокол буде безпечним за всіх умов." Тепер, коли бібліотека з відкритим кодом доступна для розробників web3, відповідальність лежить на них, щоб використати цей інструмент і максимально його реалізувати.
! Редакційний процес для bitcoinist зосереджений на наданні ретельно дослідженого, точного та непредвзятого контенту. Ми дотримуємося суворих стандартів джерел, і кожна сторінка підлягає ретельному перегляду нашою командою провідних технологічних експертів та досвідчених редакторів. Цей процес забезпечує цілісність, актуальність і цінність нашого контенту для наших читачів.