На саміті вчених Web3 професор Єльського університету представив інноваційну модель верифікації протоколу консенсусу
На саміті Web3 для вчених 2025 року професор кафедри комп'ютерних наук Єльського університету Шао Чжун виступив з основною доповіддю на тему «Безпека та активність доказу на основі уточненого протоколу консенсусу: LiDO та його розширення», вперше представивши модель LiDO та розширену рамку LiDO-DAG, розроблену його командою. Цей прорив має на меті забезпечити механізовану перевірку безпеки та активності для складного протоколу консенсусу Бейтонської толерантності (BFT), закладаючи технічний фундамент для надійності та масштабованого розвитку екосистеми Web3.
Професор Шао Чжун у своїй промові зазначив, що, незважаючи на те, що існуючі протоколи консенсусу (такі як PBFT, Jolteon) широко використовуються, складність реалізації часто приховує потенційні вразливості. Для вирішення цієї проблеми модель LiDO інноваційно запропонувала трирівневу уточнену верифікаційну рамку:
Безпечний абстрактний рівень: відображення протоколу як лінійної машини станів, що забезпечує узгодженість журналів (безпека);
Активний рівень保障: введення механізму "Pacemaker", що вирішує проблеми затримки мережі за допомогою трансляції по тайм-ауту та синхронізації раундів;
Розширення DAG: підтримка нових DAG-протоколів, таких як Narwhal, Bullshark, для реалізації ефективної верифікації безлідерського консенсусу.
Наразі LiDO успішно застосовується в промисловому протоколі Jolteon (двоступеневий BFT) та кількох DAG-протоколах, завершивши механізоване доведення понад десяти тисяч рядків коду Coq, з яких обсяги коду для верифікації безпеки та активності становлять відповідно 4000 рядків та 1700 рядків. Професор Шао Чжун у своїй промові підкреслив: "Сьогодні протоколи консенсусу PoS загалом стикаються з труднощами досягнення балансу між безпекою, активністю та децентралізацією. Модель LiDO була запропонована як системне дизайнерське рішення для подолання цієї проблеми."
Як розробник першої у світі операційної системи "без вразливостей" CertiKOS, що пройшла формальну перевірку, професор Шао Чжун має глибокі знання в галузі безпеки систем. Останніми роками він зосередив свої дослідження на безпеці блокчейнів, у 2017 році спільно з партнерами заснував компанію з безпеки, яка впроваджує технології формальної перевірки для забезпечення безпеки смарт-контрактів та ланцюгових протоколів, надаючи безпеку для великих обсягів криптоактивів.
Модель LiDO наразі завершила проектування та формалізовану перевірку, і почала дослідження можливостей інтеграції з основними публічними блокчейнами та децентралізованими протоколами. Професор Шао Чжун заявив, що вони прагнуть перевірити ключові механізми в Web3.0, щоб забезпечити продукти та послуги на всіх етапах, краще підтримуючи довгострокову стратегію розвитку Web3 компаній та екосистем.
В кінці свого виступу професор Шао Чжун підкреслив: "Достовірний, безпечний, перевіряємий стек мережевих протоколів стане ключовим шляхом до справжнього децентралізованого майбутнього."
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
9 лайків
Нагородити
9
5
Репост
Поділіться
Прокоментувати
0/400
AltcoinMarathoner
· 07-12 03:10
LiDO: значна технологічна віхa!
Переглянути оригіналвідповісти на0
OfflineNewbie
· 07-10 04:41
Дослідження занадто передові, я не можу зрозуміти.
Професор Єльського університету оголосив про LiDO: забезпечення перевіреної безпеки для протоколу консенсусу Web3
На саміті вчених Web3 професор Єльського університету представив інноваційну модель верифікації протоколу консенсусу
На саміті Web3 для вчених 2025 року професор кафедри комп'ютерних наук Єльського університету Шао Чжун виступив з основною доповіддю на тему «Безпека та активність доказу на основі уточненого протоколу консенсусу: LiDO та його розширення», вперше представивши модель LiDO та розширену рамку LiDO-DAG, розроблену його командою. Цей прорив має на меті забезпечити механізовану перевірку безпеки та активності для складного протоколу консенсусу Бейтонської толерантності (BFT), закладаючи технічний фундамент для надійності та масштабованого розвитку екосистеми Web3.
Професор Шао Чжун у своїй промові зазначив, що, незважаючи на те, що існуючі протоколи консенсусу (такі як PBFT, Jolteon) широко використовуються, складність реалізації часто приховує потенційні вразливості. Для вирішення цієї проблеми модель LiDO інноваційно запропонувала трирівневу уточнену верифікаційну рамку:
Наразі LiDO успішно застосовується в промисловому протоколі Jolteon (двоступеневий BFT) та кількох DAG-протоколах, завершивши механізоване доведення понад десяти тисяч рядків коду Coq, з яких обсяги коду для верифікації безпеки та активності становлять відповідно 4000 рядків та 1700 рядків. Професор Шао Чжун у своїй промові підкреслив: "Сьогодні протоколи консенсусу PoS загалом стикаються з труднощами досягнення балансу між безпекою, активністю та децентралізацією. Модель LiDO була запропонована як системне дизайнерське рішення для подолання цієї проблеми."
Як розробник першої у світі операційної системи "без вразливостей" CertiKOS, що пройшла формальну перевірку, професор Шао Чжун має глибокі знання в галузі безпеки систем. Останніми роками він зосередив свої дослідження на безпеці блокчейнів, у 2017 році спільно з партнерами заснував компанію з безпеки, яка впроваджує технології формальної перевірки для забезпечення безпеки смарт-контрактів та ланцюгових протоколів, надаючи безпеку для великих обсягів криптоактивів.
Модель LiDO наразі завершила проектування та формалізовану перевірку, і почала дослідження можливостей інтеграції з основними публічними блокчейнами та децентралізованими протоколами. Професор Шао Чжун заявив, що вони прагнуть перевірити ключові механізми в Web3.0, щоб забезпечити продукти та послуги на всіх етапах, краще підтримуючи довгострокову стратегію розвитку Web3 компаній та екосистем.
В кінці свого виступу професор Шао Чжун підкреслив: "Достовірний, безпечний, перевіряємий стек мережевих протоколів стане ключовим шляхом до справжнього децентралізованого майбутнього."