Саммит ученых 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 является системным проектным решением, предложенным для преодоления этой проблемы."
Как основатель первой в мире операционной системы "без уязвимостей" CertiKOS, прошедшей формальную проверку, профессор Шао Чжун обладает глубокими знаниями в области системной безопасности. Это достижение не только заложило основу его работы в области технологий безопасности, но и продемонстрировало его профессиональное мастерство в сфере системной безопасности. В последние годы профессор Шао Чжун сосредоточил свои исследования на безопасности блокчейна, стремясь применить технологии формальной верификации для обеспечения безопасности смарт-контрактов и цепочечных протоколов, обеспечивая защиту криптоактивов на сумму в тысячи миллиардов долларов.
Модель LiDO в настоящее время завершила проектирование и формальную верификацию и начала исследовать возможности интеграции с основными публичными цепочками и децентрализованными протоколами. Профессор Шао Чжун заявил, что они стремятся проверить ключевые механизмы в Web3.0, чтобы предоставить продукты и услуги на весь срок службы и лучше поддерживать долгосрочную стратегию развития Web3 компаний и экосистем.
В конце выступления профессор Шао Чжун подчеркнул: "Достоверный, безопасный и проверяемый стек сетевых протоколов будет ключевым путем к настоящему децентрализованному будущему." Эта точка зрения подчеркивает важность создания безопасной и надежной инфраструктуры для содействия здоровому развитию всей экосистемы в эпоху Web3.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
11 Лайков
Награда
11
7
Поделиться
комментарий
0/400
CrashHotline
· 07-24 20:28
Эти исследовательские модели совершенно бесполезны.
Посмотреть ОригиналОтветить0
ZenChainWalker
· 07-24 09:30
Хе-хе, и дует, и сильно.
Посмотреть ОригиналОтветить0
BTCBeliefStation
· 07-24 07:52
даже не могу открыть старые три печенья
Посмотреть ОригиналОтветить0
MoneyBurnerSociety
· 07-21 20:58
Еще одна причина опустошить Кошелек... Я прямо изучаю это!
Посмотреть ОригиналОтветить0
MEV_Whisperer
· 07-21 20:58
Снова новая модель, снова протокол. Умеете играть.
Посмотреть ОригиналОтветить0
LiquidationWatcher
· 07-21 20:58
Снова занимаемся теорией, зарабатывать - это самое реальное.
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 является системным проектным решением, предложенным для преодоления этой проблемы."
Как основатель первой в мире операционной системы "без уязвимостей" CertiKOS, прошедшей формальную проверку, профессор Шао Чжун обладает глубокими знаниями в области системной безопасности. Это достижение не только заложило основу его работы в области технологий безопасности, но и продемонстрировало его профессиональное мастерство в сфере системной безопасности. В последние годы профессор Шао Чжун сосредоточил свои исследования на безопасности блокчейна, стремясь применить технологии формальной верификации для обеспечения безопасности смарт-контрактов и цепочечных протоколов, обеспечивая защиту криптоактивов на сумму в тысячи миллиардов долларов.
Модель LiDO в настоящее время завершила проектирование и формальную верификацию и начала исследовать возможности интеграции с основными публичными цепочками и децентрализованными протоколами. Профессор Шао Чжун заявил, что они стремятся проверить ключевые механизмы в Web3.0, чтобы предоставить продукты и услуги на весь срок службы и лучше поддерживать долгосрочную стратегию развития Web3 компаний и экосистем.
В конце выступления профессор Шао Чжун подчеркнул: "Достоверный, безопасный и проверяемый стек сетевых протоколов будет ключевым путем к настоящему децентрализованному будущему." Эта точка зрения подчеркивает важность создания безопасной и надежной инфраструктуры для содействия здоровому развитию всей экосистемы в эпоху Web3.