На саміті вчених Web3 професор Єльського університету вперше розкрив модель LiDO
На нещодавньому саміті дослідників Web3 2025 року професор кафедри комп'ютерних наук Єльського університету Чжао Чжун виступив з доповіддю на тему «Безпека та активність доказів консенсусного протоколу на основі уточнень: LiDO та його розширення», вперше представивши модель LiDO та розширену структуру LiDO-DAG, розроблені його командою. Цей інноваційний результат має на меті забезпечити механізовану перевірку безпеки та активності для складних протоколів консенсусу з байєзантським відмовостійкістю (BFT), закладаючи технологічну основу для надійності та масштабованого розвитку екосистеми Web3.
Професор Шао Чжун у своїй промові зазначив, що, незважаючи на широке застосування існуючих протоколів узгодження (таких як PBFT, Jolteon), через складність реалізації вони часто приховують потенційні вразливості. Для вирішення цієї проблеми модель LiDO інноваційно пропонує тришарову систему детального верифікації:
Безпечний абстрактний рівень: відображення протоколу у лінійний автомат стану, що забезпечує узгодженість журналів (безпека);
Активний захист: впровадження механізму "Pacemaker", який вирішує проблеми затримки мережі за допомогою тайм-аутів та синхронізації раундів;
Розширений шар DAG: підтримка нових протоколів DAG, таких як Narwhal, Bullshark, для реалізації ефективної валідації без лідера.
Наразі LiDO успішно застосовується в промислових протоколах Jolteon (двоступеневий BFT) та кількох DAG-протоколах, завершивши механізоване доведення понад 10 тисяч рядків коду Coq, з яких обсяг коду для перевірки безпеки та активності становить відповідно 4000 рядків і 1700 рядків. Професор Шао Чжун у своїй промові підкреслив: "На сьогоднішній день протоколи консенсусу PoS загалом стикаються з труднощами досягнення безпеки, активності та децентралізації одночасно. Модель LiDO є системним рішенням, що було запропоновано для подолання цієї проблеми."
Варто зазначити, що професор Шао Чжун очолив команду, яка розробила першу у світі "безвідмовну" операційну систему CertiKOS, верифіковану формально, що була визнана галуззю як "віхою безпеки кіберфізичних систем". Це досягнення не тільки демонструє глибокий досвід його команди в області безпеки систем, але й закладає міцну основу для подальших досліджень. У останні роки професор Шао Чжун зосередив свої дослідження на безпеці блокчейн-технологій і у 2017 році спільно з партнерами заснував компанію з безпеки блокчейну, яка прагне застосувати технологію формальної верифікації для забезпечення безпеки смарт-контрактів та протоколів на ланцюгу, надаючи захист криптоактивів на рівні тисяч мільярдів доларів.
Модель LiDO вже завершила проектування та формалізовану перевірку, і почала досліджувати можливості інтеграції з основними публічними блокчейнами та децентралізованими протоколами. Професор Шао Чжун заявив, що вони прагнуть перевірити ключові механізми у Web3.0, щоб запропонувати продукти та послуги на всіх етапах, краще підтримуючи довгострокову стратегію розвитку Web3 підприємств та екосистеми. У завершенні виступу професор Шао Чжун підкреслив: "Створення надійного, безпечного та перевірного стеку мережевих протоколів буде ключовим шляхом до справжнього децентралізованого майбутнього."
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
Професор Єльського університету розкриває LiDO:突破Консенсус протокол безпеки верифікації.
На саміті вчених Web3 професор Єльського університету вперше розкрив модель LiDO
На нещодавньому саміті дослідників Web3 2025 року професор кафедри комп'ютерних наук Єльського університету Чжао Чжун виступив з доповіддю на тему «Безпека та активність доказів консенсусного протоколу на основі уточнень: LiDO та його розширення», вперше представивши модель LiDO та розширену структуру LiDO-DAG, розроблені його командою. Цей інноваційний результат має на меті забезпечити механізовану перевірку безпеки та активності для складних протоколів консенсусу з байєзантським відмовостійкістю (BFT), закладаючи технологічну основу для надійності та масштабованого розвитку екосистеми Web3.
Професор Шао Чжун у своїй промові зазначив, що, незважаючи на широке застосування існуючих протоколів узгодження (таких як PBFT, Jolteon), через складність реалізації вони часто приховують потенційні вразливості. Для вирішення цієї проблеми модель LiDO інноваційно пропонує тришарову систему детального верифікації:
Наразі LiDO успішно застосовується в промислових протоколах Jolteon (двоступеневий BFT) та кількох DAG-протоколах, завершивши механізоване доведення понад 10 тисяч рядків коду Coq, з яких обсяг коду для перевірки безпеки та активності становить відповідно 4000 рядків і 1700 рядків. Професор Шао Чжун у своїй промові підкреслив: "На сьогоднішній день протоколи консенсусу PoS загалом стикаються з труднощами досягнення безпеки, активності та децентралізації одночасно. Модель LiDO є системним рішенням, що було запропоновано для подолання цієї проблеми."
Варто зазначити, що професор Шао Чжун очолив команду, яка розробила першу у світі "безвідмовну" операційну систему CertiKOS, верифіковану формально, що була визнана галуззю як "віхою безпеки кіберфізичних систем". Це досягнення не тільки демонструє глибокий досвід його команди в області безпеки систем, але й закладає міцну основу для подальших досліджень. У останні роки професор Шао Чжун зосередив свої дослідження на безпеці блокчейн-технологій і у 2017 році спільно з партнерами заснував компанію з безпеки блокчейну, яка прагне застосувати технологію формальної верифікації для забезпечення безпеки смарт-контрактів та протоколів на ланцюгу, надаючи захист криптоактивів на рівні тисяч мільярдів доларів.
Модель LiDO вже завершила проектування та формалізовану перевірку, і почала досліджувати можливості інтеграції з основними публічними блокчейнами та децентралізованими протоколами. Професор Шао Чжун заявив, що вони прагнуть перевірити ключові механізми у Web3.0, щоб запропонувати продукти та послуги на всіх етапах, краще підтримуючи довгострокову стратегію розвитку Web3 підприємств та екосистеми. У завершенні виступу професор Шао Чжун підкреслив: "Створення надійного, безпечного та перевірного стеку мережевих протоколів буде ключовим шляхом до справжнього децентралізованого майбутнього."