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

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

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

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

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

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

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

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