На峰会 Web3 профессор Йельского университета делится новой моделью безопасности соглашения
Недавно состоялся саммит ученых Web3 2025 года. На нем профессор кафедры компьютерных наук Университета Йель Шао Чжун выступил с основным докладом на тему «Безопасность и доказательство активности на основе уточненного соглашения: LiDO и его расширения», впервые представив общественности модель LiDO и расширяющую структуру LiDO-DAG, разработанные его командой. Эта инновационная работа направлена на предоставление механически проверяемой безопасности и доказательства активности для сложных соглашений о византийской устойчивости (BFT), закладывая технологическую основу для надежности и масштабируемости экосистемы Web3.
Профессор Шао Чжун в своем выступлении отметил, что, несмотря на то, что существующие соглашения протоколов (такие как PBFT, Jolteon) широко применяются, их сложная реализация часто скрывает потенциальные уязвимости. Чтобы решить эту проблему, модель LiDO предложила инновационную трехуровневую систему уточненной верификации:
Активный уровень защиты: введение механизма "Pacemaker", который решает проблему задержки сети с помощью широковещательной рассылки по истечении времени и синхронизации раундов;
Расширенный уровень DAG: поддержка новых DAG-протоколов, таких как Narwhal и Bullshark, для эффективной проверки безлидерского Соглашения.
В настоящее время LiDO успешно применяется в промышленном протоколе Jolteon (двухфазный BFT) и нескольких DAG-протоколах, завершив механизированное доказательство более 10 000 строк кода Coq, из которых количество кода для верификации безопасности и активности составило 4 000 и 1 700 строк соответственно. Профессор Шао Чжун в своей речи подчеркнул: "В настоящее время протоколы согласия PoS в целом сталкиваются с трудностью достижения безопасности, активности и децентрализации одновременно. Модель LiDO была предложена как системное решение для преодоления этой проблемы."
Стоит упомянуть, что команда под руководством профессора Шао Чжуна ранее разработала CertiKOS, первую в мире операционную систему «без уязвимостей», прошедшую формальную верификацию, которая была названа «вехой в безопасности киберфизических систем». Это достижение не только демонстрирует его глубокие знания в области системной безопасности, но и закладывает основу для его последующих исследований в области безопасности блокчейна. В 2017 году профессор Шао Чжун совместно со своим учеником профессором Гу Ронгхуэй ввели технологии формальной верификации в область обеспечения безопасности смарт-контрактов и цепочных протоколов, предоставляя защиту для криптоактивов на сумму в тысячи миллиардов долларов.
Модель LiDO была успешно спроектирована и прошла формальную проверку, и начато исследование возможности интеграции с основными публичными блокчейнами и децентрализованными протоколами. Профессор Шао Чжун заявил, что они стремятся проверить ключевые механизмы в Web3.0, чтобы предложить продукты и услуги на весь цикл, лучше поддерживая долгосрочную стратегию развития Web3 компаний и экосистемы. В конце своего выступления профессор Шао Чжун подчеркнул: "Достоверный, безопасный и проверяемый стек сетевых протоколов станет ключевым путем к истинно децентрализованному будущему."
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
15 Лайков
Награда
15
4
Поделиться
комментарий
0/400
CryptoNomics
· 23ч назад
*вздыхает* еще одна модель, заявляющая, что решает BFT, когда настоящая проблема заключается в равновесиях стохастической теории игр... дайте-ка я быстро пробегусь по числам
Посмотреть ОригиналОтветить0
AirdropHunterKing
· 23ч назад
Что это за высококлассная вещь? Почему бы не сказать, как получить аирдроп?
Профессор Йельского университета представил модель LiDO: новое достижение в проверке безопасности соглашения.
На峰会 Web3 профессор Йельского университета делится новой моделью безопасности соглашения
Недавно состоялся саммит ученых Web3 2025 года. На нем профессор кафедры компьютерных наук Университета Йель Шао Чжун выступил с основным докладом на тему «Безопасность и доказательство активности на основе уточненного соглашения: LiDO и его расширения», впервые представив общественности модель LiDO и расширяющую структуру LiDO-DAG, разработанные его командой. Эта инновационная работа направлена на предоставление механически проверяемой безопасности и доказательства активности для сложных соглашений о византийской устойчивости (BFT), закладывая технологическую основу для надежности и масштабируемости экосистемы Web3.
Профессор Шао Чжун в своем выступлении отметил, что, несмотря на то, что существующие соглашения протоколов (такие как PBFT, Jolteon) широко применяются, их сложная реализация часто скрывает потенциальные уязвимости. Чтобы решить эту проблему, модель LiDO предложила инновационную трехуровневую систему уточненной верификации:
В настоящее время LiDO успешно применяется в промышленном протоколе Jolteon (двухфазный BFT) и нескольких DAG-протоколах, завершив механизированное доказательство более 10 000 строк кода Coq, из которых количество кода для верификации безопасности и активности составило 4 000 и 1 700 строк соответственно. Профессор Шао Чжун в своей речи подчеркнул: "В настоящее время протоколы согласия PoS в целом сталкиваются с трудностью достижения безопасности, активности и децентрализации одновременно. Модель LiDO была предложена как системное решение для преодоления этой проблемы."
Стоит упомянуть, что команда под руководством профессора Шао Чжуна ранее разработала CertiKOS, первую в мире операционную систему «без уязвимостей», прошедшую формальную верификацию, которая была названа «вехой в безопасности киберфизических систем». Это достижение не только демонстрирует его глубокие знания в области системной безопасности, но и закладывает основу для его последующих исследований в области безопасности блокчейна. В 2017 году профессор Шао Чжун совместно со своим учеником профессором Гу Ронгхуэй ввели технологии формальной верификации в область обеспечения безопасности смарт-контрактов и цепочных протоколов, предоставляя защиту для криптоактивов на сумму в тысячи миллиардов долларов.
Модель LiDO была успешно спроектирована и прошла формальную проверку, и начато исследование возможности интеграции с основными публичными блокчейнами и децентрализованными протоколами. Профессор Шао Чжун заявил, что они стремятся проверить ключевые механизмы в Web3.0, чтобы предложить продукты и услуги на весь цикл, лучше поддерживая долгосрочную стратегию развития Web3 компаний и экосистемы. В конце своего выступления профессор Шао Чжун подчеркнул: "Достоверный, безопасный и проверяемый стек сетевых протоколов станет ключевым путем к истинно децентрализованному будущему."