Что такое Kaspa DAGKnight? Полное руководство по предстоящему обновлению консенсуса Kaspa

Что такое Kaspa DAGKnight?

Каспа DAGKnight — это предстоящее обновление консенсуса, которое делает Kaspa быстрее, безопаснее и проще в масштабировании. Оно заменяет фиксированные правила подтверждения системой, которая адаптируется к реальным условиям сети в режиме реального времени. Это позволяет сети быстрее подтверждать транзакции, сохранять безопасность во время задержек и обрабатывать значительно больший трафик.

DAGKnight строит на существующем Каспе протокол GHOSTDAG и представляет непараметрический, самостабилизирующийся метод упорядочивания блоков. В результате получается система, способная достигать финализации менее чем за секунду и поддерживать 50% византийскую отказоустойчивость даже при высокой нагрузке на сеть.

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

Зачем был создан DAGKnight?

Блокчейн-сети часто полагаются на жёстко заданные предположения о задержке сети. Эти предположения помогают обеспечить безопасность сети, но замедляют время подтверждения. Например, в Биткоине используется фиксированная задержка, которая приводит к появлению блоков длиной 10 минут. Это защищает блокчейн в периоды задержек, но также ограничивает его использование в реальном мире в качестве быстрой платёжной системы.

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

Идея заключается в следующем: если сеть исправна, быстро подтверждайте блоки. В случае резкого увеличения задержки или атаки медленных подтверждений будет достаточно для обеспечения безопасности.

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

Как работает DAGKnight?

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

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

Ключевые особенности, определяющие DAGKnight:

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

Такая комбинация позволяет DAGKnight превосходить традиционные линейные цепочки, которые зависят от одного пути блоков.

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

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

(Рекламное объявление)

Продолжение статьи...

Зачем удалять фиксированные параметры?

Фиксированный параметр заставляет блокчейн предполагать задержку, которая может не соответствовать реальному поведению сети. Если значение задержки слишком велико, сеть становится медленной. Если же оно слишком мало, сеть становится небезопасной в периоды стресса.

История блокчейна показывает:

• Bitcoin отдает приоритет безопасности за счет длинных интервалов между блокировками, но жертвует скоростью.
• Классические системы BFT отдают приоритет согласованности, но не могут обрабатывать длинные сетевые разделы и ограничены одной третью отказоустойчивости.
• Эфириум предприняли попытку создания гибридной модели, но для ее безопасной работы по-прежнему требуются фиксированные предположения.

Решение Kaspa представляет собой протокол, который реагирует на условия, а не прогнозирует их.

Как DAGKnight улучшает порядок блоков

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

Когда сеть быстрая, блоки подтверждаются быстро. При больших задержках DAGKnight корректирует ситуацию, увеличивая окно подтверждения. Благодаря этой гибкости система может оставаться стабильной в условиях перегрузки.

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

Может ли DAGKnight противостоять атакам?

DAGKnight спроектирован с 50% византийской отказоустойчивостью, что является наивысшим пределом, достижимым в частично синхронной модели. Этот уровень превышает ограничения, установленные для классических моделей BFT, которые не могут превышать одну треть отказоустойчивости.

Постоянно обращаясь к честным узлам и корректируя реальные задержки, DAGKnight противостоит атакам, использующим задержку. Если злоумышленник пытается замедлить работу сети, DAGKnight отвечает увеличением глубины подтверждения, обеспечивая безопасность цепочки даже при временном снижении скорости.

Это делает Каспу более устойчивой в периоды стресса, такие как:

• Сбои в сети
• Высокие всплески трафика
• Атаки с перегрузкой
• Неожиданные задержки маршрутизации Интернета

Что означает DAGKnight для окончательности транзакций?

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

В идеальных условиях завершение работы может произойти за доли секунды. При ухудшении условий протокол замедляется ровно настолько, чтобы обеспечить безопасность и не нарушиться.

Kaspa публично заявила, что с помощью будущих инструментов можно будет обрабатывать 100 и более блоков в секунду.

Как DAGKnight поддерживает смарт-контракты

Смарт-контракты часто требуют предсказуемого порядка транзакций. Если сеть становится нестабильной или медленной, логика контракта может нарушиться. Благодаря адаптивному подходу DAGKnight порядок транзакций становится более надёжным даже при высокой сетевой активности.

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

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

Каковы текущие сроки развертывания?

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

Хотя дата пока не подтверждена, текущие обновления информации о ходе разработки указывают на активный прогресс.

Как DAGKnight вписывается в консенсусные исследования

Исследователи консенсуса давно спорят о том, как сбалансировать скорость, безопасность и децентрализацию. Биткоин делает ставку на безопасность с помощью доказательства выполнения работы, но жертвует скоростью. Классические системы BFT делают ставку на согласованность, но не способны справляться с длительными сбоями сети. Гибридные системы пытаются объединить эти два подхода, но часто наследуют их недостатки.

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

Поддержка сообщества Kaspa для DAGKnight

In Декабрь 2022Компания Kaspa провела краудфандинговую кампанию для сбора 70 миллионов KAS на разработку DAGKnight. Цель была достигнута за двенадцать дней. Это продемонстрировало широкую поддержку консенсусного обновления, которое помогло бы масштабировать Kaspa, сохраняя при этом безопасность Proof-of-Work.

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

Заключение

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

Ресурсы

1. Каспа на X: Посты в ноябре

2. Технический документ DAGKnight: О DAGKnight

3. Технический документ GHOSTDAG: О GHOSTDAG

4. Отчет от Our Cripto Talk: Обновление Kaspa DAGKNIGHT анонсировано в преддверии запуска vProgs

5. Статья в блоге Kaspa(.)org 1: Что такое GHOSTDAG и DAGKNIGHT?

6. Статья в блоге Kaspa(.)org 1: Протокол DAG KNIGHT — Повышение эффективности Kaspa