Web3 науковий саміт зосереджений на безпеці консенсус протоколу та доказі активності
На нещодавньому саміті вчених 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, першу у світі «безвідмовну» операційну систему, що пройшла формальну верифікацію, яка була визнана «віхою в безпеці кіберфізичних систем». Це досягнення не тільки заклало технологічний фундамент для певної компанії з безпеки, але й підкреслило її глибокі накопичення в галузі безпеки систем. Останніми роками цей професор глибоко займається безпекою блокчейну, впроваджуючи технологію формальної верифікації для забезпечення безпеки смарт-контрактів та протоколів на ланцюгу, гарантуючи безпеку криптоактивів на рівні сотень мільярдів доларів.
LiDO наразі завершив проектування моделі та формальну верифікацію, та почав досліджувати можливість інтеграції з основними публічними ланцюгами та децентралізованими протоколами. Професор заявив, що вони прагнуть верифікувати ключові механізми у Web3.0, щоб надати повний цикл продуктів та послуг, краще підтримувати довгострокову стратегію розвитку Web3 підприємств та екосистеми. В кінці виступу він підкреслив: "Достовірний, безпечний, перевіряємий стек мережевих протоколів стане ключовим шляхом до справжнього децентралізованого майбутнього."
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
15 лайків
Нагородити
15
4
Поділіться
Прокоментувати
0/400
SleepTrader
· 7год тому
Написано дуже глибоко, трохи не витримую.
Переглянути оригіналвідповісти на0
ShadowStaker
· 07-21 20:16
мех... ще одна академічна модель, яка не витримає першого контакту з MEV ботами, чесно кажучи
Переглянути оригіналвідповісти на0
quietly_staking
· 07-21 04:11
Знову займаються дурницями
Переглянути оригіналвідповісти на0
BlockchainDecoder
· 07-21 04:10
З точки зору роботи з розподіленими системами, трирівнева верифікаційна структура LiDO дійсно доповнює недоліки логіки Хора в асинхронному середовищі, що заслуговує на детальне вивчення її практичних ефектів у системах консенсусу.
Модель LiDO вперше представлена: Інновація безпеки протоколу консенсусу Web3
Web3 науковий саміт зосереджений на безпеці консенсус протоколу та доказі активності
На нещодавньому саміті вчених Web3 2025 року відомий професор комп'ютерних наук виступив з доповіддю на тему «Безпека та активність доказу на основі уточненого консенсусу: LiDO та його розширення», вперше презентувавши модель LiDO та розширену структуру LiDO-DAG, розроблені його командою. Цей прорив має на меті забезпечити механізовану перевірку безпеки та активності для складних протоколів консенсусу з байєрською толерантністю (BFT), закладаючи технологічний фундамент для надійності та масштабованого розвитку екосистеми Web3.
У виступі професор зазначив, що існуючі протоколи консенсусу (такі як PBFT, Jolteon), хоча й широко застосовуються, але через складність реалізації часто приховують потенційні вразливості. Щоб вирішити цю проблему, модель LiDO інноваційно запропонувала трирівневу рамку уточненої верифікації:
Наразі LiDO успішно застосовується в промислових протоколах Jolteon (двоступеневий BFT) та кількох DAG-протоколах, завершивши механізоване доведення понад 10 000 рядків коду Coq, а обсяги коду для перевірки безпеки та активності складають відповідно 4000 та 1700 рядків. Професор зазначив у своїй промові: "На сьогодні протоколи консенсусу PoS загалом стикаються з труднощами досягнення безпеки, активності та децентралізації одночасно. Модель LiDO була запропонована як системне рішення для подолання цієї проблеми."
Варто зазначити, що цей професор раніше очолював команду, яка розробила CertiKOS, першу у світі «безвідмовну» операційну систему, що пройшла формальну верифікацію, яка була визнана «віхою в безпеці кіберфізичних систем». Це досягнення не тільки заклало технологічний фундамент для певної компанії з безпеки, але й підкреслило її глибокі накопичення в галузі безпеки систем. Останніми роками цей професор глибоко займається безпекою блокчейну, впроваджуючи технологію формальної верифікації для забезпечення безпеки смарт-контрактів та протоколів на ланцюгу, гарантуючи безпеку криптоактивів на рівні сотень мільярдів доларів.
LiDO наразі завершив проектування моделі та формальну верифікацію, та почав досліджувати можливість інтеграції з основними публічними ланцюгами та децентралізованими протоколами. Професор заявив, що вони прагнуть верифікувати ключові механізми у Web3.0, щоб надати повний цикл продуктів та послуг, краще підтримувати довгострокову стратегію розвитку Web3 підприємств та екосистеми. В кінці виступу він підкреслив: "Достовірний, безпечний, перевіряємий стек мережевих протоколів стане ключовим шляхом до справжнього децентралізованого майбутнього."