Веб3 Конференция учёных: профессор Йельского университета представил модель LiDO и её расширенную структуру
На саммите ученых Web3 в 2025 году профессор кафедры компьютерных наук Йельского университета Чжао Чжун выступил с основной речью на тему «Безопасность и доказательства активности на основе уточненных консенсусных протоколов: LiDO и его расширения», впервые публично представив модель LiDO и расширяющую структуру LiDO-DAG, разработанные его командой. Этот инновационный результат предназначен для предоставления механически проверяемой безопасности и доказательств активности для сложных протоколов консенсуса с байетинской терпимостью к сбоям (BFT), закладывая технологическую основу для надежности и масштабируемого развития экосистемы Web3.
Профессор Шао Чжун в своем выступлении отметил, что, несмотря на широкое применение существующих соглашений о консенсусе (таких как PBFT и Jolteon), их сложность реализации часто скрывает потенциальные уязвимости. Для решения этой проблемы модель LiDO инновационно предложила трехуровневую детализированную верификационную структуру:
Безопасный абстрактный уровень: отображение протокола в линеаризованную машину состояний, обеспечивающее согласованность журнала (безопасность);
Активный уровень защиты: внедрение механизма "Pacemaker", который решает проблему задержки сети с помощью тайм-аутов и синхронизации раундов;
Расширенный уровень DAG: поддержка новых DAG-протоколов, таких как Narwhal и Bullshark, для эффективной верификации без лидера консенсуса.
В настоящее время, LiDO успешно применяется в промышленном протоколе Jolteon (двухфазный BFT) и нескольких протоколах DAG, завершив более 10 000 строк механизированного доказательства кода Coq, из которых объем кода для проверки безопасности и активности составляет 4000 и 1700 строк соответственно. Профессор Шао Чжун в своей речи подчеркнул: "В настоящее время протоколы консенсуса PoS в целом сталкиваются с трудностью достижения безопасности, активности и децентрализации одновременно. Модель LiDO была предложена как системное решение для преодоления этой проблемы."
В качестве разработчиков первой в мире операционной системы "без уязвимостей" CertiKOS, прошедшей формальную верификацию, профессор Шао Чжун и его команда накопили глубокий опыт в области системной безопасности. Это достижение не только заложило технологическую основу для компаний безопасности, но и продемонстрировало их профессиональные возможности в области системной безопасности. В последние годы профессор Шао Чжун сосредоточил свои исследования на безопасности блокчейна, в 2017 году совместно с партнерами основал компанию по безопасности, внедрившую технологии формальной верификации для обеспечения безопасности смарт-контрактов и ончейновых протоколов, обеспечивая безопасность криптоактивов на сумму в тысячи миллиардов долларов.
LiDO уже завершила проектирование модели и формальную верификацию и начала исследовать возможности интеграции с основными публичными цепочками и децентрализованными протоколами. Профессор Шао Чжун отметил, что они стремятся проверить ключевые механизмы в Web3.0, чтобы предоставить продукты и услуги на протяжении всего жизненного цикла, лучше поддержать долгосрочные стратегические планы развития Web3 компаний и экосистемы. В конце выступления профессор Шао Чжун подчеркнул: "Достоверный, безопасный и проверяемый стек сетевых протоколов станет ключевым путем к действительно децентрализованному будущему."
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
21 Лайков
Награда
21
5
Репост
Поделиться
комментарий
0/400
NonFungibleDegen
· 08-16 12:03
бычий af на новом defi соусе yale... aping in ser
Посмотреть ОригиналОтветить0
ShamedApeSeller
· 08-14 00:08
Еще одна обманная схема
Посмотреть ОригиналОтветить0
CryptoWageSlave
· 08-14 00:06
Еще одно доказательство, что пить чай уже обречено.
Посмотреть ОригиналОтветить0
OfflineNewbie
· 08-14 00:03
Снова разыгрывайте людей как лохов, чтобы забрать деньги.
Профессор Йельского университета опубликовал модель LiDO: обеспечивает проверяемую безопасность для протокола согласия Web3
Веб3 Конференция учёных: профессор Йельского университета представил модель LiDO и её расширенную структуру
На саммите ученых 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 компаний и экосистемы. В конце выступления профессор Шао Чжун подчеркнул: "Достоверный, безопасный и проверяемый стек сетевых протоколов станет ключевым путем к действительно децентрализованному будущему."