Протокол голосования на основе полупараллельного доказательства работы

Основная информация

• ID статьи: 2508.06489
• Название: Voting-Based Semi-Parallel Proof-of-Work Protocol
• Авторы: Mustafa Doger, Sennur Ulukus (Университет Мэриленда, Колледж-Парк)
• Классификация: cs.CR cs.DC cs.DM cs.IT math.IT math.PR
• Дата публикации: 10 октября 2025 г. (arXiv v2)
• Ссылка на статью: https://arxiv.org/abs/2508.06489

Аннотация

Протоколы параллельного доказательства работы (Parallel Proof-of-Work, PoW) были предложены для улучшения гарантий безопасности консенсуса Накамото, пропускной способности транзакций и задержки подтверждения. В данной работе сначала рассматриваются существующие протоколы параллельного PoW и разрабатывается структура жестко закодированных атак на стимулы. Теоретические результаты и моделирование показывают, что существующие протоколы параллельного PoW более уязвимы для атак на стимулы, чем консенсус Накамото, с более низким пороговым значением прибыльности и более высокой относительной наградой. Далее представлен протокол голосования на основе полупараллельного PoW, который превосходит консенсус Накамото и существующие протоколы параллельного PoW с практической точки зрения коммуникационных издержек, пропускной способности, конфликтов транзакций, совместимости стимулов протокола и справедливого распределения комиссий за транзакции между голосующими и лидерами. Протокол оценивается с использованием передовых методов анализа согласованности, а процесс принятия решений Маркова (MDP) используется для подтверждения утверждений об устойчивости протокола к атакам на стимулы.

Предпосылки и мотивация исследования

Предпосылки проблемы

1. Ограничения консенсуса Накамото:
   • Время прибытия блоков подчиняется экспоненциальному распределению с высокой дисперсией, позволяя противнику получать прибыль, отклоняясь от честного поведения
   • Небольшим майнерам требуется длительное время для получения вознаграждения (например, в системе Bitcoin это может занять десятилетия)
   • Несправедливое распределение вознаграждений приводит к объединению майнеров в пулы, угрожая децентрализации и создавая новые уязвимости
2. Недостатки существующих решений:
   • Существующие протоколы параллельного PoW, хотя и снижают дисперсию, имеют серьезные уязвимости в отношении атак на стимулы
   • Высокие коммуникационные издержки и серьезные проблемы с конфликтами транзакций
   • Отсутствие строгого анализа нарушений безопасности

Мотивация исследования

Целью данной работы является разработка протокола, который сочетает преимущества параллельного PoW (снижение дисперсии, повышение пропускной способности) с эффективной защитой от атак на стимулы.

Основные вклады

1. Выявление уязвимостей: Глубокий анализ существующих протоколов параллельного PoW (Bobtail, Tailstorm, DAG-style voting) выявляет, что они более уязвимы для атак на стимулы, чем консенсус Накамото
2. Разработка протокола: Предложен протокол голосования на основе полупараллельного PoW с следующими характеристиками:
   • Снижение коммуникационных издержек
   • Избежание конфликтов транзакций
   • Повышение совместимости стимулов
   • Справедливое распределение комиссий за транзакции
3. Теоретический анализ:
   • Использование передовых методов анализа задержки безопасности для оценки вероятности двойной траты
   • Построение модели MDP для анализа устойчивости к атакам на стимулы
   • Предоставление строгих математических доказательств и проверки моделированием
4. Повышение производительности: Превосходство над существующими решениями по множеству практических аспектов, включая безопасность, пропускную способность и справедливость

Подробное описание методов

Определение задачи

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

• Безопасность: защита от двойной траты и атак на стимулы
• Живость: гарантия окончательного подтверждения транзакций
• Справедливость: справедливый механизм распределения вознаграждений

Архитектура протокола

1. Структура блоков и цепей

• Каждый блок содержит L или L+1 действительных решений PoW (доказательств)
• Доказательства делятся на два типа:
  • Доказательства инициатора: содержат 6 компонентов ωᵢʰ = (ωᵢ,₁ʰ, ..., ωᵢ,₆ʰ)
  • Дополнительные доказательства: аналогичная структура с информацией о дополнительной высоте

2. Ключевые компоненты

• ωᵢ,₆ʰ: одноразовое число, обеспечивающее fₕ(ωᵢʰ) < Tₗ
• ωᵢ,₅ʰ: хеш адреса майнера
• ωᵢ,₄ʰ: корень дерева Меркла предложенного реестра
• ωᵢ,₃ʰ: накопленная комиссия за транзакции
• ωᵢ,₂ʰ: сводка доказательства предыдущего блока

3. Механизм выборов реестра

Выбор реестра с наибольшей комиссией:

ωᵢ,₁ʰ = ωⱼ*,₄ʰ⁻¹ where j* = argmax_j{v(ωⱼ,₃ʰ⁻¹)}

4. Оптимизация коммуникации

• Майнеры скрывают предложенный реестр до накопления L голосов
• Требуется совместное использование только выигрывающего реестра, значительно снижая коммуникационные издержки
• Дополнительные доказательства в среднем содержат только около (6+Es̄)×32 байт

Технические инновации

1. Полупараллельная конструкция:
   • Допускает максимум два параллельных доказательства на одной высоте доказательства
   • Заимствует k-cluster правило из протокола PHANTOM (k=1)
   • Находит баланс между параллелизмом и безопасностью
2. Механизм голосования:
   • Каждое доказательство одновременно является голосом за предыдущий блок и предложением реестра для текущего блока
   • Достигает совместимости стимулов путем скрытия содержимого реестра, но раскрытия суммы комиссии
3. Распределение вознаграждений:
   • Параллельные доказательства делят вознаграждение поровну (механизм наказания)
   • Комиссии за транзакции распределяются пропорционально между создателем реестра и голосующими
   • Лидер получает долю r, голосующие делят долю (1-r)

Экспериментальная установка

Анализ модели атак

1. Протокол Bobtail:
   • Разработка атаки отказа в обслуживании с удержанием доказательств
   • Пороговое значение прибыльности αₜ = 0 (любая вычислительная мощность может получить прибыль от атаки)
2. Протокол Tailstorm:
   • Атака с удержанием доказательств
   • Пороговое значение прибыльности αₜ ≤ 1/L
3. DAG-style голосование:
   • При α > 1/3 атака более выгодна, чем верхняя граница эгоистичного майнинга консенсуса Накамото

Параметры моделирования

• Сетевая задержка: δ = 1 секунда (доказательство), Δ = 10 секунд (реестр)
• Параметры Bitcoin: λB = 1/600, α = 0.25
• Степень параллелизма: L = 10, 25, 50, 100
• Количество раундов моделирования: 100 000 - 1 000 000

Модель MDP

• Пространство состояний: (a, h, fork, p), где p указывает наличие параллельного доказательства
• Пространство действий: adopt, override, match, wait
• Целевая функция: доля относительного вознаграждения

Результаты экспериментов

Проверка уязвимостей существующих протоколов

Анализ безопасности

1. Вероятность двойной траты:
   • L=50, α=0.25, подтверждение 1 блока: верхняя граница примерно 10⁻⁴
   • По сравнению с 22 подтверждениями Bitcoin для достижения 10⁻³, данный протокол достигает лучшей безопасности менее чем за 2 времени блока
2. Устойчивость к атакам на стимулы:
   • При γ≥0.3 более безопасен, чем консенсус Накамото
   • При γ<0.3 немного уступает консенсусу Накамото, но все еще превосходит существующие протоколы параллельного PoW

Повышение производительности

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

Связанные работы

Протоколы параллельного PoW

• Исходный параллельный PoW: требует L параллельных доказательств, уязвим для атак с удержанием доказательств
• Bobtail: вводит механизм поддерживающих значений, но все еще уязвим для атак с минимальным хешем
• Tailstorm/DAG-style: древовидные и DAG структуры, дефекты в механизме вознаграждения

Другие решения для улучшения

• Fruitchain: повышение пропускной способности и справедливости
• Bitcoin-NG: механизм выборов лидера
• GHOST/PHANTOM: DAG структуры, допускающие несколько родительских блоков
• Многоэтапный PoW: разложение PoW на несколько этапов

Заключение и обсуждение

Основные выводы

1. Существующие протоколы параллельного PoW более уязвимы для атак на стимулы, чем консенсус Накамото
2. Предложенный полупараллельный протокол показывает значительные улучшения в безопасности, эффективности и справедливости
3. Благодаря тщательной разработке достигнут баланс между параллелизмом и безопасностью

Ограничения

1. Требует предположения о малой сетевой задержке
2. Совместный анализ атак на комиссии за транзакции и вознаграждения за майнинг требует дальнейшего совершенствования
3. Детали реализации при фактическом развертывании требуют дальнейшего рассмотрения

Направления будущих исследований

1. Рассмотрение справедливых механизмов вознаграждения при более высоких k-cluster правилах
2. Анализ более сложных моделей сетей и стратегий атак
3. Прототипирование и тестирование фактических систем

Глубокая оценка

Преимущества

1. Теоретическая строгость: полный математический анализ и моделирование MDP
2. Важность проблемы: решение критических проблем безопасности протоколов параллельного PoW
3. Методологическая инновация: умелое сочетание полупараллельной конструкции и механизма голосования
4. Достаточные эксперименты: сочетание теоретического анализа и проверки моделированием
5. Практическая ценность: реальные улучшения по множеству измерений

Недостатки

1. Сложность: относительно сложная разработка протокола, высокая сложность реализации
2. Ограничения предположений: предположения о сетевой задержке могут быть трудны для удовлетворения на практике
3. Настройка параметров: оптимальный выбор множественных параметров (L, r и т.д.) требует дополнительного руководства
4. Долгосрочный анализ: отсутствует динамический анализ долгосрочных экономических стимулов

Влияние

1. Академическая ценность: выявление системных проблем безопасности протоколов параллельного PoW
2. Практическое значение: предоставление новых идей для разработки протоколов блокчейна
3. Воспроизводимость: предоставление подробных алгоритмов и структуры кода моделирования

Применимые сценарии

• Приложения блокчейна, требующие высокой пропускной способности и низкой задержки
• Децентрализованные системы с высокими требованиями к справедливости
• Среды с относительно стабильными сетевыми условиями

Библиография

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