Эффективные системы доказательств: как Postake, Pospace и VDFS влияет на безопасность блокчейна
blockchain-security tech-stories selfish-mining blockchain-fairness markov-decision-process blockchain-mining-model adversarial-mining proof-of-space-attacks nas-mining-objectives

Эффективные системы доказательств: как Postake, Pospace и VDFS влияет на безопасность блокчейна

3 июля 2025 г.

Аннотация и 1. Введение

1.1 Связанная работа

  1. Предварительные

    2.1 Системная модель

    2.2 Цель эгоистичной добычи

    2.3 Процессы принятия решений Маркова

  2. Эгоистичная горнодобывающая атака

    3.1 Обзор

    3.2 Формальная модель

    3.3 Формальный анализ

    3.4 Ключевые функции и ограничения

  3. Экспериментальная оценка

  4. Заключение, подтверждение и ссылки

A. NAS Mining Цели

B. Системы эффективных доказательств

C. Доказательство теоремы 3.1

Цели добычи NAS

Стратегии майнинга состязания в блокчейнах на основе эффективных систем доказательств могут быть проанализированы в отношении нескольких состязательных целей. Здесь мы обрисовываем три таких целя: двойные расходы, краткосрочные и долгосрочные эгоистичные.

Первой целью являются двойные расходы, где можно рассматривать вероятность того, что состязательная цепь обгоняет общественность, честную цепь [8, 29] (см. Рисунок 3). Здесь цель противника состоит в том, чтобы быстро и тайно вырастить достаточно длинную частную цепь, так что эта частная цепь в конечном итоге обогнала честную цепь, таким образом, удаляя предположительно подтвержденную транзакцию. То, что «достаточно» длится, зависит от времени подтверждения в цепочке, например, в биткойнах один, как правило, предполагает транзакцию, которая составляет шесть блоков в цепочке, которая будет подтверждена.

Вторая цель, «Краткосрочная эгоистичная добыча», рассматриваемая о том, чтобы полностью обгонять честную цепь и фокусируется просто на поиске стратегии состязательной добычи, которая более выгодно для противника, а не следования предусмотренному протоколу добычи [12] (см. Рисунок 4). Резюальность стратегии добычи состязания в соответствии с этой целью измеряется общим количеством состязательных блоков в основной цепочке. Как и в анализе эгоистичных стратегий добычи полезных ископаемых в соответствии с первой целью, анализ стратегий в соответствии с этой второй целью также сосредоточен на поиске наибольшей части состязательных ресурсов, которые может переносить блокчейн, чтобы быть в безопасности в соответствии с такими состязательными стратегиями.

B Эффективные системы доказательств

Доказательство ставкиПолем Postake - это протокол выборов лидера блока, в котором лидер выбирается с вероятностью, пропорциональной количеству коэффициентов (то есть монет), которые они держат в бухгалтерской книге во время отбора. Таким образом, пользователь с 𝑝 ∈ [0, 1] доля ставки избирается с вероятностью, пропорциональной 𝑝. Примерами блокчейнов с самой длинной цепью, основанными на почтовой почте, являются Uryoboros [9] и Post-Merge Ethereum [1].

Доказательства пространства и времениПолем Доказательство пространства (pospace) - это протокол междупровери проверка, с помощью которого Prover хранит некоторые данные и, по вызову от проверки, должен вернуть решение в задачу, которая включает в себя чтение небольшой части данных. Консенсусный протокол блокчейнов, основанный на Post [8], использует обе проблемы Pospace, а также проверенные функции задержки [4, 25, 30] (VDFS). VDFS - это функции, которые по своей природе последовательны для вычисления, но правильность вычисления эффективно проверяется. Таким образом, процесс горнодобывающих блоков в таких блокчейнах зависит не

Figure 3: The top chain shows adversarial (red) and honest (green) miners extending the public chain. The bottom chain shows adversarial miners growing a private chain to overtake the public chain.

Figure 4: The chains show the reward of the adversary when following the honest strategy and when growing a private chain to overtake the public chain.

Figure 5: The chains show the reward of the adversary and chain quality of the chain when all users mine honestly and when the adversary grows a private chain.

Только на количестве места, выделяемого для вычисления проблем, но также и на количество VDF для вычисления проблем VDF.

Авторы:

(1) Krishnendu Chatterjee, IST Австрия, Австрия (Krishnendu.chatterjee@ist.ac.at);

(2) Амирали Эбрагимзаде, Технологический университет Шарифа, Иран (ebrahimzadeh.amirali@gmail.com);

(3) Мехрдад Карраби, Ист Австрия, Австрия (Mehrdad.karrabi@ist.ac.at);

(4) Krzysztof Pietrzak, IST Австрия, Австрия (Krzysztof.pietrzak@ist.ac.at);

(5) Мишель Йео, Национальный университет Сингапура, Сингапур (mxyeo@nus.edu.sg);

(6) ðorđe žikelić, Сингапурский университет управления, Сингапур (dzikelic@smu.edu.sg).

Эта статья естьДоступно на ArxivПод CC по лицензии 4.0.

Оригинал

Recent Post

Categories

PREVIOUS ARTICLE