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