Web3 Scholar Summit: Професор Єльського університету запропонував інноваційну модель верифікації консенсусного протоколу
У 2025 році відбувся саміт учених Web3, на якому професор кафедри комп'ютерних наук Єльського університету Шао Чжун виступив з основною доповіддю, вперше представивши модель LiDO та розширену рамку LiDO-DAG, розроблені його командою. Це революційне досягнення має на меті забезпечити механізовану верифікацію безпеки та активності для складного протоколу консенсусу з拜占庭ською стійкістю (BFT), закладаючи технологічну основу для надійності та масштабованого розвитку екосистеми Web3.
Професор Шао Чжун у своїй промові зазначив, що існуючі протоколи консенсусу хоч і широко застосовуються, але через складність реалізації часто приховують потенційні вразливості. Для вирішення цієї проблеми модель LiDO інноваційно пропонує трирівневу структуру верифікації:
Безпечний абстрактний рівень: відображення протоколу у лінійний стан машини, що забезпечує узгодженість журналу (безпека);
Активний захисний шар: впровадження механізму "Pacemaker", що дозволяє вирішити проблему затримки мережі за допомогою тайм-аутного широкомовлення та синхронізації раундів;
Розширення DAG: підтримка нових протоколів DAG, що забезпечують ефективну верифікацію безлідерного консенсусу.
Наразі LiDO успішно застосовується в промислових протоколах та кількох DAG-протоколах, завершивши механізоване доведення понад 10 000 рядків коду Coq, обсяги коду для перевірки безпеки та активності складають відповідно 4000 та 1700 рядків. Професор Шао Чжун у своїй промові зазначив: "На сьогодні протоколи консенсусу PoS загалом стикаються з труднощами досягнення безпеки, активності та децентралізації одночасно. Модель LiDO є системним дизайнерським рішенням, запропонованим для подолання цієї проблеми."
Професор Чжао Чжун очолив команду, яка розробила CertiKOS, першу у світі "безвразливу" операційну систему, що пройшла формальну верифікацію, яка була названа " milestones безпеки кіберфізичних систем". Цей досягнення не лише заклало технологічну основу його компанії, але й продемонструвало його глибокі накопичення в області безпеки систем. У останні роки професор Чжао Чжун глибоко вивчав безпеку блокчейну, у 2017 році разом зі своїм учнем професором Гу Рунгхун заснував компанію, яка впровадила технологію формальної верифікації для забезпечення безпеки смарт-контрактів та ланцюгових протоколів, охороняючи безпеку криптоактивів на рівні сотень мільярдів доларів.
LiDO наразі завершив проектування моделі та формалізацію перевірки, а також розпочав дослідження можливостей інтеграції з основними публічними блокчейнами та децентралізованими протоколами. Професор Шао Чжун заявив, що вони прагнуть перевірити ключові механізми у Web3.0, щоб забезпечити повний цикл продуктів і послуг, краще підтримуючи довгострокову стратегію розвитку Web3 компаній та екосистеми. В кінці виступу професор Шао Чжун підкреслив: "Достовірний, безпечний, перевіряємий стек мережевих протоколів буде ключовим шляхом до справжнього децентралізованого майбутнього."
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
Професор Єльського університету представив модель LiDO, що вирішує проблему верифікації консенсусу у Web3.
Web3 Scholar Summit: Професор Єльського університету запропонував інноваційну модель верифікації консенсусного протоколу
У 2025 році відбувся саміт учених Web3, на якому професор кафедри комп'ютерних наук Єльського університету Шао Чжун виступив з основною доповіддю, вперше представивши модель LiDO та розширену рамку LiDO-DAG, розроблені його командою. Це революційне досягнення має на меті забезпечити механізовану верифікацію безпеки та активності для складного протоколу консенсусу з拜占庭ською стійкістю (BFT), закладаючи технологічну основу для надійності та масштабованого розвитку екосистеми Web3.
Професор Шао Чжун у своїй промові зазначив, що існуючі протоколи консенсусу хоч і широко застосовуються, але через складність реалізації часто приховують потенційні вразливості. Для вирішення цієї проблеми модель LiDO інноваційно пропонує трирівневу структуру верифікації:
Наразі LiDO успішно застосовується в промислових протоколах та кількох DAG-протоколах, завершивши механізоване доведення понад 10 000 рядків коду Coq, обсяги коду для перевірки безпеки та активності складають відповідно 4000 та 1700 рядків. Професор Шао Чжун у своїй промові зазначив: "На сьогодні протоколи консенсусу PoS загалом стикаються з труднощами досягнення безпеки, активності та децентралізації одночасно. Модель LiDO є системним дизайнерським рішенням, запропонованим для подолання цієї проблеми."
Професор Чжао Чжун очолив команду, яка розробила CertiKOS, першу у світі "безвразливу" операційну систему, що пройшла формальну верифікацію, яка була названа " milestones безпеки кіберфізичних систем". Цей досягнення не лише заклало технологічну основу його компанії, але й продемонструвало його глибокі накопичення в області безпеки систем. У останні роки професор Чжао Чжун глибоко вивчав безпеку блокчейну, у 2017 році разом зі своїм учнем професором Гу Рунгхун заснував компанію, яка впровадила технологію формальної верифікації для забезпечення безпеки смарт-контрактів та ланцюгових протоколів, охороняючи безпеку криптоактивів на рівні сотень мільярдів доларів.
LiDO наразі завершив проектування моделі та формалізацію перевірки, а також розпочав дослідження можливостей інтеграції з основними публічними блокчейнами та децентралізованими протоколами. Професор Шао Чжун заявив, що вони прагнуть перевірити ключові механізми у Web3.0, щоб забезпечити повний цикл продуктів і послуг, краще підтримуючи довгострокову стратегію розвитку Web3 компаній та екосистеми. В кінці виступу професор Шао Чжун підкреслив: "Достовірний, безпечний, перевіряємий стек мережевих протоколів буде ключовим шляхом до справжнього децентралізованого майбутнього."