Саміт веб3 для вчених зосереджується на безпеці консенсусного протоколу та доказах активності
На нещодавній конференції Web3 Scholar Summit 2025, відомий професор комп'ютерних наук виступив з доповіддю на тему «Безпека та активність доказу на основі уточненого протоколу консенсусу: LiDO та його розширення», вперше публічно представивши модель LiDO та розширену структуру LiDO-DAG, розроблені його командою. Цей прорив має на меті забезпечити механізовану верифікацію безпеки та активності для складних протоколів консенсусу Бейзентинської стійкості (BFT), закладаючи технологічну основу для надійності та масштабу розвитку екосистеми Web3.
У виступі професор зазначив, що існуючі протоколи консенсусу (такі як PBFT, Jolteon), хоча й широко застосовуються, проте через складність реалізації часто приховують потенційні вразливості. Для вирішення цієї проблеми модель LiDO інноваційно пропонує триступеневу деталізовану верифікаційну рамку:
Безпечний абстрактний рівень: відображення протоколу у лінійний стан машини, що забезпечує узгодженість журналу (безпека);
Активний рівень забезпечення: введення механізму "Pacemaker", що дозволяє вирішити проблему затримки в мережі через тайм-аутне транслювання та синхронізацію раундів;
Розширення DAG: підтримка нових DAG протоколів, таких як Narwhal, Bullshark, для реалізації ефективної верифікації безлідерного консенсусу.
Наразі LiDO успішно застосовується в промисловому протоколі Jolteon (двоступеневий BFT) та кількох DAG-протоколах, завершено механізоване доведення понад тисячі рядків коду Coq, обсяг коду перевірки безпеки та активності становить відповідно 4000 рядків та 1700 рядків. "Наразі протокол консенсусу PoS загалом стикається з труднощами в досягненні безпеки, активності та децентралізації одночасно," зазначив професор під час виступу. "Модель LiDO якраз і є системним дизайнерським рішенням для подолання цієї проблеми."
Цей професор очолював команду, яка розробила першу у світі "безпомилкову" операційну систему, що пройшла формальну верифікацію, і була визнана "мілестоном безпеки кіберфізичних систем". Це досягнення не лише заклало технологічний фундамент його заснованої безпекової компанії, але й продемонструвало його глибокі знання у сфері системної безпеки. Останніми роками цей професор глибоко займається безпекою блокчейн, впроваджуючи технології формальної верифікації для забезпечення безпеки смарт-контрактів та протоколів на ланцюгу, захищаючи безпеку криптоактивів на рівні сотень мільярдів доларів.
LiDO наразі завершив проектування моделі та формальну верифікацію, і почав досліджувати можливості інтеграції з основними блокчейнами та децентралізованими протоколами. Професор зазначив, що вони прагнуть верифікувати ключові механізми в Web3.0, щоб забезпечити повний цикл продуктів і послуг, краще підтримуючи довгострокову стратегію розвитку Web3 підприємств та екосистеми. У фіналі виступу професор підкреслив: "Достовірний, безпечний, верифікований стек мережевих протоколів стане ключовим шляхом до справжнього децентралізованого майбутнього."
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
21 лайків
Нагородити
21
7
Поділіться
Прокоментувати
0/400
MEV_Whisperer
· 07-25 08:35
Весь код вже на GitHub?
Переглянути оригіналвідповісти на0
NewPumpamentals
· 07-23 00:58
Знову доведення математики.
Переглянути оригіналвідповісти на0
LayerZeroHero
· 07-22 12:45
Безпека протоколу повинна бути детальною, інакше це просто шахрайство!
Переглянути оригіналвідповісти на0
WalletDetective
· 07-22 12:44
Ще один повітряний проект.
Переглянути оригіналвідповісти на0
RamenDeFiSurvivor
· 07-22 12:40
Гравець у децентралізованих іграх, який заробляє 500U на місяць, ненавидить валідаторів, які обдурюють людей, як лохів.
Web3 Консенсус новий прорив: модель LiDO реалізує механізм безпеки та активності.
Саміт веб3 для вчених зосереджується на безпеці консенсусного протоколу та доказах активності
На нещодавній конференції Web3 Scholar Summit 2025, відомий професор комп'ютерних наук виступив з доповіддю на тему «Безпека та активність доказу на основі уточненого протоколу консенсусу: LiDO та його розширення», вперше публічно представивши модель LiDO та розширену структуру LiDO-DAG, розроблені його командою. Цей прорив має на меті забезпечити механізовану верифікацію безпеки та активності для складних протоколів консенсусу Бейзентинської стійкості (BFT), закладаючи технологічну основу для надійності та масштабу розвитку екосистеми Web3.
У виступі професор зазначив, що існуючі протоколи консенсусу (такі як PBFT, Jolteon), хоча й широко застосовуються, проте через складність реалізації часто приховують потенційні вразливості. Для вирішення цієї проблеми модель LiDO інноваційно пропонує триступеневу деталізовану верифікаційну рамку:
Наразі LiDO успішно застосовується в промисловому протоколі Jolteon (двоступеневий BFT) та кількох DAG-протоколах, завершено механізоване доведення понад тисячі рядків коду Coq, обсяг коду перевірки безпеки та активності становить відповідно 4000 рядків та 1700 рядків. "Наразі протокол консенсусу PoS загалом стикається з труднощами в досягненні безпеки, активності та децентралізації одночасно," зазначив професор під час виступу. "Модель LiDO якраз і є системним дизайнерським рішенням для подолання цієї проблеми."
Цей професор очолював команду, яка розробила першу у світі "безпомилкову" операційну систему, що пройшла формальну верифікацію, і була визнана "мілестоном безпеки кіберфізичних систем". Це досягнення не лише заклало технологічний фундамент його заснованої безпекової компанії, але й продемонструвало його глибокі знання у сфері системної безпеки. Останніми роками цей професор глибоко займається безпекою блокчейн, впроваджуючи технології формальної верифікації для забезпечення безпеки смарт-контрактів та протоколів на ланцюгу, захищаючи безпеку криптоактивів на рівні сотень мільярдів доларів.
LiDO наразі завершив проектування моделі та формальну верифікацію, і почав досліджувати можливості інтеграції з основними блокчейнами та децентралізованими протоколами. Професор зазначив, що вони прагнуть верифікувати ключові механізми в Web3.0, щоб забезпечити повний цикл продуктів і послуг, краще підтримуючи довгострокову стратегію розвитку Web3 підприємств та екосистеми. У фіналі виступу професор підкреслив: "Достовірний, безпечний, верифікований стек мережевих протоколів стане ключовим шляхом до справжнього децентралізованого майбутнього."