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