На саммите Web3 профессор Йельского университета впервые представил модель LiDO
На саммите ученых Web3 в 2025 году профессор кафедры компьютерных наук Йельского университета Шао Чжун выступил с докладом на тему «Безопасность и доказательства активности на основе уточненных согласительных протоколов: LiDO и его расширение», в котором впервые была представлена модель LiDO и расширяющая структура LiDO-DAG, разработанные его командой. Этот прорывной результат призван обеспечить механически проверяемые доказательства безопасности и активности для сложных протоколов согласия с толерантностью к ошибкам Бейзантия (BFT), что заложит технологическую основу для надежности и масштабируемого развития экосистемы Web3.
Профессор Шао Чжун указал, что существующие соглашения о согласии, хотя и широко применяются, но из-за их сложности реализации часто скрывают потенциальные уязвимости. Для решения этой проблемы модель LiDO инновационно предлагает трехуровневую уточненную верификационную структуру:
Активный уровень защиты: внедрение механизма "Pacemaker", который решает проблему сетевой задержки через тайм-ауты и синхронизацию раундов;
Расширенный уровень DAG: поддержка новых протоколов DAG для эффективной верификации без лидера.
В настоящее время LiDO успешно применяется в промышленных протоколах Jolteon (двухфазный BFT) и нескольких DAG-протоколах, завершив механизированное доказательство более 10 000 строк кода Coq, объем кода для верификации безопасности и активности составил 4000 и 1700 строк соответственно. Профессор Шао Чжун в своем выступлении отметил: "На сегодняшний день протоколы согласия PoS сталкиваются с трудностями в обеспечении безопасности, активности и децентрализации одновременно. Модель LiDO была предложена как системное решение для преодоления этой проблемы."
Профессор Шао Чжун возглавил команду, разработавшую CertiKOS, первую в мире операционную систему "без уязвимостей", прошедшую формальную проверку, которая была названа "вехой в области безопасности киберфизических систем". Это достижение не только заложило техническую основу для его работы в области безопасности систем, но и продемонстрировало его глубокие накопления. В последние годы профессор Шао Чжун углубился в безопасность блокчейна и в 2017 году совместно с учеником профессором Гу Ронгхуэй ввел технологии формальной верификации в обеспечение безопасности смарт-контрактов и протоколов на блокчейне, обеспечивая безопасность криптоактивов на уровне сотен миллиардов долларов.
LiDO уже завершил проектирование модели и формальную верификацию, и начал исследовать возможности интеграции с основными публичными блокчейнами и децентрализованными протоколами. Профессор Шао Чжун отметил, что они стремятся проверить ключевые механизмы в Web3.0, чтобы предоставить продукты и услуги на протяжении всего жизненного цикла, лучше поддерживая долгосрочную стратегию развития Web3 компаний и экосистем. В конце выступления профессор Шао Чжун подчеркнул: "Достоверный, безопасный и проверяемый стек сетевых протоколов станет ключевым путем к истинно децентрализованному будущему."
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
Профессор Йельского университета представил модель LiDO: новое достижение в верификации безопасности соглашения Web3.
На саммите Web3 профессор Йельского университета впервые представил модель LiDO
На саммите ученых Web3 в 2025 году профессор кафедры компьютерных наук Йельского университета Шао Чжун выступил с докладом на тему «Безопасность и доказательства активности на основе уточненных согласительных протоколов: LiDO и его расширение», в котором впервые была представлена модель LiDO и расширяющая структура LiDO-DAG, разработанные его командой. Этот прорывной результат призван обеспечить механически проверяемые доказательства безопасности и активности для сложных протоколов согласия с толерантностью к ошибкам Бейзантия (BFT), что заложит технологическую основу для надежности и масштабируемого развития экосистемы Web3.
Профессор Шао Чжун указал, что существующие соглашения о согласии, хотя и широко применяются, но из-за их сложности реализации часто скрывают потенциальные уязвимости. Для решения этой проблемы модель LiDO инновационно предлагает трехуровневую уточненную верификационную структуру:
В настоящее время LiDO успешно применяется в промышленных протоколах Jolteon (двухфазный BFT) и нескольких DAG-протоколах, завершив механизированное доказательство более 10 000 строк кода Coq, объем кода для верификации безопасности и активности составил 4000 и 1700 строк соответственно. Профессор Шао Чжун в своем выступлении отметил: "На сегодняшний день протоколы согласия PoS сталкиваются с трудностями в обеспечении безопасности, активности и децентрализации одновременно. Модель LiDO была предложена как системное решение для преодоления этой проблемы."
Профессор Шао Чжун возглавил команду, разработавшую CertiKOS, первую в мире операционную систему "без уязвимостей", прошедшую формальную проверку, которая была названа "вехой в области безопасности киберфизических систем". Это достижение не только заложило техническую основу для его работы в области безопасности систем, но и продемонстрировало его глубокие накопления. В последние годы профессор Шао Чжун углубился в безопасность блокчейна и в 2017 году совместно с учеником профессором Гу Ронгхуэй ввел технологии формальной верификации в обеспечение безопасности смарт-контрактов и протоколов на блокчейне, обеспечивая безопасность криптоактивов на уровне сотен миллиардов долларов.
LiDO уже завершил проектирование модели и формальную верификацию, и начал исследовать возможности интеграции с основными публичными блокчейнами и децентрализованными протоколами. Профессор Шао Чжун отметил, что они стремятся проверить ключевые механизмы в Web3.0, чтобы предоставить продукты и услуги на протяжении всего жизненного цикла, лучше поддерживая долгосрочную стратегию развития Web3 компаний и экосистем. В конце выступления профессор Шао Чжун подчеркнул: "Достоверный, безопасный и проверяемый стек сетевых протоколов станет ключевым путем к истинно децентрализованному будущему."