Саміт вчених Web3 зосереджений на безпеці консенсус-протоколу та доказу активності

На нещодавньому саміті Web3 Scholar 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 підприємств та екосистеми. Наприкінці виступу він підкреслив: "Достовірний, безпечний, перевіряємий стек мережевих протоколів буде ключовим шляхом до справжнього децентралізованого майбутнього."