На саммите Web3 профессор Йельского университета впервые представил модель LiDO
На недавно прошедшем саммите ученых Web3 2025 года профессор кафедры компьютерных наук Йельского университета Шао Чжун выступил с ключевой речью на тему «Безопасность и доказательства активности на основе уточненных соглашений о консенсусе: LiDO и его расширения», впервые представив общественности разработанную его командой модель LiDO и расширяющуюся структуру LiDO-DAG. Этот инновационный результат направлен на предоставление механически проверяемой безопасности и доказательств активности для сложных протоколов консенсуса Byzantine Fault Tolerance (BFT), прокладывая путь к надежности и масштабному развитию экосистемы Web3.
Профессор Шао Чжун в своем выступлении отметил, что, несмотря на широкое применение существующих согласительных протоколов (таких как PBFT, Jolteon), из-за сложности реализации часто возникают потенциальные проблемы с безопасностью. Для решения этой проблемы модель LiDO предложила инновационную трехуровневую структуру детализации верификации:
Безопасный абстрактный уровень: отображение протокола в линейную конечную автомат, обеспечение согласованности журналов и безопасность;
Активный уровень защиты: введение механизма "Pacemaker" для решения проблемы сетевой задержки через тайм-ауты и синхронизацию раундов;
Расширенный уровень DAG: поддержка новых протоколов DAG, таких как Narwhal и Bullshark, для обеспечения эффективной верификации консенсуса без лидера.
В настоящее время LiDO успешно применяется в промышленном протоколе Jolteon (двухэтапный BFT) и нескольких DAG-протоколах, завершив более десяти тысяч строк механизированного доказательства кода Coq, при этом объем кода для проверки безопасности и активности составил соответственно 4000 и 1700 строк. Профессор Шао Чжун в своей речи подчеркнул: "В настоящее время протоколы согласия PoS сталкиваются с трудностями в достижении безопасности, активности и децентрализации одновременно. Модель LiDO была предложена как систематическое решение для преодоления этой проблемы."
Команда, возглавляемая профессором Шао Чжуном, ранее разработала CertiKOS, первую в мире операционную систему с "нулевыми уязвимостями", прошедшую формальную верификацию, которая была признана в отрасли "вехой в безопасности киберфизических систем". Это достижение не только заложило основу для соответствующих технологий, но и продемонстрировало глубокую экспертизу команды в области безопасности систем. В последние годы профессор Шао Чжун углубленно изучает безопасность блокчейна и в 2017 году совместно с коллегами основал компанию по безопасности, внедрившую технологии формальной верификации для обеспечения безопасности смарт-контрактов и протоколов на блокчейне, обеспечивая защиту криптоактивов на сумму в сотни миллиардов долларов.
LiDO уже завершил проектирование модели и формальную верификацию, и начал исследовать возможности интеграции с основными публичными блокчейнами и децентрализованными протоколами. Профессор Шао Чжун отметил, что они стремятся проверить ключевые механизмы в Web3.0, чтобы предоставить полный спектр продуктов и услуг и лучше поддержать долгосрочные стратегии развития Web3 компаний и экосистем. В завершение своего выступления профессор Шао Чжун подчеркнул: "Достоверный, безопасный и проверяемый стек сетевых протоколов станет ключевым путем к истинно децентрализованному будущему."
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
15 Лайков
Награда
15
7
Поделиться
комментарий
0/400
LiquidityWitch
· 07-25 10:19
Эта волна, похоже, полностью прорвала защиту.
Посмотреть ОригиналОтветить0
CryptoMotivator
· 07-24 15:10
Да ты что, еще и моделью здесь занимаешься?
Посмотреть ОригиналОтветить0
New_Ser_Ngmi
· 07-22 16:54
Честно говоря, вы все еще исследуете Византию?
Посмотреть ОригиналОтветить0
FlyingLeek
· 07-22 16:53
Блокчейн акционеры, одна сеть одна сеть одна сеть убыток
Посмотреть ОригиналОтветить0
UnluckyLemur
· 07-22 16:42
Это не обман, да?
Посмотреть ОригиналОтветить0
LidoStakeAddict
· 07-22 16:42
бык ва, теперь безопасность bft Соглашение обеспечена
Посмотреть ОригиналОтветить0
GweiWatcher
· 07-22 16:41
Теперь управление в блокчейне может быть гарантировано.
Профессор Йельского университета опубликовал модель LiDO: предоставление формальной верификации для протокола согласия Web3
На саммите Web3 профессор Йельского университета впервые представил модель LiDO
На недавно прошедшем саммите ученых Web3 2025 года профессор кафедры компьютерных наук Йельского университета Шао Чжун выступил с ключевой речью на тему «Безопасность и доказательства активности на основе уточненных соглашений о консенсусе: LiDO и его расширения», впервые представив общественности разработанную его командой модель LiDO и расширяющуюся структуру LiDO-DAG. Этот инновационный результат направлен на предоставление механически проверяемой безопасности и доказательств активности для сложных протоколов консенсуса Byzantine Fault Tolerance (BFT), прокладывая путь к надежности и масштабному развитию экосистемы Web3.
Профессор Шао Чжун в своем выступлении отметил, что, несмотря на широкое применение существующих согласительных протоколов (таких как PBFT, Jolteon), из-за сложности реализации часто возникают потенциальные проблемы с безопасностью. Для решения этой проблемы модель LiDO предложила инновационную трехуровневую структуру детализации верификации:
В настоящее время LiDO успешно применяется в промышленном протоколе Jolteon (двухэтапный BFT) и нескольких DAG-протоколах, завершив более десяти тысяч строк механизированного доказательства кода Coq, при этом объем кода для проверки безопасности и активности составил соответственно 4000 и 1700 строк. Профессор Шао Чжун в своей речи подчеркнул: "В настоящее время протоколы согласия PoS сталкиваются с трудностями в достижении безопасности, активности и децентрализации одновременно. Модель LiDO была предложена как систематическое решение для преодоления этой проблемы."
Команда, возглавляемая профессором Шао Чжуном, ранее разработала CertiKOS, первую в мире операционную систему с "нулевыми уязвимостями", прошедшую формальную верификацию, которая была признана в отрасли "вехой в безопасности киберфизических систем". Это достижение не только заложило основу для соответствующих технологий, но и продемонстрировало глубокую экспертизу команды в области безопасности систем. В последние годы профессор Шао Чжун углубленно изучает безопасность блокчейна и в 2017 году совместно с коллегами основал компанию по безопасности, внедрившую технологии формальной верификации для обеспечения безопасности смарт-контрактов и протоколов на блокчейне, обеспечивая защиту криптоактивов на сумму в сотни миллиардов долларов.
LiDO уже завершил проектирование модели и формальную верификацию, и начал исследовать возможности интеграции с основными публичными блокчейнами и децентрализованными протоколами. Профессор Шао Чжун отметил, что они стремятся проверить ключевые механизмы в Web3.0, чтобы предоставить полный спектр продуктов и услуг и лучше поддержать долгосрочные стратегии развития Web3 компаний и экосистем. В завершение своего выступления профессор Шао Чжун подчеркнул: "Достоверный, безопасный и проверяемый стек сетевых протоколов станет ключевым путем к истинно децентрализованному будущему."