Веб3 Академический Саммит: Профессор Йельского университета впервые публично представил модель LiDO
На недавно прошедшей конференции ученых Web3 2025 года профессор кафедры компьютерных наук Йельского университета Шао Чжун выступил с основным докладом на тему «Безопасность и доказательства активности на основе уточненной согласованности: LiDO и его расширения», впервые представив публике модель LiDO и расширяющую структуру LiDO-DAG, разработанные его командой. Этот инновационный результат направлен на обеспечение механически проверяемой безопасности и доказательств активности для сложных протоколов согласия с байантийской стойкостью (BFT), закладывая техническую основу для надежности и масштабного развития экосистемы Web3.
Профессор Шао Чжун в своей речи отметил, что, несмотря на то, что существующие соглашения о консенсусе (такие как PBFT и Jolteon) широко применяются, из-за сложности реализации эти протоколы часто скрывают потенциальные уязвимости. Чтобы решить эту проблему, модель LiDO предлагает инновационную трехуровневую структуру уточняющей проверки:
Безопасный абстрактный уровень: отображение протокола в линеаризуемую машину состояний для обеспечения согласованности журналов (безопасность);
Уровень активной защиты: внедрение механизма "Pacemaker", который решает проблемы сетевой задержки с помощью тайм-аутов и синхронизации по раундам;
Расширенный уровень DAG: поддержка новых DAG протоколов, таких как Narwhal, Bullshark и т.д., для эффективной верификации без лидера.
На данный момент LiDO успешно применяется в промышленном протоколе Jolteon (двухфазный BFT) и нескольких протоколах DAG, завершив более десяти тысяч строк механизированных доказательств кода Coq, из которых количество строк кода для проверки безопасности и активности составляет 4000 и 1700 соответственно. Профессор Шао Чжун подчеркнул в своем выступлении: "В настоящее время протоколы консенсуса PoS в целом сталкиваются с трудностями достижения безопасности, активности и децентрализации одновременно. Модель LiDO является системным проектом, предложенным для преодоления этой проблемы."
Стоит отметить, что команда под руководством профессора Шао Чжун ранее разработала CertiKOS, первую в мире операционную систему с "нулевыми уязвимостями", прошедшую формальную верификацию, получившую признание в отрасли как "веха в безопасности киберфизических систем". Это достижение не только подчеркивает его глубокие накопления в области системной безопасности, но и закладывает прочный фундамент для последующих исследований в области безопасности блокчейна. С 2017 года профессор Шао Чжун активно работает над внедрением технологий формальной верификации в область обеспечения безопасности смарт-контрактов и протоколов на цепочке, что сыграло важную роль в защите криптоактивов на сумму в сотни миллиардов долларов.
В настоящее время LiDO завершил проектирование модели и формальную проверку, и начал исследовать возможности интеграции с основными публичными цепочками и децентрализованными протоколами. Профессор Шао Чжун заявил, что они стремятся проверить ключевые механизмы в Web3.0, чтобы предоставить продукты и услуги на всех этапах, лучше поддерживая долгосрочную стратегию развития Web3 компаний и экосистемы. В конце своей речи профессор Шао Чжун подчеркнул: "Достоверный, безопасный и проверяемый стек сетевых протоколов станет ключевым путем к настоящему децентрализованному будущему."
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
12 Лайков
Награда
12
8
Репост
Поделиться
комментарий
0/400
NFTragedy
· 23ч назад
Есть что-то, академическая среда сошла с ума.
Посмотреть ОригиналОтветить0
ForkMaster
· 08-13 13:09
Еще один проект белой шляпы? Сначала посмотрим, как проверяются уязвимости... Старые белые шляпы все понимают.
Посмотреть ОригиналОтветить0
MidnightGenesis
· 08-13 03:40
Поздно ночью снова разбираю код. Как и ожидалось, старая проблема все еще существует.
Посмотреть ОригиналОтветить0
0xDreamChaser
· 08-11 02:29
Смотри, смотри, снова затеяли ловушку.
Посмотреть ОригиналОтветить0
MetaMisfit
· 08-10 20:55
Снова пришли к炒概念了, вместо этого лучше сразу использовать pbft.
Посмотреть ОригиналОтветить0
ThatsNotARugPull
· 08-10 20:39
Бык, а можно поговорить на китайском?
Посмотреть ОригиналОтветить0
LiquidatedAgain
· 08-10 20:36
Безопасность – это просто шутка. Вспомни, какой урок я получил в прошлый раз, когда меня ликвидировали.
Профессор Йельского университета впервые представил модель LiDO для безопасной проверки соглашения Web3.
Веб3 Академический Саммит: Профессор Йельского университета впервые публично представил модель LiDO
На недавно прошедшей конференции ученых Web3 2025 года профессор кафедры компьютерных наук Йельского университета Шао Чжун выступил с основным докладом на тему «Безопасность и доказательства активности на основе уточненной согласованности: LiDO и его расширения», впервые представив публике модель LiDO и расширяющую структуру LiDO-DAG, разработанные его командой. Этот инновационный результат направлен на обеспечение механически проверяемой безопасности и доказательств активности для сложных протоколов согласия с байантийской стойкостью (BFT), закладывая техническую основу для надежности и масштабного развития экосистемы Web3.
Профессор Шао Чжун в своей речи отметил, что, несмотря на то, что существующие соглашения о консенсусе (такие как PBFT и Jolteon) широко применяются, из-за сложности реализации эти протоколы часто скрывают потенциальные уязвимости. Чтобы решить эту проблему, модель LiDO предлагает инновационную трехуровневую структуру уточняющей проверки:
На данный момент LiDO успешно применяется в промышленном протоколе Jolteon (двухфазный BFT) и нескольких протоколах DAG, завершив более десяти тысяч строк механизированных доказательств кода Coq, из которых количество строк кода для проверки безопасности и активности составляет 4000 и 1700 соответственно. Профессор Шао Чжун подчеркнул в своем выступлении: "В настоящее время протоколы консенсуса PoS в целом сталкиваются с трудностями достижения безопасности, активности и децентрализации одновременно. Модель LiDO является системным проектом, предложенным для преодоления этой проблемы."
Стоит отметить, что команда под руководством профессора Шао Чжун ранее разработала CertiKOS, первую в мире операционную систему с "нулевыми уязвимостями", прошедшую формальную верификацию, получившую признание в отрасли как "веха в безопасности киберфизических систем". Это достижение не только подчеркивает его глубокие накопления в области системной безопасности, но и закладывает прочный фундамент для последующих исследований в области безопасности блокчейна. С 2017 года профессор Шао Чжун активно работает над внедрением технологий формальной верификации в область обеспечения безопасности смарт-контрактов и протоколов на цепочке, что сыграло важную роль в защите криптоактивов на сумму в сотни миллиардов долларов.
В настоящее время LiDO завершил проектирование модели и формальную проверку, и начал исследовать возможности интеграции с основными публичными цепочками и децентрализованными протоколами. Профессор Шао Чжун заявил, что они стремятся проверить ключевые механизмы в Web3.0, чтобы предоставить продукты и услуги на всех этапах, лучше поддерживая долгосрочную стратегию развития Web3 компаний и экосистемы. В конце своей речи профессор Шао Чжун подчеркнул: "Достоверный, безопасный и проверяемый стек сетевых протоколов станет ключевым путем к настоящему децентрализованному будущему."