На саммите ученых Web3 профессор Йельского университета впервые представил модель LiDO
На саммите Web3 ученых 2025 года профессор кафедры компьютерных наук Йельского университета Чжао Чжун выступил с докладом на тему «Безопасность и доказательство активности на основе уточненных согласовательных протоколов: LiDO и его расширения», впервые публично представив свою команду разработанную модель LiDO и расширяющую рамку LiDO-DAG. Эта прорывная работа направлена на обеспечение механически проверяемой безопасности и доказательства активности для сложных протоколов согласования с байтантинскими сбоями (BFT), закладывая технический фундамент для надежности и масштабируемого развития экосистемы Web3.
Профессор Шао Чжун указал, что существующие соглашения, такие как PBFT, хотя и широко применяются, но из-за своей сложной реализации часто скрывают потенциальные уязвимости. Для решения этой проблемы модель LiDO инновационно предлагает трехуровневую уточненную верификационную структуру:
Безопасный абстрактный уровень: отображение протокола в линеаризованную конечную автомат, чтобы обеспечить согласованность журналов (безопасность);
Активный уровень защиты: введение механизма "Pacemaker", который решает проблему задержки сети с помощью тайм-аутов и синхронизации раундов;
Расширенный уровень DAG: поддерживает новые протоколы DAG, обеспечивая эффективную верификацию без лидера.
В настоящее время LiDO успешно применяется в промышленном протоколе Jolteon (двухфазный BFT) и нескольких протоколах DAG, завершив механизированное доказательство более 10 000 строк кода Coq, количество кода для проверки безопасности и активности составляет соответственно 4000 и 1700 строк. Профессор Шао Чжун в своей речи отметил: "В настоящее время протоколы консенсуса PoS в целом сталкиваются с трудностью достижения одновременно безопасности, активности и децентрализации. Модель LiDO была предложена как системное решение для преодоления этой проблемы."
Профессор Шао Чжун и его команда разработали CertiKOS, первую в мире операционную систему "без уязвимостей", прошедшую формальную проверку, которая была признана "милестонем в безопасности киберфизических систем". Это достижение не только заложило основательную базу для его работы в области системной безопасности, но и обеспечило надежную основу для последующих исследований. В последние годы профессор Шао Чжун глубоко занимается безопасностью блокчейна, внедряя технологии формальной проверки для обеспечения безопасности смарт-контрактов и протоколов на цепи, предоставляя мощную поддержку для безопасности криптовалютных активов.
LiDO в настоящее время завершил проектирование модели и формальную проверку, и начал изучать возможность интеграции с основными публичными цепочками и децентрализованными протоколами. Профессор Шао Чжун заявил, что они стремятся проверить ключевые механизмы в Web3.0, чтобы предоставить продукты и услуги на протяжении всего жизненного цикла, лучше поддерживать долгосрочную стратегию развития Web3 компаний и экосистемы. В конце выступления профессор Шао Чжун подчеркнул: "Достоверный, безопасный и проверяемый стек сетевых протоколов станет ключевым путем к истинно децентрализованному будущему."
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
13 Лайков
Награда
13
4
Репост
Поделиться
комментарий
0/400
GweiWatcher
· 08-10 01:51
Целый день занят шортингом, быка и медведя я понимаю.
Посмотреть ОригиналОтветить0
GasFeeSobber
· 08-10 01:42
Йельский бренд слишком дорогой, я не могу его себе позволить.
Профессор Йельского университета опубликовал модель LiDO для достижения прорыва в верификации соглашения Web3.
На саммите ученых Web3 профессор Йельского университета впервые представил модель LiDO
На саммите Web3 ученых 2025 года профессор кафедры компьютерных наук Йельского университета Чжао Чжун выступил с докладом на тему «Безопасность и доказательство активности на основе уточненных согласовательных протоколов: LiDO и его расширения», впервые публично представив свою команду разработанную модель LiDO и расширяющую рамку LiDO-DAG. Эта прорывная работа направлена на обеспечение механически проверяемой безопасности и доказательства активности для сложных протоколов согласования с байтантинскими сбоями (BFT), закладывая технический фундамент для надежности и масштабируемого развития экосистемы Web3.
Профессор Шао Чжун указал, что существующие соглашения, такие как PBFT, хотя и широко применяются, но из-за своей сложной реализации часто скрывают потенциальные уязвимости. Для решения этой проблемы модель LiDO инновационно предлагает трехуровневую уточненную верификационную структуру:
В настоящее время LiDO успешно применяется в промышленном протоколе Jolteon (двухфазный BFT) и нескольких протоколах DAG, завершив механизированное доказательство более 10 000 строк кода Coq, количество кода для проверки безопасности и активности составляет соответственно 4000 и 1700 строк. Профессор Шао Чжун в своей речи отметил: "В настоящее время протоколы консенсуса PoS в целом сталкиваются с трудностью достижения одновременно безопасности, активности и децентрализации. Модель LiDO была предложена как системное решение для преодоления этой проблемы."
Профессор Шао Чжун и его команда разработали CertiKOS, первую в мире операционную систему "без уязвимостей", прошедшую формальную проверку, которая была признана "милестонем в безопасности киберфизических систем". Это достижение не только заложило основательную базу для его работы в области системной безопасности, но и обеспечило надежную основу для последующих исследований. В последние годы профессор Шао Чжун глубоко занимается безопасностью блокчейна, внедряя технологии формальной проверки для обеспечения безопасности смарт-контрактов и протоколов на цепи, предоставляя мощную поддержку для безопасности криптовалютных активов.
LiDO в настоящее время завершил проектирование модели и формальную проверку, и начал изучать возможность интеграции с основными публичными цепочками и децентрализованными протоколами. Профессор Шао Чжун заявил, что они стремятся проверить ключевые механизмы в Web3.0, чтобы предоставить продукты и услуги на протяжении всего жизненного цикла, лучше поддерживать долгосрочную стратегию развития Web3 компаний и экосистемы. В конце выступления профессор Шао Чжун подчеркнул: "Достоверный, безопасный и проверяемый стек сетевых протоколов станет ключевым путем к истинно децентрализованному будущему."