Саммит ученых Web3: профессор Йельского университета впервые представил модель 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, прошедшую формальную верификацию, которая была признана в отрасли "вехой в безопасности киберфизических систем". Это достижение не только продемонстрировало глубокие накопления его команды в области системной безопасности, но и заложило прочную основу для дальнейших исследований безопасности блокчейна. В 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
хм, еще одна модель консенсуса... немного напоминает PTSD от Luna DAO сейчас
Посмотреть ОригиналОтветить0
ZKProofster
· 08-02 01:50
технически говоря, это лido не является действительно революционным... просто еще одна обертка bft, если честно
Профессор Йельского университета выступил на саммите Web3: Модель LiDO решает проблему соглашения по протоколу.
Саммит ученых Web3: профессор Йельского университета впервые представил модель LiDO
На недавно прошедшем саммите ученых Web3 2025 года профессор кафедры компьютерных наук Йельского университета Шао Чжун выступил с докладом на тему «Безопасность и доказательство активности на основе уточненного согласованного протокола: LiDO и его расширение», впервые представив общественности разработанную его командой модель LiDO и расширяющуюся структуру LiDO-DAG. Этот инновационный результат направлен на предоставление механически проверяемой безопасности и доказательства активности для сложных протоколов согласия с байянтинской толерантностью (BFT), закладывая техническую основу для надежности и масштабного развития экосистемы Web3.
Профессор Шао Чжун в своей речи отметил, что, несмотря на широкое применение существующих протоколов согласия (таких как PBFT, Jolteon), из-за высокой сложности реализации они часто имеют потенциальные угрозы безопасности. Для решения этой проблемы модель LiDO инновационно предложила трехуровневую уточненную верификационную структуру:
На данный момент LiDO успешно применен в промышленном протоколе Jolteon (двухфазный BFT) и нескольких DAG-протоколах, завершив механизированное доказательство более 10 000 строк кода Coq, где объем кода для верификации безопасности и активности составляет соответственно 4000 и 1700 строк. Профессор Шао Чжун в своем выступлении подчеркнул: "В настоящее время протоколы согласия PoS сталкиваются с трудностями в обеспечении безопасности, активности и децентрализации одновременно. Модель LiDO была предложена как системное решение для преодоления этой проблемы."
Стоит отметить, что профессор Шао Чжун возглавил команду, разработавшую первую в мире "безошибочную" операционную систему CertiKOS, прошедшую формальную верификацию, которая была признана в отрасли "вехой в безопасности киберфизических систем". Это достижение не только продемонстрировало глубокие накопления его команды в области системной безопасности, но и заложило прочную основу для дальнейших исследований безопасности блокчейна. В 2017 году профессор Шао Чжун вместе со своим учеником профессором Гу Ронгхуэй ввели технологии формальной верификации в область обеспечения безопасности смарт-контрактов и протоколов на блокчейне, обеспечив безопасность криптоактивов на сумму в тысячи миллиардов долларов.
Модель LiDO была успешно разработана и формально проверена, и начаты исследования возможностей интеграции с основными публичными блокчейн-сетями и децентрализованными протоколами. Профессор Шао Чжун отметил, что они нацелены на проверку ключевых механизмов в Web3.0, чтобы предоставить полный цикл продуктов и услуг, лучше поддерживающих долгосрочные стратегии развития Web3 компаний и экосистем. В конце выступления профессор Шао Чжун подчеркнул: "Достоверный, безопасный и проверяемый стек сетевых протоколов станет ключевым путем к истинно децентрализованному будущему."