Саммит ученых 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 или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
10 Лайков
Награда
10
3
Репост
Поделиться
комментарий
0/400
PumpDetector
· 08-02 04:48
просто еще одна теоретическая основа... видел слишком много с дней mt gox, если честно
Посмотреть ОригиналОтветить0
MonkeySeeMonkeyDo
· 07-30 05:34
Снова видите старые деньги? Не зря это PBFT, доказывающее старые деньги.
Посмотреть ОригиналОтветить0
SerNgmi
· 07-30 05:34
Снова дело о гуманитарных и технических науках, так скучно.
Прорывная модель LiDO: предоставляет механизированную проверку безопасности для протокола согласия Web3
Саммит ученых 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.