На саммите Web3 профессор Йельского университета впервые представил модель LiDO
Сегодня состоялся саммит ученых Web3 2025 года, на котором профессор кафедры компьютерных наук Йельского университета Шао Чжун выступил с ключевой речью, представив модель LiDO и расширяющую структуру LiDO-DAG, разработанные его командой. Этот инновационный результат направлен на обеспечение механически проверяемой безопасности и доказательства активности для сложных протоколов согласия с байтантийской устойчивостью (BFT), закладывая технологическую основу для надежности и масштабируемости экосистемы Web3.
Профессор Шао Чжун в своем выступлении отметил, что, несмотря на то, что существующие протоколы согласия (такие как PBFT и Jolteon) широко применяются, их сложность реализации часто приводит к потенциальным уязвимостям. Чтобы решить эту проблему, модель LiDO предложила трехуровневую уточненную верификационную структуру:
Активный уровень защиты: введение механизма "Pacemaker" для решения проблемы задержки сети с помощью тайм-аутов и синхронизации раундов;
Расширенный уровень DAG: поддержка новых протоколов DAG, таких как Narwhal и Bullshark, для достижения эффективной верификации без лидера.
Модель LiDO была успешно применена в промышленном протоколе Jolteon (двухфазный BFT) и нескольких DAG-протоколах, завершив механизированное доказательство более десяти тысяч строк кода Coq. При этом объем кода для проверки безопасности и активности составил соответственно 4000 и 1700 строк. Профессор Шао Чжун подчеркнул в своем выступлении: "В настоящее время протоколы консенсуса PoS в целом сталкиваются с трудностью одновременного достижения безопасности, активности и децентрализации. Модель LiDO была предложена как системное решение для преодоления этой проблемы."
Как главный разработчик CertiKOS, первой в мире операционной системы "без уязвимостей", прошедшей формальную проверку, профессор Шао Чжун имеет глубокие знания в области системной безопасности. В последние годы он сосредоточил свои исследования на безопасности блокчейна, стремясь применить технологии формальной верификации для обеспечения безопасности смарт-контрактов и протоколов на блокчейне, обеспечивая защиту криптоактивов стоимостью в миллиарды долларов.
Модель LiDO в настоящее время завершила проектирование и формальную верификацию, и сейчас исследуется возможность интеграции с основными публичными блокчейнами и децентрализованными протоколами. Профессор Шао Чжун заявил, что они стремятся проверить ключевые механизмы в Web3.0, чтобы предоставить продукты и услуги на весь цикл, лучше поддерживая долгосрочную стратегию развития Web3 компаний и экосистем.
Профессор Шао Чжун в конце своей речи подчеркнул: "Достоверный, безопасный и проверяемый стек сетевых протоколов будет ключевым путем к действительно децентрализованному будущему."
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
14 Лайков
Награда
14
4
Репост
Поделиться
комментарий
0/400
WalletInspector
· 16ч назад
Эта технологическая итерация слишком жестока.
Посмотреть ОригиналОтветить0
SleepyValidator
· 16ч назад
Эх, еще одна модель верификации, про в Криптография все соревнуются.
Профессор Йельского университета представил модель LiDO для формальной проверки безопасности экосистемы Web3.
На саммите Web3 профессор Йельского университета впервые представил модель LiDO
Сегодня состоялся саммит ученых Web3 2025 года, на котором профессор кафедры компьютерных наук Йельского университета Шао Чжун выступил с ключевой речью, представив модель LiDO и расширяющую структуру LiDO-DAG, разработанные его командой. Этот инновационный результат направлен на обеспечение механически проверяемой безопасности и доказательства активности для сложных протоколов согласия с байтантийской устойчивостью (BFT), закладывая технологическую основу для надежности и масштабируемости экосистемы Web3.
Профессор Шао Чжун в своем выступлении отметил, что, несмотря на то, что существующие протоколы согласия (такие как PBFT и Jolteon) широко применяются, их сложность реализации часто приводит к потенциальным уязвимостям. Чтобы решить эту проблему, модель LiDO предложила трехуровневую уточненную верификационную структуру:
Модель LiDO была успешно применена в промышленном протоколе Jolteon (двухфазный BFT) и нескольких DAG-протоколах, завершив механизированное доказательство более десяти тысяч строк кода Coq. При этом объем кода для проверки безопасности и активности составил соответственно 4000 и 1700 строк. Профессор Шао Чжун подчеркнул в своем выступлении: "В настоящее время протоколы консенсуса PoS в целом сталкиваются с трудностью одновременного достижения безопасности, активности и децентрализации. Модель LiDO была предложена как системное решение для преодоления этой проблемы."
Как главный разработчик CertiKOS, первой в мире операционной системы "без уязвимостей", прошедшей формальную проверку, профессор Шао Чжун имеет глубокие знания в области системной безопасности. В последние годы он сосредоточил свои исследования на безопасности блокчейна, стремясь применить технологии формальной верификации для обеспечения безопасности смарт-контрактов и протоколов на блокчейне, обеспечивая защиту криптоактивов стоимостью в миллиарды долларов.
Модель LiDO в настоящее время завершила проектирование и формальную верификацию, и сейчас исследуется возможность интеграции с основными публичными блокчейнами и децентрализованными протоколами. Профессор Шао Чжун заявил, что они стремятся проверить ключевые механизмы в Web3.0, чтобы предоставить продукты и услуги на весь цикл, лучше поддерживая долгосрочную стратегию развития Web3 компаний и экосистем.
Профессор Шао Чжун в конце своей речи подчеркнул: "Достоверный, безопасный и проверяемый стек сетевых протоколов будет ключевым путем к действительно децентрализованному будущему."