На саміті дослідників Web3 професор Єльського університету поділився новою моделлю безпеки консенсусу протоколу
Нещодавно відбулася щорічна конференція Web3 Scholars 2025. На заході професор кафедри комп'ютерних наук Єльського університету Шао Чжун виступив з доповіддю на тему "Безпека та активність доказів на основі уточненого консенсус-протоколу: LiDO та його розширення", вперше представивши публіці розроблену його командою модель LiDO та розширену рамку LiDO-DAG. Цей інноваційний результат спрямований на забезпечення механізованої верифікації безпеки та активності для складних протоколів Бейзантинської відмовостійкості (BFT), закладаючи технологічну основу для надійності та масштабованості екосистеми Web3.
Професор Шао Чжун у своїй промові зазначив, що, незважаючи на те, що існуючі протоколи консенсусу (такі як PBFT, Jolteon) широко використовуються, їхня складність реалізації часто приховує потенційні вразливості. Щоб вирішити цю проблему, модель LiDO запропонувала інноваційну тришарову рамку уточненої верифікації:
Безпечний абстрактний рівень: відображення протоколу як лінійна машина станів, що забезпечує узгодженість журналу (безпека);
Активний рівень гарантії: введення механізму "Pacemaker", який вирішує проблему затримки мережі через тайм-аутне широкомовлення та синхронізацію раундів;
Розширення DAG: підтримка нових DAG-протоколів, таких як Narwhal, Bullshark, для ефективної верифікації безлідерського консенсусу.
Наразі LiDO успішно застосовується в промисловому протоколі Jolteon (двоступеневий BFT) та кількох DAG-протоколах, завершивши механізоване доведення понад 10,000 рядків коду Coq, де обсяг коду для перевірки безпеки та активності становить відповідно 4,000 рядків і 1,700 рядків. Професор Шао Чжун у своїй доповіді підкреслив: "На сьогодні протоколи консенсусу PoS загалом стикаються з труднощами досягнення безпеки, активності та децентралізації одночасно. Модель LiDO є системним дизайнерським рішенням, запропонованим для подолання цієї проблеми."
Варто зазначити, що команда професора Шао Чжун, яку він очолює, раніше розробила CertiKOS, це перша у світі операційна система "без уразливостей", що пройшла формальну верифікацію, визнана "віхою безпеки кіберфізичних систем". Це досягнення не лише демонструє глибокі накопичення в галузі системної безпеки, але й закладає основу для подальших досліджень у сфері безпеки блокчейну. У 2017 році професор Шао Чжун разом зі своїм учнем професором Гу Ронгхуєм спільно впровадили технологію формальної верифікації в сферу забезпечення безпеки смарт-контрактів та протоколів на ланцюгу, забезпечуючи безпеку криптоактивів загальним обсягом у сотні мільярдів доларів.
Модель LiDO вже завершила проектування та формальну верифікацію, і розпочала дослідження можливостей інтеграції з основними публічними блокчейн-протоколами та децентралізованими протоколами. Професор Шао Чжун зазначив, що вони прагнуть верифікувати ключові механізми у Web3.0, щоб забезпечити продукти та послуги на всьому протязі циклу, краще підтримуючи довгострокову стратегію розвитку Web3 підприємств та екосистем. Наприкінці виступу професор Шао Чжун підкреслив: "Достовірний, безпечний, перевіряємий стек мережевих протоколів буде ключовим шляхом до справжнього децентралізованого майбутнього."
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
14 лайків
Нагородити
14
4
Поділіться
Прокоментувати
0/400
CryptoNomics
· 9год тому
*с sigh* ще одна модель, яка стверджує, що вирішує BFT, коли справжня проблема полягає в рівновагах стохастичної теорії ігор... дай-но я швидко проведу деякі розрахунки
Переглянути оригіналвідповісти на0
AirdropHunterKing
· 9год тому
Це знову що за розкішна штука? Не кажіть швидше, як отримати Аірдроп?
Професор Єльського університету представив модель LiDO: новий прорив у верифікації безпеки консенсусного протоколу
На саміті дослідників Web3 професор Єльського університету поділився новою моделлю безпеки консенсусу протоколу
Нещодавно відбулася щорічна конференція Web3 Scholars 2025. На заході професор кафедри комп'ютерних наук Єльського університету Шао Чжун виступив з доповіддю на тему "Безпека та активність доказів на основі уточненого консенсус-протоколу: LiDO та його розширення", вперше представивши публіці розроблену його командою модель LiDO та розширену рамку LiDO-DAG. Цей інноваційний результат спрямований на забезпечення механізованої верифікації безпеки та активності для складних протоколів Бейзантинської відмовостійкості (BFT), закладаючи технологічну основу для надійності та масштабованості екосистеми Web3.
Професор Шао Чжун у своїй промові зазначив, що, незважаючи на те, що існуючі протоколи консенсусу (такі як PBFT, Jolteon) широко використовуються, їхня складність реалізації часто приховує потенційні вразливості. Щоб вирішити цю проблему, модель LiDO запропонувала інноваційну тришарову рамку уточненої верифікації:
Наразі LiDO успішно застосовується в промисловому протоколі Jolteon (двоступеневий BFT) та кількох DAG-протоколах, завершивши механізоване доведення понад 10,000 рядків коду Coq, де обсяг коду для перевірки безпеки та активності становить відповідно 4,000 рядків і 1,700 рядків. Професор Шао Чжун у своїй доповіді підкреслив: "На сьогодні протоколи консенсусу PoS загалом стикаються з труднощами досягнення безпеки, активності та децентралізації одночасно. Модель LiDO є системним дизайнерським рішенням, запропонованим для подолання цієї проблеми."
Варто зазначити, що команда професора Шао Чжун, яку він очолює, раніше розробила CertiKOS, це перша у світі операційна система "без уразливостей", що пройшла формальну верифікацію, визнана "віхою безпеки кіберфізичних систем". Це досягнення не лише демонструє глибокі накопичення в галузі системної безпеки, але й закладає основу для подальших досліджень у сфері безпеки блокчейну. У 2017 році професор Шао Чжун разом зі своїм учнем професором Гу Ронгхуєм спільно впровадили технологію формальної верифікації в сферу забезпечення безпеки смарт-контрактів та протоколів на ланцюгу, забезпечуючи безпеку криптоактивів загальним обсягом у сотні мільярдів доларів.
Модель LiDO вже завершила проектування та формальну верифікацію, і розпочала дослідження можливостей інтеграції з основними публічними блокчейн-протоколами та децентралізованими протоколами. Професор Шао Чжун зазначив, що вони прагнуть верифікувати ключові механізми у Web3.0, щоб забезпечити продукти та послуги на всьому протязі циклу, краще підтримуючи довгострокову стратегію розвитку Web3 підприємств та екосистем. Наприкінці виступу професор Шао Чжун підкреслив: "Достовірний, безпечний, перевіряємий стек мережевих протоколів буде ключовим шляхом до справжнього децентралізованого майбутнього."