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

На недавно прошедшей конференции ученых Web3 2025 года известный профессор компьютерных наук выступил с докладом на тему «Безопасность и доказательства активности усовершенствованного соглашения: LiDO и его расширения», впервые представив модель 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, прошедшую формальную верификацию, которая была названа "вехой в безопасности киберфизических систем". Этот успех не только заложил основы его глубоких знаний в области системной безопасности, но и подготовил фундамент для дальнейших исследований в области безопасности блокчейна.

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