Саммит ученых Web3 сосредоточен на безопасности соглашения и доказательствах активности
На недавно прошедшем саммите 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 была предложена как системное решение для преодоления этой проблемы."
Этот профессор возглавлял команду, разработавшую первую в мире "безошибочную" операционную систему с формальной верификацией, которая была признана "вехой в безопасности киберфизических систем". Это достижение не только заложило технологическую основу для основанной им компании по безопасности, но и продемонстрировало его глубокие наработки в области системной безопасности. В последние годы профессор активно занимается безопасностью блокчейна, внедряя технологии формальной верификации для обеспечения безопасности смарт-контрактов и цепочных протоколов, охраняя безопасность криптоактивов на уровне сотен миллиардов долларов.
LiDO в настоящее время завершил дизайн модели и формальную верификацию, и начал исследовать возможности интеграции с основными публичными цепочками и децентрализованными протоколами. Профессор заявил, что они стремятся проверить ключевые механизмы в Web3.0, чтобы предоставить продукты и услуги на протяжении всего жизненного цикла, лучше поддерживая долгосрочную стратегию развития Web3 компаний и экосистем. В конце своей речи профессор подчеркнул: "Достоверный, безопасный и проверяемый стек сетевых протоколов станет ключевым путем к истинно децентрализованному будущему."
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
21 Лайков
Награда
21
8
Репост
Поделиться
комментарий
0/400
MEV_Whisperer
· 07-25 08:35
Код уже на GitHub?
Посмотреть ОригиналОтветить0
NewPumpamentals
· 07-23 00:58
Снова говорят о математическом доказательстве.
Посмотреть ОригиналОтветить0
LayerZeroHero
· 07-22 12:45
Протокол безопасность проверки должна быть детализированной, иначе это просто хулиганство!
Посмотреть ОригиналОтветить0
WalletDetective
· 07-22 12:44
Еще один воздух проект.
Посмотреть ОригиналОтветить0
RamenDeFiSurvivor
· 07-22 12:40
Игроки в рамен, зарабатывающие 500U в месяц, ненавидят валидаторов, которые разыгрывают людей как лохов.
Web3 Соглашение новое прорыв: модель LiDO достигает безопасности и механизированного доказательства активности
Саммит ученых Web3 сосредоточен на безопасности соглашения и доказательствах активности
На недавно прошедшем саммите Web3 ученых 2025 года известный профессор компьютерных наук выступил с ключевой речью на тему «Безопасность и доказательство активности усовершенствованного соглашения: LiDO и его расширения», впервые представив модель LiDO и расширяющую структуру LiDO-DAG, разработанные его командой. Этот прорывной результат направлен на предоставление механически проверяемой безопасности и доказательства активности для сложных протоколов Бузантийской стойкости (BFT), закладывая технологическую основу для надежности и масштабируемого развития экосистемы Web3.
В своем выступлении профессор отметил, что существующие соглашения (такие как PBFT, Jolteon), хотя и широко применяются, но из-за сложности реализации часто скрывают потенциальные уязвимости. Чтобы решить эту проблему, модель LiDO инновационно предлагает трехуровневую структуру уточненной проверки:
В настоящее время LiDO успешно применяется в промышленном протоколе Jolteon (двухступенчатый BFT) и нескольких DAG протоколах, завершив механизированное доказательство более 10 000 строк кода Coq, объем кода для проверки безопасности и активности составил соответственно 4000 и 1700 строк. "В настоящее время протоколы консенсуса PoS сталкиваются с трудной задачей достижения безопасности, активности и децентрализации одновременно", - отметил профессор в своем выступлении. "Модель LiDO была предложена как системное решение для преодоления этой проблемы."
Этот профессор возглавлял команду, разработавшую первую в мире "безошибочную" операционную систему с формальной верификацией, которая была признана "вехой в безопасности киберфизических систем". Это достижение не только заложило технологическую основу для основанной им компании по безопасности, но и продемонстрировало его глубокие наработки в области системной безопасности. В последние годы профессор активно занимается безопасностью блокчейна, внедряя технологии формальной верификации для обеспечения безопасности смарт-контрактов и цепочных протоколов, охраняя безопасность криптоактивов на уровне сотен миллиардов долларов.
LiDO в настоящее время завершил дизайн модели и формальную верификацию, и начал исследовать возможности интеграции с основными публичными цепочками и децентрализованными протоколами. Профессор заявил, что они стремятся проверить ключевые механизмы в Web3.0, чтобы предоставить продукты и услуги на протяжении всего жизненного цикла, лучше поддерживая долгосрочную стратегию развития Web3 компаний и экосистем. В конце своей речи профессор подчеркнул: "Достоверный, безопасный и проверяемый стек сетевых протоколов станет ключевым путем к истинно децентрализованному будущему."