Доказательство доли владения

Доказательство доли владения, Proof-of-stake (PoS) (от англ. proof of stake, дословно: «подтверждение доли») — метод защиты в криптовалютах, при котором вероятность формирования участником очередного блока в блокчейне пропорциональна доле, которую составляют принадлежащие этому участнику расчётные единицы данной криптовалюты от их общего количества. Данный метод является альтернативой методу подтверждения выполнения работы (PoW), при котором вероятность создания очередного блока выше у обладателя более мощного оборудования.

При использовании этого метода алгоритм формирования блока не зависит от мощности оборудования, но с большей вероятностью блок будет сформирован той учётной записью, у которой текущий баланс больше. Например, участник, владеющий 1 % от суммарного количества, в среднем будет генерировать 1 % новых блоков.

Впервые идея Proof-of-stake была предложена на форуме «Bitcointalk» в 2011 году. Первая реализация протокола PoS была представлена в 2012 году в криптовалюте PPCoin (в настоящее время PeerCoin). 15 сентября 2022 года Ethereum перевели на алгоритм консенсуса Proof-of-Stake.

На практике часто встречаются смешанные варианты формирования новых блоков. Например, оба метода PoW и PoS используются в криптовалютах Emerсoin, NovaCoin, YaCoin. В криптовалютах PeerCoin и Reddcoin метод PoW используется для первоначального распределения, а PoS — для подтверждения транзакций. В криптоплатформе Nxt, Gridcoin и BlackCoin метод PoS используется на всех этапах.

ИдеяПравить

Идея proof-of-stake заключается в решении проблемы proof-of-work, связанной с большими тратами электроэнергии. Вместо вычислительных мощностей участников имеет значение количество криптовалюты, находящейся у них на счету. Так, вместо использования большого количества электроэнергии для решения задачи PoW, у участника PoS ограничен процент возможных проверок транзакций. Ограничение соответствует количеству криптовалюты, находящейся на счету у участника.

Доказательство важностиПравить

Запросы «Доказательство важности» и «PoI (криптовалюты)» перенаправляются сюда. На эти темы нужно создать отдельные статьи.

Одним из вариантов комбинированного применения технологии PoS является «Доказательство важности» (Proof-of-importance, PoI) — алгоритм, использующийся в криптовалюте NEM. На вероятность получить право сформировать блок влияют три компонента:

1. количество единиц криптовалюты на балансе (значимыми для PoI являются балансы более, чем оговоренное число единиц, например, не менее 10 тыс. для NEM);
2. активность аккаунта (число транзакций);
3. время нахождения аккаунта в сети.

С ростом баланса влияние параметров изменяется — с ростом количества единиц криптовалюты на балансе увеличивается влияние 1-го параметра, и снижается влияние 2-го и 3-го параметров (PoI работает почти как PoS). Чем меньше баланс, тем сильнее влияние 2-го и 3-го параметров.

Если суммарный объём эмиссии криптовалюты ограничен, то минимальные требования к 1-му параметру формируют максимальное количество претендентов на создание блока.

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

• Нет необходимости потреблять большое количество электроэнергии для защиты блокчейна. Например, Bitcoin и Ethereum вместе тратят более 1 миллиона долларов, в пересчете на электроэнергию, в день в рамках своих консенсусных механизмов.
• Из-за отсутствия необходимости потреблять большое количество энергии снижаются траты участников. Следовательно, нет необходимости повышать количество единиц валюты для мотивации участников.
• Proof-of-stake позволяет использовать алгоритмы теории игр, чтобы эффективно противодействовать централизации.

НедостаткиПравить

Аргументы, вызывающие опасения:

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

РеализацииПравить

PeercoinПравить

Peercoin— система, основанная на «чистом» proof-of-stake, в том смысле, что PoW используется только для начального распределения денежной массы.

Генерация блоковПравить

Участники сети Peercoin имеют возможность создать блок, исходя из следующего условия:

$hash(prevBlocksData,timeInSeconds,txou{t}_A)\le <!--\; \le \; -->d_0\ast <!--\; \ast \; -->coins(txou{t}_A)\ast <!--\; \ast \; -->timeweight(txou{t}_A)$$hash(prevBlocksData,timeInSeconds,txout_{A})\leq d_{0}*coins(txout_{A})*timeweight(txout_{A})$ 

$timeInSeconds$$timeInSeconds$  — текущее время, в данном неравенстве ограничивает попытки хеширования и блокирует создание следующего блока.

$txou{t}_A$$txout_{A}$  — результат транзакции.

$coins(txou{t}_A)$$coins(txout_{A})$  — количество неизрасходованной криптовалюты транзакции.

Если у заинтересованной стороны есть ключ, контролирующий $txou{t}_A$$txout_{A}$ , то она может сгенерировать блок, используя ключ в качестве подписи. Подпись, в данном случае, будет служить доказательством выполнения условия. Например, участник, владеющий 50 единицами криптовалюты, создаст новый блок с вероятностью в 10 раз большей, чем участник, владеющий 5 единицами.

$timeweight(txou{t}_A)$$timeweight(txout_{A})$  — время, прошедшее с момента включения в блок результата транзакции $txou{t}_A$$txout_{A}$ . Вероятность сгенерировать следующий блок, сразу после генерации предыдущего очень мала, но она увеличивается со временем. Это позволяет избежать экспоненциального распределения между выплатами, повышая шансы участников, обладающих небольшим количеством криптовалюты.

$prevBlocksData$$prevBlocksData$  — данные предыдущего блока.

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

$d_0$$d_{0}$  — постоянная, которая корректируется так, что блоки генерируются в среднем каждые 10 минут.

CoAПравить

CoA (chains of activity) частично базируется на основном элементе proof-of-activity, например, на лотерее между активными участниками через процедуру follow-the-satoshi (satoshi — наименьшая единица криптовалюты, например, для биткойна она равна 0.00000001 BTC).

Follow-the-satoshiПравить

Алгоритм, получающий на вход коэффициент satoshi между нулем и общим числом satoshi в обращении. Далее запрашивает блок, в котором этот satoshi был произведен и отслеживает транзакции, через которые он прошел до тех пор, пока не найдет участника, способного в данный момент потратить его. Например, если у Алисы есть 6 satoshi, а у Боба 2, то вероятность того, что Алиса будет выбрана следующим владельцем какого-либо satoshi в 3 раза выше чем вероятность выбора Боба.

Параметры протоколаПравить

• Количество участников в группе, которая генерирует следующие блоки $w\ge <!--\; \ge \; -->1$$w\geq 1$ 
• Количество произведенных этой группой единиц криптовалюты $2^k$$2^k$ 
• Количество генерируемых этой группой блоков $l=k\ast <!--\; \ast \; -->w$$l=k*w$ 
• Функция $h:\{0,1{\}}^l\to <!--\; \to \; -->\{0,1{\}}^k$$h:\{0,1\}^{l}\rightarrow \{0,1\}^{k}$ 
• Минимальное время между генерацией блоков $G_0$$G_{0}$ 
• Минимальная доля владения $C_0$$C_{0}$ 
• Награда $C_1$$C_{1}$ : $0\le <!--\; \le \; -->C_1\le <!--\; \le \; -->C_0$$0\leq C_{1}\leq C_{0}$ 

Процесс создания блоков CoA составляет блокчейн, состоящий из групп по $l$$l$  последовательных блоков:

$\underset{l}{\underset{⏟<!--\; ⏟\; -->}{\mathrm{◻<!--\; ◻\; -->}\mathrm{◻<!--\; ◻\; -->}...\mathrm{◻<!--\; ◻\; -->}}},\underset{l}{\underset{⏟<!--\; ⏟\; -->}{\mathrm{◻<!--\; ◻\; -->}\mathrm{◻<!--\; ◻\; -->}...\mathrm{◻<!--\; ◻\; -->}}},\underset{l}{\underset{⏟<!--\; ⏟\; -->}{\mathrm{◻<!--\; ◻\; -->}\mathrm{◻<!--\; ◻\; -->}...\mathrm{◻<!--\; ◻\; -->}}}...$$\underbrace {\square \square ...\square } _{l},\underbrace {\square \square ...\square } _{l},\underbrace {\square \square ...\square } _{l}...$ 

Правила протоколаПравить

Правила протокола chains of activity:

1. Каждый новый блок генерируется одним участником
2. Каждый новый блок $B_i$$B_{i}$  связан с первым битом $b_i$$b_{i}$  хеша $hash(B_i)$$hash(B_{i})$ 
3. Временной промежуток между двумя блоками $B_i$$B_{i}$  и $B_j$$B_j$  должен быть не меньше $\left|j-<!--\; -\; -->i-<!--\; -\; -->1\right|\ast <!--\; \ast \; -->G_0$$\left|j-i-1\right|*G_{0}$ . Это значит, что, если следующие 4 блока $B_i,B_{i+1},B_{i+2},B_{i+3}$$B_{i},B_{i+1},B_{i+2},B_{i+3}$  созданы участниками $A_i,A_{i+1},A_{i+2},A_{i+3}$$A_{i},A_{i+1},A_{i+2},A_{i+3}$ , то временной промежуток между $B_{i+3}$$B_{i+3}$  и $B_i$$B_{i}$  должен быть не меньше $2G_0$$2G_{0}$ 
4. После того, как группа из $l$$l$  блоков $B_i,B_{i+1},B_{i+2},B_{i+3}$$B_{i},B_{i+1},B_{i+2},B_{i+3}$  создана, узлы сети формируют $k$$k$ -битовое начальное состояние (англ. seed) $S^{B_{il}}=\underset{j=1}{\overset{l}{\sum <!--\; \sum \; -->}}{b}_{ij}$$S^{B_{il}}=\sum _{j=1}^{l}b_{ij}$ , где $b_{ij}$$b_{{ij}}$  — входные значения
5. Далее начальное состояние (англ. seed) $S^{B_{il}}$$S^{B_{il}}$  используется для получения последовательности тождеств, использующихся для определения следующих $l$$l$  владельцев через алгоритм follow-the-satoshi.
6. Если полученный satoshi $c<C_{0}$  не израсходован, то владелец обязан предоставить дополнительную подпись, доказывающую владение хотя бы $C_0-<!--\; -\; -->c$$C_{0}-c$  единицами криптовалюты, иначе участник не сможет сгенерировать новый блок.

Dense-CoAПравить

Dense-CoA — альтернативная реализация CoA, в которой участники, генерирующие следующие блоки в цепи, заранее неизвестны. В CoA генерация блока осуществляется одним участником, а в Dense-CoA каждый блок создается группой из $l$$l$  участников:

${\begin{matrix}{\begin{aligned}l{\begin{cases}&\bigcirc \quad \bigcirc \quad \bigcirc \\&\bigcirc \quad \bigcirc \quad \bigcirc \\&\bigcirc \quad \bigcirc \quad \bigcirc \\&\ \vdots \qquad \vdots \qquad \vdots \\&\bigcirc \quad \bigcirc \quad \bigcirc \end{cases}}\\\Downarrow \qquad \ \ \\\square \quad \square \quad \square \quad \end{aligned}}\end{matrix}}$ 

Пусть $h:\{0,1{\}}^n\to <!--\; \to \; -->\{0,1{\}}^n$$h:\{0,1\}^{n}\rightarrow \{0,1\}^{n}$  — необратимая функция. Пусть блок $B_{i-<!--\; -\; -->1}$$B_{i-1}$  связан с начальным состоянием (англ. seed) $S^{B_{i-<!--\; -\; -->1}}$$S^{B_{i-1}}$ , сформированным группой из $l$$l$  участников, генерировавших данный блок. Участник $A_l$$A_{l}$ , решающий, какие транзакции войдут в следующий блок $B_i$$B_{i}$ , определяется с помощью алгоритма follow-the-satoshi с хеш-функцией $hash(i,l,S^{B_{i-<!--\; -\; -->1}})$$hash(i,l,S^{B_{i-1}})$  в качестве входного значения. Оставшиеся участники $A_1,A_2,...,A_{l-<!--\; -\; -->1}$$A_{1},A_{2},...,A_{l-1}$  определяются тем же алгоритмом, но в качестве входного значения используется $hash(i,l,S^{B_{j-<!--\; -\; -->1}})$$hash(i,l,S^{B_{j-1}})$ , где $j\in <!--\; \in \; -->1,2,...,l-<!--\; -\; -->1$$j\in {1,2,...,l-1}$ .

Далее, выбранные $A_1,A_2,...,A_{l-<!--\; -\; -->1}$$A_{1},A_{2},...,A_{l-1}$  принимают участие в процедуре генерации блока $B_i$$B_{i}$ , которая состоит из двух этапов:

1. Каждый участник $A_j$$A_{j}$ , где $j\in <!--\; \in \; -->1,2,...,l$$j\in {1,2,...,l}$ , выбирает случайное секретное значение из $R_j\in <!--\; \in \; -->\{0,1{\}}^n$$R_{j}\in \{0,1\}^{n}$ 
2. Каждый участник подписывает сообщение $M\stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=}h(R_1)\circ <!--\; \circ \; -->h(R_2)\circ <!--\; \circ \; -->...\circ <!--\; \circ \; -->h(R_l)$$M{\stackrel {\mathrm {def} }{=}}h(R_{1})\circ h(R_{2})\circ ...\circ h(R_{l})$  и выкладывает свою подпись $sig{n}_{S_{kj}}(M)$$sign_{S_{kj}}(M)$  и прообраз $R_j$$R_{j}$  в сеть.

Участник $A_l$$A_{l}$  подписывает и выкладывает в сеть блок $B_i$$B_{i}$ . Блок содержит: транзакции, хеш предыдущего блока $B_{i-<!--\; -\; -->1}$$B_{i-1}$ , метку текущего времени, $l$$l$  прообразов $R_1,R_2,...,R_l$$R_{1},R_{2},...,R_{l}$  и совокупность всех подписей $\stackrel{^<!--\; ^\; -->}{s}(M)=\{sig{n}_{S_{kj}}{\}}_{j=1}^l(M)$${\hat {s}}(M)=\{sign_{S_{kj}}\}_{j=1}^{l}(M)$ . Участники используют функцию $h$$h$  для вычисления образов $h(R_1),h(R_i),...,h(R_l)$$h(R_{1}),h(R_{i}),...,h(R_{l})$ . Эти образы используются для получения $M$$M$ . Далее проверяется допустимость подписи $\stackrel{^<!--\; ^\; -->}{s}(M)$${\hat {s}}(M)$  относительно открытых ключей $p{k}_1,p{k}_2,...,p{k}_l$$pk_{1},pk_{2},...,pk_{l}$  участников $A_1,A_2,...,A_l$$A_{1},A_{2},...,A_{l}$ .

Начальное распределение криптовалютыПравить

Для криптовалюты, не использующей proof-of-work, существует один простой способ распределения денег между участниками — проведение ICO. Однако, в таком случае подразумевается, что изначально вся валюта контролируется одной стороной, что усложняет процесс децентрализации. Во многих криптосистемах, использующих proof-of-stake, эта проблема решается посредством использования PoW для первоначальной генерации криптовалюты, которая будет циркулировать в системе в дальнейшем. Таким образом, первоначальная стоимость единиц криптовалюты определяется стоимостью их производства.

КритикаПравить

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

Ничего на конуПравить

Проблема «ничего на кону» заключается в том, что, в случае консенсусной ошибки, генераторы блоков ничего не теряют, голосуя за несколько ветвей цепочек. Это не позволяет консенсусу когда-либо установиться.

Двойная тратаПравить

Поскольку формирование цепочки требует небольших затрат ресурсов (в отличие от PoW систем), любой может злоупотребить проблемой с попыткой совершить двойную трату средств «бесплатно».

Варианты решения проблемПравить

На практике проекты решали эти проблемы разными путями:

• Протокол Slasher, предлагаемый Ethereum, позволяет пользователям «наказывать» мошенников, которые работают в конце более (чем) одной ветви цепочки. Такой вариант предполагает, что вы должны дважды подписать создание новой ветви цепочки, и что вы можете быть наказаны, если создадите ответвление без подтверждения доли. Однако протокол Slasher так и не был принят. Разработчики Ethereum пришли к выводу, что доказательства доли в этом случае нетривиальны. Вместо этого Ethereum был разработан протокол Ethash, использующий PoW.
• Peercoin использует подписанные приватным ключом разработчика контрольные точки. Благодаря этому нет возможности переорганизации цепочки блоков ранее последней контрольной точки. В данном случае компромисс заключается в том, что разработчик Peercoin является центральным органом, управляющим цепочкой блоков.
• Протокол Nxt позволяет реорганизовать последние 720 блоков. Тем не менее, это только искажает проблему: клиент может следовать за вилкой из 721 блока, независимо от того, является ли она самой длинной цепочкой.
• Гибридный алгоритм PoS и PoW протокола Decred. В этом случае используется подтверждение доли, зависимое от метки времени алгоритма PoW, которое предложено назвать «Proof-of-Activity» (Доказательство деятельности), где проблема доказательства решается наличием второго доказательного механизма — PoW.