Модель LiDO дебютировала: инновации в безопасности протокола согласия Web3

robot
Генерация тезисов в процессе

Саммит ученых Web3 сосредоточен на безопасности соглашения и доказательства активности

На недавно прошедшем саммите ученых Web3 2025 года известный профессор компьютерных наук выступил с основной лекцией на тему «Безопасность и доказательство активности на основе уточненного соглашения: LiDO и его расширение», впервые публично представив модель LiDO и расширенную структуру LiDO-DAG, разработанные его командой. Этот прорывной результат направлен на обеспечение механически проверяемой безопасности и доказательства активности для сложных схем согласия с байантинскойFault-tolerance (BFT), закладывая технологическую основу для надежности и масштабируемого развития экосистемы Web3.

Профессор Шао Чжун, соучредитель CertiK, присутствует на саммите ученых Web3, впервые публично представляет модель LiDO

В своем выступлении профессор отметил, что существующие соглашения, такие как PBFT и Jolteon, хотя и широко применяются, но из-за сложности реализации часто скрывают потенциальные уязвимости. Чтобы решить эту проблему, модель LiDO инновационно предлагает трехуровневую рамку детализированной верификации:

  1. Безопасный абстрактный уровень: отображение протокола в линеаризованную машину состояний, обеспечивая согласованность журналов (безопасность);
  2. Активный слой защиты: введение механизма "Pacemaker", который решает проблему задержки сети с помощью тайм-аутов и синхронизации раундов;
  3. Расширение DAG-слоя: поддержка новых DAG-протоколов, таких как Narwhal, Bullshark, для эффективной верификации без лидера.

На данный момент LiDO успешно применяется в промышленном протоколе Jolteon (двухфазный BFT) и нескольких протоколах DAG, завершив механизированное доказательство более 10 000 строк кода Coq, объем кода для проверки безопасности и активности составляет соответственно 4000 и 1700 строк. Профессор в своей речи отметил: "В настоящее время протоколы согласия PoS в целом сталкиваются с проблемой, когда трудно одновременно обеспечить безопасность, активность и децентрализацию. Модель LiDO была предложена как системное решение для преодоления этой проблемы."

Стоит отметить, что профессор ранее возглавлял команду, разработавшую CertiKOS, первую в мире операционную систему с "нулевыми уязвимостями", прошедшую формальную верификацию, которая была названа "вехой в безопасности киберфизических систем". Это достижение не только заложило технологическую основу для одной из компаний по обеспечению безопасности, но и продемонстрировало ее глубокие накопления в области системной безопасности. В последние годы профессор углубился в безопасность блокчейна, внедрив технологии формальной верификации для обеспечения безопасности смарт-контрактов и цепочечных протоколов, защищая безопасность криптоактивов на уровне миллиардов долларов.

LiDO в настоящее время завершил проектирование модели и формальную проверку, и начал исследовать возможности интеграции с основными публичными цепочками и децентрализованными протоколами. Профессор заявил, что они стремятся проверить ключевые механизмы в Web3.0, чтобы предоставить продукты и услуги на всех этапах, лучше поддерживая долгосрочные стратегические планы развития Web3 компаний и экосистемы. В конце выступления он подчеркнул: "Доверяемый, безопасный и проверяемый стек сетевых протоколов станет ключевым путем к действительно децентрализованному будущему."

DAG-5.73%
Посмотреть Оригинал
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
  • Награда
  • 4
  • Поделиться
комментарий
0/400
SleepTradervip
· 7ч назад
Написано очень глубоко, немного не выдерживаю.
Посмотреть ОригиналОтветить0
ShadowStakervip
· 07-21 20:16
мех... еще одна академическая модель, которая не выдержит первого контакта с MEV ботами, если честно
Посмотреть ОригиналОтветить0
quietly_stakingvip
· 07-21 04:11
Снова занимаемся ерундой.
Посмотреть ОригиналОтветить0
BlockchainDecodervip
· 07-21 04:10
С точки зрения论文 о распределённых системах, трёхуровневая верификационная рамка LiDO действительно дополняет недостатки логики Хора в асинхронной среде, что стоит глубокого изучения её практического эффекта в системах соглашения.
Посмотреть ОригиналОтветить0
  • Закрепить