На саммите Web3 профессор Йельского университета впервые представил модель LiDO
Сегодня состоялся саммит ученых 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 с формальной верификацией, профессор Шао Чжун накопил глубокие знания в области системной безопасности. Это достижение было признано "вехой в безопасности киберфизических систем". В последние годы профессор Шао Чжун сосредоточил свои исследования на безопасности блокчейна и в 2017 году совместно со своим учеником профессором Гу Рунгхуй основал компанию по безопасности, которая внедрила технологии формальной верификации для обеспечения безопасности смарт-контрактов и протоколов на блокчейне, предоставляя защиту для криптоактивов стоимостью в сотни миллиардов долларов.
Модель LiDO уже завершила проектирование и формальную верификацию, и начала исследовать возможности интеграции с основными публичными блокчейнами и децентрализованными протоколами. Профессор Шао Чжун отметил, что они стремятся проверить ключевые механизмы в Web3.0, чтобы предоставить продукты и услуги на весь период, лучше поддерживая долгосрочную стратегию развития Web3 компаний и экосистем.
В конце выступления профессор Шао Чжун подчеркнул: "Достоверный, безопасный и проверяемый стек сетевых протоколов станет ключевым путем к истинно децентрализованному будущему."
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
13 Лайков
Награда
13
7
Поделиться
комментарий
0/400
AirdropSweaterFan
· 07-09 14:00
Снова ельский хайп
Посмотреть ОригиналОтветить0
NftMetaversePainter
· 07-08 20:11
наконец-то кто-то понимает алгоритмическую элегантность консенсуса... йель приносит эту вычислительную эстетику к bft
Посмотреть ОригиналОтветить0
GweiWatcher
· 07-07 13:51
Йельский университет, да, бьёт по лицу отечественные вузы.
Посмотреть ОригиналОтветить0
SellTheBounce
· 07-07 01:57
Как и PBFT, в конечном итоге это все равно Медвежий рынок кошмар.
Посмотреть ОригиналОтветить0
LiquidityWitch
· 07-07 01:46
Все может быть обезьяной, проштампованы йельские шишки!
Посмотреть ОригиналОтветить0
QuorumVoter
· 07-07 01:45
Кто сегодня готовит ужин? Ученые снова исследуют пустые вещи.
Посмотреть ОригиналОтветить0
not_your_keys
· 07-07 01:38
Чуть запутался, всё ещё изучаю соглашение протокол.
Профессор Йельского университета впервые представил модель LiDO, получившую прорыв в проверке безопасности Соглашения.
На саммите Web3 профессор Йельского университета впервые представил модель LiDO
Сегодня состоялся саммит ученых Web3 2025 года, на котором профессор кафедры компьютерных наук Йельского университета Чжао Чжун выступил с основным докладом на тему «Обеспечение безопасности и активности на основе уточненных согласительных протоколов: LiDO и его расширения». Впервые он публично представил модель LiDO и расширенную структуру LiDO-DAG, это прорывное достижение направлено на обеспечение механически проверяемой безопасности и активности для сложных протоколов согласия с отказоустойчивостью в стиле Византии (BFT), создавая технологическую основу для надежности и масштабируемого развития экосистемы Web3.
Профессор Шао Чжун в своем выступлении отметил, что, несмотря на широкое применение существующих согласительных протоколов, таких как PBFT и Jolteon, их сложность реализации часто скрывает потенциальные уязвимости. Для решения этой проблемы модель LiDO инновационно предложила трехуровневую уточненную верификационную структуру:
В настоящее время LiDO успешно применяется в промышленном протоколе Jolteon (двухфазный BFT) и нескольких протоколах DAG, завершено механическое доказательство более 10 000 строк кода Coq, объем кода для проверки безопасности и активности составляет соответственно 4000 и 1700 строк. Профессор Шао Чжун в своем выступлении подчеркнул: "В настоящее время протоколы консенсуса PoS в целом сталкиваются с трудностью одновременного достижения безопасности, активности и децентрализации. Модель LiDO была предложена как системное решение для преодоления этой проблемы."
Как разработчик первой в мире операционной системы "без уязвимостей" CertiKOS с формальной верификацией, профессор Шао Чжун накопил глубокие знания в области системной безопасности. Это достижение было признано "вехой в безопасности киберфизических систем". В последние годы профессор Шао Чжун сосредоточил свои исследования на безопасности блокчейна и в 2017 году совместно со своим учеником профессором Гу Рунгхуй основал компанию по безопасности, которая внедрила технологии формальной верификации для обеспечения безопасности смарт-контрактов и протоколов на блокчейне, предоставляя защиту для криптоактивов стоимостью в сотни миллиардов долларов.
Модель LiDO уже завершила проектирование и формальную верификацию, и начала исследовать возможности интеграции с основными публичными блокчейнами и децентрализованными протоколами. Профессор Шао Чжун отметил, что они стремятся проверить ключевые механизмы в Web3.0, чтобы предоставить продукты и услуги на весь период, лучше поддерживая долгосрочную стратегию развития Web3 компаний и экосистем.
В конце выступления профессор Шао Чжун подчеркнул: "Достоверный, безопасный и проверяемый стек сетевых протоколов станет ключевым путем к истинно децентрализованному будущему."