На саміті веб3 професор Єльського університету вперше оприлюднив модель LiDO
Сьогодні розпочалася конференція вчених Web3 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, першу у світі операційну систему "без вразливостей", яка пройшла формальну верифікацію, і була визнана "м milestone безпеки кіберфізичних систем". Це досягнення не лише заклало технічну основу в галузі безпеки, але й підкреслило його глибокі накопичення в сфері системної безпеки. У останні роки професор Шао Чжун активно займається безпекою блокчейн-технологій, у 2017 році разом з учнем професором Гу Рунгхвеєм заснував компанію з безпеки блокчейн, впроваджуючи технологію формальної верифікації для забезпечення безпеки смарт-контрактів та ончейнових протоколів, захищаючи безпеку криптоактивів на рівні мільярдів доларів.
LiDO наразі завершив проектування моделі та формалізацію перевірки, і почав досліджувати можливості інтеграції з основними публічними блокчейнами та децентралізованими протоколами. Професор Шао Чжун висловив думку, що вони прагнуть перевірити ключові механізми в Web3.0, щоб забезпечити повноцінні продукти та послуги, краще підтримувати довгострокову стратегію розвитку Web3 бізнесу та екосистеми. Наприкінці виступу професор Шао Чжун підкреслив: "Достовірний, безпечний, перевіряємий стек мережевих протоколів стане ключовим шляхом до справжнього децентралізованого майбутнього."
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
13 лайків
Нагородити
13
5
Поділіться
Прокоментувати
0/400
CountdownToBroke
· 1хв. тому
Знову прийшло, знову прийшло, купа незрозумілих понять обманює людей
Переглянути оригіналвідповісти на0
consensus_failure
· 08-03 18:27
Знову немає можливості реалізувати, тільки займаємося теорією.
Переглянути оригіналвідповісти на0
MidsommarWallet
· 08-03 16:39
Єль також прийшов на свято?
Переглянути оригіналвідповісти на0
OnchainHolmes
· 08-03 16:38
Це вже занадто теоретично 8, ускладнює життя новачкам.
Професор Єльського університету вперше представив LiDO: прорив у безпеці консенсус-протоколу Web3
На саміті веб3 професор Єльського університету вперше оприлюднив модель LiDO
Сьогодні розпочалася конференція вчених Web3 2025 року, на якій професор кафедри комп'ютерних наук Єльського університету Шао Чжун виступив з основною доповіддю на тему «Безпека та доказ активності на основі уточнених консенсусних протоколів: LiDO та його розширення». Він вперше публічно представив модель LiDO та розширену структуру LiDO-DAG, цей революційний результат має на меті забезпечити механізовану верифікацію безпеки та активності для складних протоколів консенсусу з байєзантинською відмовостійкістю (BFT), закладаючи технологічне підґрунтя для надійності та масштабованого розвитку екосистеми Web3.
Професор Шао Чжун вказав, що існуючі консенсусні протоколи (такі як PBFT, Jolteon), хоча і широко використовуються, але через складність реалізації часто приховують потенційні вразливості. Для вирішення цієї проблеми модель LiDO інноваційно пропонує три рівні детальної верифікаційної структури:
На даний момент LiDO успішно застосовується в промисловому протоколі Jolteon (двоступеневий BFT) та в кількох DAG-протоколах, завершивши механізоване доведення більш ніж 10 000 рядків коду Coq, а обсяги коду для перевірки безпеки та активності склали відповідно 4000 та 1700 рядків. Професор Шао Чжун у своїй промові зазначив: "На сьогодні PoS консенсусні протоколи зазнають загальних труднощів у досягненні безпеки, активності та децентралізації одночасно. Модель LiDO була запропонована як системний дизайн для подолання цієї проблеми."
Професор Шао Чжун з командою розробив CertiKOS, першу у світі операційну систему "без вразливостей", яка пройшла формальну верифікацію, і була визнана "м milestone безпеки кіберфізичних систем". Це досягнення не лише заклало технічну основу в галузі безпеки, але й підкреслило його глибокі накопичення в сфері системної безпеки. У останні роки професор Шао Чжун активно займається безпекою блокчейн-технологій, у 2017 році разом з учнем професором Гу Рунгхвеєм заснував компанію з безпеки блокчейн, впроваджуючи технологію формальної верифікації для забезпечення безпеки смарт-контрактів та ончейнових протоколів, захищаючи безпеку криптоактивів на рівні мільярдів доларів.
LiDO наразі завершив проектування моделі та формалізацію перевірки, і почав досліджувати можливості інтеграції з основними публічними блокчейнами та децентралізованими протоколами. Професор Шао Чжун висловив думку, що вони прагнуть перевірити ключові механізми в Web3.0, щоб забезпечити повноцінні продукти та послуги, краще підтримувати довгострокову стратегію розвитку Web3 бізнесу та екосистеми. Наприкінці виступу професор Шао Чжун підкреслив: "Достовірний, безпечний, перевіряємий стек мережевих протоколів стане ключовим шляхом до справжнього децентралізованого майбутнього."