На саміті веб3 професор Єльського університету розкриває нову модель безпеки протоколу консенсусу

На нещодавньому саміті вчених Web3 2025 року, професор комп'ютерних наук Єльського університету Шао Чжун виступив з вражаючою доповіддю, в якій представив нову модель LiDO та розширену структуру LiDO-DAG, розроблену його командою. Цей інноваційний результат має на меті забезпечити механізовану перевірку безпеки та активності для складного протоколу консенсусу Боярської помилки (BFT), закладаючи міцну технічну основу для надійності та масштабованості екосистеми Web3.

Професор Шао Чжун у своїй промові зазначив, що, незважаючи на те, що існуючі протоколи консенсусу (такі як PBFT, Jolteon) вже широко використовуються, їхня складність реалізації часто приховує потенційні вразливості безпеки. Щоб вирішити цю проблему, модель LiDO запропонувала інноваційну тришарову систему уточнюючої перевірки:

1. Безпечний абстрактний рівень: відображення протоколу у лінійний стан машини, що забезпечує узгодженість журналу;
2. Активний захисний шар: введення механізму "Pacemaker", який вирішує проблему затримки мережі за допомогою широкомасштабного трансляції та синхронізації раундів;
3. Розширений шар DAG: підтримка нових DAG-протоколів, таких як Narwhal, Bullshark, що забезпечують ефективну валідацію консенсусу без лідерів.

Наразі LiDO успішно застосовується в промисловому протоколі Jolteon (двоступеневий BFT) та кількох DAG-протоколах, завершивши механізоване доведення більш ніж 10000 рядків коду Coq. При цьому обсяг коду для перевірки безпеки та активності склав відповідно 4000 рядків і 1700 рядків. Професор Шао Чжун у своїй промові наголосив: "Зараз протоколи консенсусу PoS загалом стикаються з труднощами досягнення безпеки, активності та децентралізації одночасно. Модель LiDO є системним дизайнерським рішенням, запропонованим для подолання цієї труднощі."

Професор Шао Чжун і його команда раніше розробили CertiKOS, який був визнаний "помітним досягненням у безпеці кіберфізичних систем". Це перша у світі "безвразлива" операційна система, що пройшла формальну верифікацію. Цей успіх не лише демонструє глибокі знання команди в області системної безпеки, але й закладає міцну технологічну основу для їх подальших досліджень. У 2017 році професор Шао Чжун разом зі своїм студентом професором Гу Ронгхуй спільно впровадили технологію формальної верифікації в область забезпечення безпеки смарт-контрактів і ланцюгових протоколів, забезпечуючи безпеку криптоактивів на мільярди доларів.

Модель LiDO наразі завершила проектування та формальну верифікацію, і почала досліджувати можливості інтеграції з основними публічними блокчейнами та децентралізованими протоколами. Професор Шао Чжун заявив, що вони прагнуть перевірити ключові механізми у Web3.0, щоб забезпечити продуктами та послугами впродовж усього циклу, краще підтримуючи довгострокову стратегію розвитку Web3 підприємств та екосистем.

Наприкінці виступу професор Шао Чжун підкреслив: "Достовірний, безпечний та перевіряємий мережевий протокольний стек стане ключовим шляхом до справжнього децентралізованого майбутнього." Ця точка зору підкреслює його глибоке розуміння напрямку розвитку технології Web3, а також надає нові напрямки розмірковування щодо безпеки майбутніх блокчейн-систем та децентралізованих систем.