Саммит ученых Web3 сосредоточен на исследовании безопасности соглашения протокола, новая модель LiDO привлекает внимание
На недавно прошедшей конференции Web3 Scholars Summit 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 была предложена как системное решение для преодоления этой проблемы."
Стоит отметить, что профессор ранее возглавлял команду, разработавшую CertiKOS, первую в мире "безуязвимую" операционную систему, прошедшую формальную верификацию, которая была признана "вехой в безопасности киберфизических систем". Это достижение не только заложило технологическую основу одной из компаний по безопасности, но и продемонстрировало её глубокие накопления в области системной безопасности. В последние годы профессор углубился в безопасность блокчейна, внедряя технологии формальной верификации для обеспечения безопасности смарт-контрактов и цепочных протоколов, защищая безопасность криптоактивов на уровне миллиардов долларов.
LiDO в настоящее время завершил проектирование модели и формальную верификацию, а также начал исследовать возможности интеграции с основными публичными цепями и децентрализованными протоколами. Профессор отметил, что они стремятся верифицировать ключевые механизмы в Web3.0, чтобы предоставить продукты и услуги на всех этапах, лучше поддерживая долгосрочные стратегии развития Web3 компаний и экосистем. В конце выступления он подчеркнул: "Достоверный, безопасный, проверяемый стек сетевых протоколов станет ключевым путем к истинно децентрализованному будущему."
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
15 Лайков
Награда
15
4
Репост
Поделиться
комментарий
0/400
TokenDustCollector
· 12ч назад
Снова занимаемся новой моделью, не слушай, не слушай.
Посмотреть ОригиналОтветить0
ImpermanentPhilosopher
· 12ч назад
Снова учёные что-то говорят о безопасности, а я могу решить это с помощью одного лишь пула гепарда.
Посмотреть ОригиналОтветить0
SelfStaking
· 12ч назад
Ты так загадочно говоришь о своем соглашении протоколе.
Веб3 ученый саммит впервые представил модель LiDO Протокол соглашения безопасность достигает новых высот
Саммит ученых Web3 сосредоточен на исследовании безопасности соглашения протокола, новая модель LiDO привлекает внимание
На недавно прошедшей конференции Web3 Scholars Summit 2025 известный профессор компьютерных наук выступил с ключевой речью на тему «Безопасность и доказательство активности на основе усовершенствованного соглашения: LiDO и его расширение», впервые публично представив модель LiDO и расширенную структуру LiDO-DAG, разработанные его командой. Этот инновационный результат направлен на предоставление механически проверяемой безопасности и доказательства активности для сложных протоколов согласия с отказоустойчивостью (BFT), закладывая техническую основу для надежности и масштабируемости экосистемы Web3.
В своем выступлении профессор отметил, что существующие соглашения (такие как PBFT, Jolteon), хотя и широко используются, зачастую скрывают потенциальные уязвимости из-за сложности реализации. Для решения этой проблемы модель LiDO инновационно предлагает трехуровневую систему проверки.
В настоящее время LiDO успешно применяется в промышленном протоколе Jolteon (двухфазный BFT) и нескольких DAG-протоколах, завершив механизированное доказательство более 10 000 строк кода Coq, количество проверок безопасности и активности составило соответственно 4000 и 1700 строк. Профессор в своем выступлении отметил: "В настоящее время протоколы согласия PoS в целом сталкиваются с трудностью достижения безопасности, активности и децентрализации одновременно. Модель LiDO была предложена как системное решение для преодоления этой проблемы."
Стоит отметить, что профессор ранее возглавлял команду, разработавшую CertiKOS, первую в мире "безуязвимую" операционную систему, прошедшую формальную верификацию, которая была признана "вехой в безопасности киберфизических систем". Это достижение не только заложило технологическую основу одной из компаний по безопасности, но и продемонстрировало её глубокие накопления в области системной безопасности. В последние годы профессор углубился в безопасность блокчейна, внедряя технологии формальной верификации для обеспечения безопасности смарт-контрактов и цепочных протоколов, защищая безопасность криптоактивов на уровне миллиардов долларов.
LiDO в настоящее время завершил проектирование модели и формальную верификацию, а также начал исследовать возможности интеграции с основными публичными цепями и децентрализованными протоколами. Профессор отметил, что они стремятся верифицировать ключевые механизмы в Web3.0, чтобы предоставить продукты и услуги на всех этапах, лучше поддерживая долгосрочные стратегии развития Web3 компаний и экосистем. В конце выступления он подчеркнул: "Достоверный, безопасный, проверяемый стек сетевых протоколов станет ключевым путем к истинно децентрализованному будущему."