Конференція Web3 Scholar: Професор Єльського університету вперше публічно представив модель LiDO
На нещодавній конференції Web3 Scholar 2025, професор кафедри комп'ютерних наук Єльського університету Шао Чжун виступив з основною доповіддю на тему "Безпека та підтвердження активності на основі вдосконалених консенсусних протоколів: LiDO та його розширення", вперше представивши громадськості модель LiDO та розширену структуру LiDO-DAG, розроблені його командою. Цей інноваційний продукт має на меті забезпечити механізовану верифікацію безпеки та активності для складних протоколів консенсусу з байєзантською відмовостійкістю (BFT), закладаючи технічну основу для надійності та масштабного розвитку екосистеми Web3.
Професор Шао Чжун у своїй промові зазначив, що незважаючи на широке застосування існуючих консенсусних протоколів (таких як PBFT, Jolteon), висока складність реалізації часто призводить до потенційних загроз безпеці. Для вирішення цієї проблеми модель LiDO інноваційно запропонувала тришарову рамку уточненого підтвердження:
Безпечний абстрактний рівень: відображення протоколу у лінійний автомат станів, що забезпечує узгодженість журналів (безпека);
Активний рівень забезпечення: введення механізму "Pacemaker", який вирішує проблему затримки мережі за допомогою тайм-аутного мовлення та синхронізації раундів;
Розширення DAG: підтримка новітніх DAG-протоколів, таких як Narwhal, Bullshark, для реалізації ефективної верифікації без лідера.
Наразі LiDO успішно застосовується в промислових протоколах Jolteon (двоступеневий BFT) та кількох DAG-протоколах, завершивши механізоване доведення більш ніж 10 000 рядків коду Coq, з яких кількість коду для перевірки безпеки та активності склала відповідно 4000 рядків та 1700 рядків. Професор Шао Чжун у своїй промові підкреслив: "На сьогоднішній день протоколи консенсусу PoS загалом стикаються з труднощами досягнення безпеки, активності та децентралізації одночасно. Модель LiDO саме і є системним дизайнерським рішенням, покликаним розірвати це коло."
Слід зазначити, що професор Шао Чжун очолив команду, яка розробила першу у світі "безпомилкову" операційну систему CertiKOS, що пройшла формальну перевірку, і була визнана в галузі як " milestones безпеки кіберфізичних систем". Це досягнення не лише демонструє глибокі досягнення його команди в галузі безпеки систем, але й закладає міцний фундамент для подальших досліджень у сфері безпеки блокчейну. У 2017 році професор Шао Чжун разом зі своїм учнем професором Гу Ронгхуєм спільно ввели технологію формальної перевірки в сферу забезпечення безпеки смарт-контрактів та ончейнових протоколів, забезпечуючи безпеку криптоактивів на суму тисячі мільярдів доларів.
Модель LiDO наразі завершила дизайн та формалізоване підтвердження, і почала досліджувати можливості інтеграції з основними публічними блокчейнами та децентралізованими протоколами. Професор Шао Чжун заявив, що вони прагнуть перевірити ключові механізми у Web3.0, щоб запропонувати продукти та послуги на всіх етапах, краще підтримуючи довгострокову стратегію розвитку Web3 підприємств та екосистеми. На завершення виступу професор Шао Чжун підкреслив: "Достовірний, безпечний, перевіряємий стек мережевих протоколів стане ключовим шляхом до справжнього децентралізованого майбутнього."
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
13 лайків
Нагородити
13
4
Поділіться
Прокоментувати
0/400
NFTArtisanHQ
· 21год тому
ах, нарешті хтось звертає увагу на естетичну парадигму консенсусу... чесно кажучи, це нагадує мені готові роботи Дюшана
Переглянути оригіналвідповісти на0
InfraVibes
· 08-04 05:50
Ще один проект з обіцянками
Переглянути оригіналвідповісти на0
StableNomad
· 08-02 01:55
гм, ще одна модель консенсусу... мало не отримую ПТСР від luna dao прямо зараз
Переглянути оригіналвідповісти на0
ZKProofster
· 08-02 01:50
технічно кажучи, ця штука lido насправді не є дійсно проривною... просто ще одна обгортка bft, чесно кажучи
Професор Єльського університету на саміті Web3: модель LiDO вирішує проблему консенсусу в протоколі.
Конференція Web3 Scholar: Професор Єльського університету вперше публічно представив модель LiDO
На нещодавній конференції Web3 Scholar 2025, професор кафедри комп'ютерних наук Єльського університету Шао Чжун виступив з основною доповіддю на тему "Безпека та підтвердження активності на основі вдосконалених консенсусних протоколів: LiDO та його розширення", вперше представивши громадськості модель LiDO та розширену структуру LiDO-DAG, розроблені його командою. Цей інноваційний продукт має на меті забезпечити механізовану верифікацію безпеки та активності для складних протоколів консенсусу з байєзантською відмовостійкістю (BFT), закладаючи технічну основу для надійності та масштабного розвитку екосистеми Web3.
Професор Шао Чжун у своїй промові зазначив, що незважаючи на широке застосування існуючих консенсусних протоколів (таких як PBFT, Jolteon), висока складність реалізації часто призводить до потенційних загроз безпеці. Для вирішення цієї проблеми модель LiDO інноваційно запропонувала тришарову рамку уточненого підтвердження:
Наразі LiDO успішно застосовується в промислових протоколах Jolteon (двоступеневий BFT) та кількох DAG-протоколах, завершивши механізоване доведення більш ніж 10 000 рядків коду Coq, з яких кількість коду для перевірки безпеки та активності склала відповідно 4000 рядків та 1700 рядків. Професор Шао Чжун у своїй промові підкреслив: "На сьогоднішній день протоколи консенсусу PoS загалом стикаються з труднощами досягнення безпеки, активності та децентралізації одночасно. Модель LiDO саме і є системним дизайнерським рішенням, покликаним розірвати це коло."
Слід зазначити, що професор Шао Чжун очолив команду, яка розробила першу у світі "безпомилкову" операційну систему CertiKOS, що пройшла формальну перевірку, і була визнана в галузі як " milestones безпеки кіберфізичних систем". Це досягнення не лише демонструє глибокі досягнення його команди в галузі безпеки систем, але й закладає міцний фундамент для подальших досліджень у сфері безпеки блокчейну. У 2017 році професор Шао Чжун разом зі своїм учнем професором Гу Ронгхуєм спільно ввели технологію формальної перевірки в сферу забезпечення безпеки смарт-контрактів та ончейнових протоколів, забезпечуючи безпеку криптоактивів на суму тисячі мільярдів доларів.
Модель LiDO наразі завершила дизайн та формалізоване підтвердження, і почала досліджувати можливості інтеграції з основними публічними блокчейнами та децентралізованими протоколами. Професор Шао Чжун заявив, що вони прагнуть перевірити ключові механізми у Web3.0, щоб запропонувати продукти та послуги на всіх етапах, краще підтримуючи довгострокову стратегію розвитку Web3 підприємств та екосистеми. На завершення виступу професор Шао Чжун підкреслив: "Достовірний, безпечний, перевіряємий стек мережевих протоколів стане ключовим шляхом до справжнього децентралізованого майбутнього."