На саммите ученых Web3 профессор Йельского университета впервые представил модель LiDO
Сегодня проходит Саммит ученых Web3 2025 года, на котором профессор кафедры компьютерных наук Йельского университета Шао Чжун произнес keynote-лекцию на тему «Безопасность и доказательство активности на основе уточненного согласованного протокола: 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 или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
10 Лайков
Награда
10
4
Поделиться
комментарий
0/400
consensus_failure
· 08-03 18:27
Опять не удается реализовать, только теоретизируем.
Профессор Йельского университета впервые раскрыл LiDO: прорыв в безопасности протокола Web3.
На саммите ученых Web3 профессор Йельского университета впервые представил модель LiDO
Сегодня проходит Саммит ученых Web3 2025 года, на котором профессор кафедры компьютерных наук Йельского университета Шао Чжун произнес keynote-лекцию на тему «Безопасность и доказательство активности на основе уточненного согласованного протокола: 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 компаний и экосистем. В конце выступления профессор Шао Чжун подчеркнул: "Достоверный, безопасный и可验证的 сетевой стек протоколов станет ключевым путем к истинному децентрализованному будущему."