Саміт вчених 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.