На проведеній сьогодні конференції Web3 Scholars Conference 2025 професор кафедри комп'ютерних наук Єльського університету, співзасновник CertiK Шао Чжун виступив з доповіддю на тему "Безпека та докази активності з уточненими консенсусними протоколами: LiDO та його розширення", вперше представивши модель LiDO та розширювальну структуру LiDO-DAG, розроблену його командою. Цей прорив має на меті забезпечити механізовану верифікацію безпеки та активності для складних протоколів консенсусу з байєрською толерантністю (BFT), закладаючи технологічний фундамент для надійності та масштабованого розвитку екосистеми Web3.
В своїй доповіді професор Шао Чжун вказав, що існуючі протоколи консенсусу (такі як PBFT, Jolteon), хоч і широко використовуються, але через складність реалізації часто приховують потенційні вразливості. Щоб вирішити цю проблему, модель LiDO інноваційно пропонує трирівневу структуру уточненої валідації:
Безпечний абстрактний рівень: відображення протоколу у лінійну машину станів, що забезпечує узгодженість журналу (безпека);
Активний захист: введення механізму "Pacemaker" для вирішення проблеми затримки мережі через тайм-аут і синхронізацію раундів;
Розширений шар DAG: підтримка нових DAG-протоколів, таких як Narwhal, Bullshark, для досягнення ефективної валідації без лідерства.
В даний час LiDO успішно застосовується до протоколу промислового класу Jolteon (двоступеневий BFT) і декількох протоколів DAG, завершивши механізовану перевірку більш ніж 10 000 рядків коду Coq, з 4 000 лініями безпеки і 1 700 лініями коду перевірки активності. «В даний час протоколи консенсусу PoS, як правило, стикаються з дилемою, що важко досягти як безпеки, життєздатності, так і децентралізації», – зазначив у своєму виступі професор Шао Чжун. «Модель LiDO є системним дизайнерським рішенням, щоб подолати цю дилему».
Професор Шао Чжун, очолюючи команду, розробив CertiKOS, першу в світі операційну систему без вразливостей, яка пройшла формальну верифікацію, що стала важливою віхою в безпеці кіберфізичних систем. Це досягнення не лише заклало технологічний фундамент безпекової компанії CertiK, але й продемонструвало її глибокі накопичення в сфері системної безпеки. Останніми роками професор Шао Чжун активно займався безпекою блокчейну, у 2017 році разом зі своїм учнем професором Гу Ронгхуєм заснував CertiK, впровадивши технологію формальної верифікації для забезпечення безпеки смарт-контрактів та ончейн-протоколів, що забезпечує безпеку криптовалютних активів на рівні сотень мільярдів доларів.
В даний час LiDO завершив розробку моделі та формальну верифікацію, а також почав досліджувати можливості інтеграції з основними публічними ланцюгами та децентралізованими протоколами. Професор Шао Чжун сказав, що CertiK прагне перевірити ключові механізми Web3.0 для надання продуктів і послуг повного циклу для кращої підтримки довгострокових стратегій розвитку підприємств та екосистем Web3. Наприкінці виступу професор Шао Чжун підкреслив: «Надійний, безпечний і перевірений стек мережевих протоколів стане ключовим шляхом до справді децентралізованого майбутнього. ”
Контент має виключно довідковий характер і не є запрошенням до участі або пропозицією. Інвестиційні, податкові чи юридичні консультації не надаються. Перегляньте Відмову від відповідальності , щоб дізнатися більше про ризики.
Професор Шао Чжун, співзасновник CertiK, взяв участь у саміті вчених Web3, вперше представивши модель LiDO.
На проведеній сьогодні конференції Web3 Scholars Conference 2025 професор кафедри комп'ютерних наук Єльського університету, співзасновник CertiK Шао Чжун виступив з доповіддю на тему "Безпека та докази активності з уточненими консенсусними протоколами: LiDO та його розширення", вперше представивши модель LiDO та розширювальну структуру LiDO-DAG, розроблену його командою. Цей прорив має на меті забезпечити механізовану верифікацію безпеки та активності для складних протоколів консенсусу з байєрською толерантністю (BFT), закладаючи технологічний фундамент для надійності та масштабованого розвитку екосистеми Web3.
В своїй доповіді професор Шао Чжун вказав, що існуючі протоколи консенсусу (такі як PBFT, Jolteon), хоч і широко використовуються, але через складність реалізації часто приховують потенційні вразливості. Щоб вирішити цю проблему, модель LiDO інноваційно пропонує трирівневу структуру уточненої валідації:
В даний час LiDO успішно застосовується до протоколу промислового класу Jolteon (двоступеневий BFT) і декількох протоколів DAG, завершивши механізовану перевірку більш ніж 10 000 рядків коду Coq, з 4 000 лініями безпеки і 1 700 лініями коду перевірки активності. «В даний час протоколи консенсусу PoS, як правило, стикаються з дилемою, що важко досягти як безпеки, життєздатності, так і децентралізації», – зазначив у своєму виступі професор Шао Чжун. «Модель LiDO є системним дизайнерським рішенням, щоб подолати цю дилему».
Професор Шао Чжун, очолюючи команду, розробив CertiKOS, першу в світі операційну систему без вразливостей, яка пройшла формальну верифікацію, що стала важливою віхою в безпеці кіберфізичних систем. Це досягнення не лише заклало технологічний фундамент безпекової компанії CertiK, але й продемонструвало її глибокі накопичення в сфері системної безпеки. Останніми роками професор Шао Чжун активно займався безпекою блокчейну, у 2017 році разом зі своїм учнем професором Гу Ронгхуєм заснував CertiK, впровадивши технологію формальної верифікації для забезпечення безпеки смарт-контрактів та ончейн-протоколів, що забезпечує безпеку криптовалютних активів на рівні сотень мільярдів доларів.
В даний час LiDO завершив розробку моделі та формальну верифікацію, а також почав досліджувати можливості інтеграції з основними публічними ланцюгами та децентралізованими протоколами. Професор Шао Чжун сказав, що CertiK прагне перевірити ключові механізми Web3.0 для надання продуктів і послуг повного циклу для кращої підтримки довгострокових стратегій розвитку підприємств та екосистем Web3. Наприкінці виступу професор Шао Чжун підкреслив: «Надійний, безпечний і перевірений стек мережевих протоколів стане ключовим шляхом до справді децентралізованого майбутнього. ”