Саміт веб3 дослідників зосереджений на дослідженні безпеки консенсус-протоколів, нова модель LiDO привертає увагу
На нещодавній конференції Web3 Scholars 2025 року відомий професор комп'ютерних наук виступив з доповіддю на тему «Безпека та активність доказів на основі уточненого Консенсусу: LiDO та його розширення», вперше представивши модель LiDO та розширену платформу LiDO-DAG, розроблені його командою. Цей інноваційний результат спрямований на забезпечення механізованої перевірки безпеки та активності для складних протоколів консенсусу з байєсівською стійкістю (BFT), закладаючи технологічну основу для надійності та масштабованого розвитку екосистеми Web3.
У своїй промові професор зазначив, що існуючі протоколи консенсусу (такі як PBFT, Jolteon), хоча й широко використовуються, проте через складність реалізації часто приховують потенційні вразливості. Щоб вирішити цю проблему, модель LiDO інноваційно пропонує трирівневу структуру верифікації.
Безпечний абстрактний рівень: відображення протоколу у лінійний стан машини, забезпечення узгодженості журналу (безпека);
Активний рівень захисту: введення механізму "Pacemaker", який розв'язує проблему затримки в мережі через тайм-аутне широкомовлення та синхронізацію раундів;
Розширювальний рівень DAG: підтримка нових DAG-протоколів, таких як Narwhal, Bullshark, для забезпечення ефективної верифікації безлідерного консенсусу.
Наразі LiDO успішно застосовується в промисловому протоколі Jolteon (двостадійний BFT) та кількох DAG-протоколах, завершивши механізоване доведення понад 10 тисяч рядків коду Coq, обсяг коду перевірки безпеки та активності становить відповідно 4000 рядків і 1700 рядків. Професор вказав у своїй промові: "На сьогодні PoS протоколи консенсусу загалом стикаються з труднощами у досягненні безпеки, активності та децентралізації одночасно. Модель LiDO є системним проектним рішенням, запропонованим для подолання цієї проблеми."
Варто зазначити, що професор раніше очолював команду, яка розробила CertiKOS, першу в світі "безпомилкову" операційну систему, що пройшла формальну верифікацію, яка була названа "мілестоном безпеки кіберфізичних систем". Цей досягнення не лише заклало технологічний фундамент однієї з безпекових компаній, але й підкреслило її глибокі накопичення у сфері системної безпеки. У останні роки професор глибоко досліджує безпеку блокчейн-технологій, впроваджуючи технології формальної верифікації для забезпечення безпеки смарт-контрактів та ланцюгових протоколів, захищаючи безпеку криптоактивів на рівні сотень мільярдів доларів.
LiDO наразі завершив проектування моделі та формальну верифікацію, і почав досліджувати можливості інтеграції з основними публічними блокчейнами та децентралізованими протоколами. Професор зазначив, що вони прагнуть верифікувати ключові механізми в Web3.0, щоб забезпечити продукти та послуги на всіх етапах, краще підтримуючи стратегії довгострокового розвитку Web3 компаній та екосистеми. В кінці виступу він підкреслив: "Достовірний, безпечний, перевіряємий стек мережевих протоколів буде ключовим шляхом до справжнього децентралізованого майбутнього."
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
15 лайків
Нагородити
15
4
Репост
Поділіться
Прокоментувати
0/400
TokenDustCollector
· 17год тому
Знову займаються новою моделлю, не слухаю, не слухаю.
Переглянути оригіналвідповісти на0
ImpermanentPhilosopher
· 17год тому
Знову вчені щось говорять про безпеку, а я можу впоратися з цим одним лише пулом гепарда.
Переглянути оригіналвідповісти на0
SelfStaking
· 17год тому
Ти так цікаво розповідаєш про свій консенсус протокол.
Web3 науковий саміт презентував модель LiDO Протокол безпеки Консенсусу досяг нового рівня
Саміт веб3 дослідників зосереджений на дослідженні безпеки консенсус-протоколів, нова модель LiDO привертає увагу
На нещодавній конференції Web3 Scholars 2025 року відомий професор комп'ютерних наук виступив з доповіддю на тему «Безпека та активність доказів на основі уточненого Консенсусу: LiDO та його розширення», вперше представивши модель LiDO та розширену платформу LiDO-DAG, розроблені його командою. Цей інноваційний результат спрямований на забезпечення механізованої перевірки безпеки та активності для складних протоколів консенсусу з байєсівською стійкістю (BFT), закладаючи технологічну основу для надійності та масштабованого розвитку екосистеми Web3.
У своїй промові професор зазначив, що існуючі протоколи консенсусу (такі як PBFT, Jolteon), хоча й широко використовуються, проте через складність реалізації часто приховують потенційні вразливості. Щоб вирішити цю проблему, модель LiDO інноваційно пропонує трирівневу структуру верифікації.
Наразі LiDO успішно застосовується в промисловому протоколі Jolteon (двостадійний BFT) та кількох DAG-протоколах, завершивши механізоване доведення понад 10 тисяч рядків коду Coq, обсяг коду перевірки безпеки та активності становить відповідно 4000 рядків і 1700 рядків. Професор вказав у своїй промові: "На сьогодні PoS протоколи консенсусу загалом стикаються з труднощами у досягненні безпеки, активності та децентралізації одночасно. Модель LiDO є системним проектним рішенням, запропонованим для подолання цієї проблеми."
Варто зазначити, що професор раніше очолював команду, яка розробила CertiKOS, першу в світі "безпомилкову" операційну систему, що пройшла формальну верифікацію, яка була названа "мілестоном безпеки кіберфізичних систем". Цей досягнення не лише заклало технологічний фундамент однієї з безпекових компаній, але й підкреслило її глибокі накопичення у сфері системної безпеки. У останні роки професор глибоко досліджує безпеку блокчейн-технологій, впроваджуючи технології формальної верифікації для забезпечення безпеки смарт-контрактів та ланцюгових протоколів, захищаючи безпеку криптоактивів на рівні сотень мільярдів доларів.
LiDO наразі завершив проектування моделі та формальну верифікацію, і почав досліджувати можливості інтеграції з основними публічними блокчейнами та децентралізованими протоколами. Професор зазначив, що вони прагнуть верифікувати ключові механізми в Web3.0, щоб забезпечити продукти та послуги на всіх етапах, краще підтримуючи стратегії довгострокового розвитку Web3 компаній та екосистеми. В кінці виступу він підкреслив: "Достовірний, безпечний, перевіряємий стек мережевих протоколів буде ключовим шляхом до справжнього децентралізованого майбутнього."