Що таке Kaspa DAGKnight? Повний посібник з майбутнього консенсусного оновлення Kaspa

Що таке Каспа DAGKnight?

Каспа DAGKnight – це майбутнє консенсусне оновлення, яке зробить Kaspa швидшою, безпечнішою та легшою в масштабуванні. Воно замінює фіксовані правила підтвердження системою, яка адаптується до реальних мережевих умов у режимі реального часу. Це дозволяє мережі швидше підтверджувати транзакції, залишатися безпечною під час затримок та обробляти набагато більший трафік.

DAGKnight Будує на існуючому Каспі протокол GHOSTDAG та запроваджує безпараметричний, самостабілізуючий метод упорядкування блоків. Результатом є система, яка може досягти субсекундної остаточності та підтримувати 50% візантійську відмовостійкість навіть під час мережевого навантаження.

Розробники Kaspa очікують, що DAGKnight допоможе мережі підтримувати високопродуктивну активність і закласти основу для смарт-контрактів та інших систем, чутливих до замовлень.

Чому було створено DAGKnight?

Блокчейн-мережі часто покладаються на жорстко запрограмовані припущення щодо затримки мережі. Ці припущення допомагають забезпечити безпеку мережі, але уповільнюють час підтвердження. Наприклад, Bitcoin використовує фіксовану затримку, яка призводить до 10-хвилинних блоків. Це захищає ланцюжок під час періодів затримки, але також обмежує реальне використання як швидкої платіжної системи.

Kaspa хотів знайти спосіб усунути ці припущення та замінити їх системою, яка безпосередньо вимірює реальну затримку. DAGKnight розроблений для цього шляхом оцінки фактичної поведінки мережі, а не роботи з оцінками.

Ідея така: якщо мережа справна, швидко підтверджуйте блоки. Якщо ж затримка зростає або трапляється атака, повільних підтверджень достатньо для забезпечення безпеки.

Такий підхід не вимагає фіксованого значення та дозволяє уникнути необхідності гадати, наскільки швидко чи повільно мережа може поводитися в майбутньому. Він також зменшує ризики, які виникають, коли зловмисник намагається скористатися непередбачуваними затримками.

Як працює DAGKnight?

DAGKnight постійно оцінює стан мережі, аналізуючи групи блоків у DAG. Ці групи, відомі як k-кластери, допомагають протоколу вимірювати поточну затримку та визначати найбезпечніший спосіб упорядкування блоків.

Коли DAGKnight виявляє справні умови, він швидше підтверджує блокування. Коли мережа повільна, він збільшує кількість підтверджувальних блоків для забезпечення безпеки. Це відбувається автоматично.

Ключові характеристики, що визначають DAGKnight:

• Безпараметричне підтвердження
• Адаптивна, самостабілізуюча поведінка
• Остаточність за менш ніж секунду за нормальних мережевих умов
• Вища стійкість під час заторів
• 50% візантійська відмовостійкість
• Пряма підтримка високопродуктивних систем
• Фонд для розробки смарт-контрактів на Kaspa

Ця комбінація дозволяє DAGKnight перевершити традиційні лінійні ланцюги, які залежать від одного шляху блоків.

Відкрийте для себе перспективні проекти...

Перспективні проекти...

(Реклама)

Стаття продовжується...

Навіщо видаляти фіксовані параметри?

Фіксований параметр змушує блокчейн припускати затримку, яка може не відповідати реальній поведінці мережі. Якщо припущення занадто високе, мережа стає повільною. Якщо ж воно занадто низьке, мережа стає небезпечною під час періодів навантаження.

Історія блокчейну показує:

• Біткойн надає пріоритет безпеці завдяки довгим інтервалам блокування, але жертвує швидкістю.
• Класичні системи BFT пріоритезують узгодженість, але не можуть обробляти довгі мережеві розділи та обмежені відмовостійкістю однієї третини.
• Ethereum спробував гібридну модель, але все ще вимагає фіксованих припущень для безпечної роботи.

Рішення Каспи — це протокол, який реагує на умови, а не передбачає їх.

Як DAGKnight покращує впорядкування блоків

DAGKnight покращує GHOSTDAG, вибираючи найбезпечніший k-кластер, який охоплює щонайменше половину мережі. Це гарантує, що впорядкування блоків залишається безпечним, навіть якщо мережа поводиться непередбачувано.

Коли мережа швидка, блоки підтверджуються швидко. Коли затримки високі, DAGKnight коригується, збільшуючи вікно підтвердження. Ця гнучкість є причиною, чому система може залишатися стабільною під час перевантаження.

Порівняння з реальним світом допоможе: розглянемо систему управління дорожнім рухом, яка реагує на фактичні дорожні умови замість використання фіксованого таймера для кожного світлофора. Коли дороги вільні, світлофори швидко перемикаються. Коли рух накопичується, система уповільнює переходи, щоб запобігти аваріям. DAGKnight застосовує подібну адаптивну логіку до впорядкування блоків.

Чи може DAGKnight протистояти атакам?

DAGKnight розроблено з 50% візантійською відмовостійкістю, що є найвищою досяжною межею в частково синхронній моделі. Цей рівень вищий за обмеження, з якими стикаються класичні моделі BFT, які не можуть перевищувати одну третину відмовостійкості.

Постійно звертаючись до чесних вузлів та враховуючи реальні затримки, DAGKnight протистоїть атакам, які намагаються експлуатувати затримку. Якщо зловмисник намагається уповільнити мережу, DAGKnight реагує, збільшуючи глибину підтвердження, забезпечуючи безпеку ланцюга, навіть якщо швидкість тимчасово падає.

Це робить Каспу більш стійкою в періоди стресу, такі як:

• Збої в мережі
• Високі сплески трафіку
• Атаки заторів
• Неочікувані затримки маршрутизації Інтернету

Що означає DAGKnight для остаточності транзакції?

Розробники Kaspa очікують, що мережа досягне показника менш ніж за секунду за нормальних умов після запуску DAGKnight. Оновлення поєднується з поточним перезаписом Kaspa, який вже підтримує понад 30 блоків на секунду та продовжує збільшувати пропускну здатність у міру вдосконалення апаратного забезпечення.

За ідеальних умов остаточне завершення може відбутися за частку секунди. Коли умови погіршуються, протокол сповільнюється рівно настільки, щоб залишатися безпечним, не втрачаючи цілісності.

Каспа публічно заявив, що за допомогою майбутніх інструментів може бути можливо виконувати 100 або більше блоків за секунду.

Як DAGKnight підтримує смарт-контракти

Розумні контракти часто потребують передбачуваного порядку транзакцій. Якщо мережа стає нестабільною або повільною, логіка контракту може зламатися. Завдяки адаптивному підходу DAGKnight, порядок транзакцій стає надійнішим навіть під час високої мережевої активності.

DAGKnight також працює в парі з майбутнім оновленням vProgs. vProgs впроваджує обчислення з нульовим розголошенням на рівні 1, що дозволяє виконувати атомарні операції, такі як позики, стейкінг та свопи, в одній транзакції. Це дозволяє уникнути проблем фрагментації, які виникають під час зведення активів на рівні 2.

Разом DAGKnight та vProgs готують Kaspa до децентралізованих застосунків, які потребують швидкого та послідовного замовлення.

Який поточний графік розгортання?

Нещодавні повідомлення з каналів спільноти Kaspa натякають на те, що DAGKnight та vProgs може з’явитися протягом восьми місяців. Тизер-пост зі словом «.soon» посилив спекуляції серед користувачів.

Хоча дата ще не підтверджена, поточні оновлення розробки свідчать про активний прогрес.

Як DAGKnight вписується в консенсусні дослідження

Дослідники, що шукають консенсусу, давно обговорюють, як збалансувати швидкість, безпеку та децентралізацію. Біткойн надає пріоритет безпеці за допомогою Proof-of-Work, але жертвує швидкістю. Класичні системи BFT надають пріоритет узгодженості, але не можуть обробляти тривалі збої в мережі. Гібридні системи намагаються поєднати ці два аспекти, але часто успадковують слабкі сторони обох.

DAGKnight підходить до вирішення проблеми по-іншому, дозволяючи шару завершеності залишатися локальним, тоді як шар упорядкування дотримується загального правила. Такий поділ дозволяє користувачам вибирати власні локальні припущення щодо ризику, не порушуючи глобальний стан.

Підтримка спільноти Kaspa для DAGKnight

In грудня 2022Kaspa провела спільний краудфандинг для збору 70 мільйонів KAS на розробку DAGKnight. Мети було досягнуто за дванадцять днів. Це продемонструвало широку підтримку консенсусного оновлення, яке допомогло б Kaspa масштабуватися, зберігаючи при цьому безпеку Proof-of-Work.

Протокол був написаний Майклом Саттоном та Йонатаном Сомполінскі, які раніше працювали над PHANTOM та GHOSTDAG. Їхня робота заклала основу для розробки blockDAG від Kaspa, яка дозволяє створювати кілька блоків одночасно без виникнення конфліктів.

Висновок

DAGKnight — це консенсусне оновлення, яке робить Kaspa швидшою, безпечнішою та здатною адаптуватися до реальних мережевих умов. Воно усуває фіксовані припущення, посилює стійкість, підтримує високу відмовостійкість та підтримує майбутній розвиток смарт-контрактів. Його дизайн базується на багаторічних дослідженнях систем доказу роботи та частково синхронних систем і позиціонує Kaspa як платформу, здатну забезпечити високопродуктивне розрахунки з низькою затримкою.

Ресурси

1. Каспа на XДописи за листопад

2. Технічний документ DAGKnightПро DAGKnight

3. Технічний документ GHOSTDAGПро GHOSTDAG

4. Звіт від Our Crypto TalkОновлення Kaspa DAGKNIGHT анонсовано як vProgs, що ближче до запуску

5. Стаття 1 у блозі Kaspa(.)orgЩо таке GHOSTDAG та DAGNIGHT?

6. Стаття 1 у блозі Kaspa(.)orgПротокол DAG KNIGHT — Піднесення Каспи