Саммит ученых Web3 сосредоточен на безопасности соглашения и доказательства активности
На недавно прошедшем саммите ученых Web3 2025 года известный профессор компьютерных наук выступил с основной лекцией на тему «Безопасность и доказательство активности на основе уточненного соглашения: LiDO и его расширение», впервые публично представив модель LiDO и расширенную структуру LiDO-DAG, разработанные его командой. Этот прорывной результат направлен на обеспечение механически проверяемой безопасности и доказательства активности для сложных схем согласия с байантинскойFault-tolerance (BFT), закладывая технологическую основу для надежности и масштабируемого развития экосистемы Web3.
В своем выступлении профессор отметил, что существующие соглашения, такие как PBFT и Jolteon, хотя и широко применяются, но из-за сложности реализации часто скрывают потенциальные уязвимости. Чтобы решить эту проблему, модель LiDO инновационно предлагает трехуровневую рамку детализированной верификации:
Активный слой защиты: введение механизма "Pacemaker", который решает проблему задержки сети с помощью тайм-аутов и синхронизации раундов;
Расширение DAG-слоя: поддержка новых DAG-протоколов, таких как Narwhal, Bullshark, для эффективной верификации без лидера.
На данный момент LiDO успешно применяется в промышленном протоколе Jolteon (двухфазный BFT) и нескольких протоколах DAG, завершив механизированное доказательство более 10 000 строк кода Coq, объем кода для проверки безопасности и активности составляет соответственно 4000 и 1700 строк. Профессор в своей речи отметил: "В настоящее время протоколы согласия PoS в целом сталкиваются с проблемой, когда трудно одновременно обеспечить безопасность, активность и децентрализацию. Модель LiDO была предложена как системное решение для преодоления этой проблемы."
Стоит отметить, что профессор ранее возглавлял команду, разработавшую CertiKOS, первую в мире операционную систему с "нулевыми уязвимостями", прошедшую формальную верификацию, которая была названа "вехой в безопасности киберфизических систем". Это достижение не только заложило технологическую основу для одной из компаний по обеспечению безопасности, но и продемонстрировало ее глубокие накопления в области системной безопасности. В последние годы профессор углубился в безопасность блокчейна, внедрив технологии формальной верификации для обеспечения безопасности смарт-контрактов и цепочечных протоколов, защищая безопасность криптоактивов на уровне миллиардов долларов.
LiDO в настоящее время завершил проектирование модели и формальную проверку, и начал исследовать возможности интеграции с основными публичными цепочками и децентрализованными протоколами. Профессор заявил, что они стремятся проверить ключевые механизмы в Web3.0, чтобы предоставить продукты и услуги на всех этапах, лучше поддерживая долгосрочные стратегические планы развития Web3 компаний и экосистемы. В конце выступления он подчеркнул: "Доверяемый, безопасный и проверяемый стек сетевых протоколов станет ключевым путем к действительно децентрализованному будущему."
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
15 Лайков
Награда
15
4
Поделиться
комментарий
0/400
SleepTrader
· 7ч назад
Написано очень глубоко, немного не выдерживаю.
Посмотреть ОригиналОтветить0
ShadowStaker
· 07-21 20:16
мех... еще одна академическая модель, которая не выдержит первого контакта с MEV ботами, если честно
Посмотреть ОригиналОтветить0
quietly_staking
· 07-21 04:11
Снова занимаемся ерундой.
Посмотреть ОригиналОтветить0
BlockchainDecoder
· 07-21 04:10
С точки зрения论文 о распределённых системах, трёхуровневая верификационная рамка LiDO действительно дополняет недостатки логики Хора в асинхронной среде, что стоит глубокого изучения её практического эффекта в системах соглашения.
Модель LiDO дебютировала: инновации в безопасности протокола согласия Web3
Саммит ученых Web3 сосредоточен на безопасности соглашения и доказательства активности
На недавно прошедшем саммите ученых Web3 2025 года известный профессор компьютерных наук выступил с основной лекцией на тему «Безопасность и доказательство активности на основе уточненного соглашения: LiDO и его расширение», впервые публично представив модель LiDO и расширенную структуру LiDO-DAG, разработанные его командой. Этот прорывной результат направлен на обеспечение механически проверяемой безопасности и доказательства активности для сложных схем согласия с байантинскойFault-tolerance (BFT), закладывая технологическую основу для надежности и масштабируемого развития экосистемы Web3.
В своем выступлении профессор отметил, что существующие соглашения, такие как PBFT и Jolteon, хотя и широко применяются, но из-за сложности реализации часто скрывают потенциальные уязвимости. Чтобы решить эту проблему, модель LiDO инновационно предлагает трехуровневую рамку детализированной верификации:
На данный момент LiDO успешно применяется в промышленном протоколе Jolteon (двухфазный BFT) и нескольких протоколах DAG, завершив механизированное доказательство более 10 000 строк кода Coq, объем кода для проверки безопасности и активности составляет соответственно 4000 и 1700 строк. Профессор в своей речи отметил: "В настоящее время протоколы согласия PoS в целом сталкиваются с проблемой, когда трудно одновременно обеспечить безопасность, активность и децентрализацию. Модель LiDO была предложена как системное решение для преодоления этой проблемы."
Стоит отметить, что профессор ранее возглавлял команду, разработавшую CertiKOS, первую в мире операционную систему с "нулевыми уязвимостями", прошедшую формальную верификацию, которая была названа "вехой в безопасности киберфизических систем". Это достижение не только заложило технологическую основу для одной из компаний по обеспечению безопасности, но и продемонстрировало ее глубокие накопления в области системной безопасности. В последние годы профессор углубился в безопасность блокчейна, внедрив технологии формальной верификации для обеспечения безопасности смарт-контрактов и цепочечных протоколов, защищая безопасность криптоактивов на уровне миллиардов долларов.
LiDO в настоящее время завершил проектирование модели и формальную проверку, и начал исследовать возможности интеграции с основными публичными цепочками и децентрализованными протоколами. Профессор заявил, что они стремятся проверить ключевые механизмы в Web3.0, чтобы предоставить продукты и услуги на всех этапах, лучше поддерживая долгосрочные стратегические планы развития Web3 компаний и экосистемы. В конце выступления он подчеркнул: "Доверяемый, безопасный и проверяемый стек сетевых протоколов станет ключевым путем к действительно децентрализованному будущему."