На саміті Web3 професор Єльського університету вперше публічно представив модель LiDO
На саміті Web3 Scholar 2025 року професор кафедри комп'ютерних наук Єльського університету Шао Чжун виступив з доповіддю на тему "Безпека та активність доказів узгодженості на основі уточнених протоколів: LiDO та його розширення", вперше публічно представивши модель LiDO та розширену структуру LiDO-DAG, розроблені його командою. Цей прорив має на меті забезпечити механізовану перевірку безпеки та активності для складних протоколів узгодженості з байєрською помилкою (BFT), закладаючи технологічний фундамент для надійності та масштабованого розвитку екосистеми Web3.
Професор Шао Чжун зазначив, що існуючі угоди про консенсус, такі як PBFT, хоча й широко використовуються, але через складність реалізації часто приховують потенційні уразливості. Щоб вирішити цю проблему, модель LiDO інноваційно пропонує тришарову рамку для детальної перевірки:
Безпечний абстрактний шар: відображення протоколу у лінійний автомат станів, що забезпечує узгодженість журналів (безпека);
Активний рівень забезпечення: введення механізму "Pacemaker", що дозволяє подолати проблему затримки в мережі завдяки тайм-аутному широкомовленню та синхронізації раундів;
Розширення DAG: підтримка нових DAG-протоколів для ефективної верифікації без лідерського консенсусу.
На даний момент LiDO успішно застосовується в промисловому протоколі Jolteon (двоступеневий BFT) та кількох DAG-протоколах, завершено механізоване доведення понад тисячі рядків коду Coq, обсяг коду для перевірки безпеки та активності становить відповідно 4000 рядків та 1700 рядків. Професор Шао Чжун у своїй промові зазначив: "На сьогодні PoS консенсусні протоколи загалом стикаються з труднощами досягнення безпеки, активності та децентралізації одночасно. Модель LiDO була запропонована як системне проектне рішення для подолання цієї проблеми."
Професор Шао Чжун, очоливши команду, розробив CertiKOS, першу у світі операційну систему без вразливостей, що пройшла формальну верифікацію, яка була визнана "віхою у безпеці кіберфізичних систем". Це досягнення не лише заклало міцний фундамент у галузі безпеки систем, але й забезпечило надійну основу для подальших досліджень. Останніми роками професор Шао Чжун активно займається безпекою блокчейну, впроваджуючи технологію формальної верифікації для забезпечення безпеки смарт-контрактів та онлайнових протоколів, надаючи потужну підтримку безпеці криптоактивів.
LiDO вже завершив проектування моделі та формалізацію верифікації, і почав досліджувати можливості інтеграції з основними публічними блокчейнами та децентралізованими протоколами. Професор Шао Чжун заявив, що вони прагнуть верифікувати ключові механізми в Web3.0, щоб забезпечити повний цикл продуктів та послуг, краще підтримуючи довгострокові стратегії розвитку Web3 підприємств та екосистеми. В кінці виступу професор Шао Чжун підкреслив: "Достовірний, безпечний, перевіряємий стек мережевих протоколів буде ключовим шляхом до справжнього децентралізованого майбутнього."
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
14 лайків
Нагородити
14
5
Репост
Поділіться
Прокоментувати
0/400
GasOptimizer
· 1год тому
Знову щось вигадують, краще б підвищили TPS
Переглянути оригіналвідповісти на0
GweiWatcher
· 08-10 01:51
Увесь день зайнятий продажем коротких позицій, я розумію і биків, і ведмедів.
Переглянути оригіналвідповісти на0
GasFeeSobber
· 08-10 01:42
Ялу товар занадто дорогий, не можу собі дозволити.
Переглянути оригіналвідповісти на0
FlashLoanPrince
· 08-10 01:24
Знову злетіли в небо?
Переглянути оригіналвідповісти на0
GasFeeVictim
· 08-10 01:23
Консенсус протокол знову робить нові фокуси, гаразд.
Професор Єльського університету представив модель LiDO для сприяння突破 у верифікації консенсусного протоколу Web3
На саміті Web3 професор Єльського університету вперше публічно представив модель LiDO
На саміті Web3 Scholar 2025 року професор кафедри комп'ютерних наук Єльського університету Шао Чжун виступив з доповіддю на тему "Безпека та активність доказів узгодженості на основі уточнених протоколів: LiDO та його розширення", вперше публічно представивши модель LiDO та розширену структуру LiDO-DAG, розроблені його командою. Цей прорив має на меті забезпечити механізовану перевірку безпеки та активності для складних протоколів узгодженості з байєрською помилкою (BFT), закладаючи технологічний фундамент для надійності та масштабованого розвитку екосистеми Web3.
Професор Шао Чжун зазначив, що існуючі угоди про консенсус, такі як PBFT, хоча й широко використовуються, але через складність реалізації часто приховують потенційні уразливості. Щоб вирішити цю проблему, модель LiDO інноваційно пропонує тришарову рамку для детальної перевірки:
На даний момент LiDO успішно застосовується в промисловому протоколі Jolteon (двоступеневий BFT) та кількох DAG-протоколах, завершено механізоване доведення понад тисячі рядків коду Coq, обсяг коду для перевірки безпеки та активності становить відповідно 4000 рядків та 1700 рядків. Професор Шао Чжун у своїй промові зазначив: "На сьогодні PoS консенсусні протоколи загалом стикаються з труднощами досягнення безпеки, активності та децентралізації одночасно. Модель LiDO була запропонована як системне проектне рішення для подолання цієї проблеми."
Професор Шао Чжун, очоливши команду, розробив CertiKOS, першу у світі операційну систему без вразливостей, що пройшла формальну верифікацію, яка була визнана "віхою у безпеці кіберфізичних систем". Це досягнення не лише заклало міцний фундамент у галузі безпеки систем, але й забезпечило надійну основу для подальших досліджень. Останніми роками професор Шао Чжун активно займається безпекою блокчейну, впроваджуючи технологію формальної верифікації для забезпечення безпеки смарт-контрактів та онлайнових протоколів, надаючи потужну підтримку безпеці криптоактивів.
LiDO вже завершив проектування моделі та формалізацію верифікації, і почав досліджувати можливості інтеграції з основними публічними блокчейнами та децентралізованими протоколами. Професор Шао Чжун заявив, що вони прагнуть верифікувати ключові механізми в Web3.0, щоб забезпечити повний цикл продуктів та послуг, краще підтримуючи довгострокові стратегії розвитку Web3 підприємств та екосистеми. В кінці виступу професор Шао Чжун підкреслив: "Достовірний, безпечний, перевіряємий стек мережевих протоколів буде ключовим шляхом до справжнього децентралізованого майбутнього."