Профессор Йельского университета впервые представил модель LiDO на саммите ученых Web3
На саммите ученых Web3 в 2025 году профессор кафедры компьютерных наук Йельского университета Чжао Чжун выступил с ключевым докладом на тему «Безопасность и доказательства активности на основе уточненных протоколов консенсуса: LiDO и его расширения», впервые представив модель LiDO и расширяющую структуру LiDO-DAG, разработанные его командой. Этот инновационный результат направлен на обеспечение механически проверяемой безопасности и доказательств активности для сложных протоколов консенсуса с байетами (BFT), закладывая техническую основу для надежности и масштабируемого развития экосистемы Web3.
Профессор Шао Чжун в своем выступлении отметил, что существующие протоколы консенсуса (такие как PBFT, Jolteon), хотя и широко применяются, но из-за своей сложности реализации часто скрывают потенциальные уязвимости. Для решения этой проблемы модель LiDO предлагает трехуровневую уточненную верификационную рамку:
Безопасный абстрактный уровень: отображение протокола в линейную машину состояний для обеспечения согласованности журнала (безопасность);
Активный уровень защиты: внедрение механизма "Pacemaker" для решения проблемы задержки сети с помощью широковещательной передачи по времени и синхронизации раундов;
Расширенный уровень DAG: поддержка новых протоколов DAG, эффективная верификация без лидера консенсуса.
В настоящее время LiDO успешно применяется в промышленных протоколах Jolteon (двухфазный BFT) и нескольких протоколах DAG, завершив механизированное доказательство более 10 000 строк кода Coq, из которых объем кода для проверки безопасности и жизнеспособности составляет соответственно 4000 строк и 1700 строк. Профессор Шао Чжун в своей речи подчеркнул: "В настоящее время протоколы согласия PoS в целом сталкиваются с проблемой, что трудно одновременно достичь безопасности, жизнеспособности и децентрализации. Модель LiDO была предложена как системное проектное решение для преодоления этой проблемы."
Команда, возглавляемая профессором Шао Чжуном, ранее разработала CertiKOS, первую в мире операционную систему "без уязвимостей", проверенную с использованием формальной верификации, которую считают "вехой в безопасности киберфизических систем". Этот успех не только демонстрирует его глубокие накопления в области системной безопасности, но и закладывает основу для последующих исследований в области безопасности блокчейна. В 2017 году профессор Шао Чжун начал углубленное исследование безопасности блокчейна, внедрив технологии формальной верификации для обеспечения безопасности смарт-контрактов и протоколов на блокчейне, обеспечивая защиту для большого количества криптоактивов.
Модель LiDO в настоящее время завершила проектирование и формальную проверку и начала исследовать возможности интеграции с основными публичными блокчейнами и децентрализованными протоколами. Профессор Шао Чжун заявил, что они стремятся проверить ключевые механизмы в Web3.0, чтобы предоставить продукты и услуги на весь жизненный цикл, лучше поддерживать долгосрочную стратегию развития Web3 компаний и экосистем. В завершение своей речи профессор Шао Чжун подчеркнул: "Достоверный, безопасный и проверяемый стек сетевых протоколов станет ключевым путем к действительно децентрализованному будущему."
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
8 Лайков
Награда
8
5
Репост
Поделиться
комментарий
0/400
SchrodingerWallet
· 10ч назад
Йель тоже играет в Византию, можно замутить.
Посмотреть ОригиналОтветить0
NftMetaversePainter
· 10ч назад
наконец-то... кто-то затрагивает алгоритмическую эстетику консенсусных Протоколов. это чистая вычислительная поэзия, не буду лукавить.
Посмотреть ОригиналОтветить0
PensionDestroyer
· 10ч назад
Теперь web3 может самостоятельно исправлять ошибки.
Посмотреть ОригиналОтветить0
AirdropATM
· 10ч назад
Подожди, разве это не просто создание слоя безопасности? Это же старая идея в новой обертке.
Профессор Йельского университета впервые представил модель LiDO для обеспечения безопасности протокола согласия Web3
Профессор Йельского университета впервые представил модель LiDO на саммите ученых Web3
На саммите ученых 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 компаний и экосистем. В завершение своей речи профессор Шао Чжун подчеркнул: "Достоверный, безопасный и проверяемый стек сетевых протоколов станет ключевым путем к действительно децентрализованному будущему."