Как работает алгоритм Casper Proof of Stake?

Ethereum планирует перейти на алгоритм Casper Proof-of-Stake в будущей версии сети. Каковы детали этого алгоритма и как он соотносится с предыдущими консенсусными протоколами Proof of Stake?

обратите внимание, что, в отличие от этого вопроса , я спрашиваю исключительно о самом каспере, а не о том, почему эфириум может или не может использовать каспер (или другой алгоритм доказательства доли).
Возможный дубликат Что такое Каспер?
как я могу участвовать в стейкинге, имея средства на ethereumwallet/mist и позволять ему работать 24/7?

Ответы (3)

Дружелюбный призрак

Casper — это протокол экономического консенсуса, основанный на залоговых депозитах . Это означает, что узлы, так называемые связанные валидаторы , должны вносить залог, действие, называемое связыванием , для обеспечения консенсуса путем создания блоков.

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

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

Этот протокол имеет несколько приятных свойств:

  • Любой может принять участие
  • Консенсус может быть достигнут своевременно
  • Он быстро сходится к необратимому консенсусу
  • Он свободен от политики

Каспер в неэкономическом плане

Casper — это в конечном счете согласованный протокол консенсуса на основе блокчейна. Он предпочитает доступность, а не согласованность, см. Теорему CAP .. Он всегда доступен и последователен, когда это возможно. Он устойчив к непредсказуемому времени доставки сообщений, поскольку узлы приходят к консенсусу посредством реорганизации транзакций после того, как в конечном итоге будут получены задержанные сообщения. Он имеет возможную отказоустойчивость 50% в том смысле, что вилка, созданная более чем на 50% правильных узлов, оценивается выше, чем любая вилка, созданная оставшимися потенциально неисправными валидаторами. Примечательно, однако, что клиенты не могут быть уверены, что какой-либо конкретный форк, созданный с участием 51%, не будет отменен, потому что они не могут знать, являются ли некоторые из этих узлов византийскими. Поэтому клиенты считают блок завершенным только в том случае, если в нем участвует подавляющее большинство валидаторов или связанная доля .

"Участвовать может любой" <- Это не 100% правда. В Casper, как и во всех связанных PoS-протоколах, существует вероятность того, что связывание новых участников будет отклонено текущими участниками. Это предостережение всегда следует учитывать при описании этих протоколов, так как это фундаментальное различие между PoS и PoW.
«Он свободен от политики» <- Это неправда.
«Это быстро сходится к необратимому консенсусу» <- Насколько я понимаю, это зависит от типа блока. Некоторые блоки обратимы.
Я чувствую, что это не отвечает на вопрос; без исходного кода я чувствую, что на этот вопрос нельзя ответить должным образом.
@ A.FrederickDudley Исходного кода нет. Пожалуйста, посмотрите это обсуждение на meta .
Просто к вашему сведению, Робер Картайно удалил мой ответ , потому что «ссылки не считаются ответом», хотя это буквально не имеет смысла.
У нас все еще есть концепция nonce в POS? За что именно валидаторы пытаются проголосовать здесь, это просто проверка подписи или нечто большее?

https://gitter.im/ethereum/research — это открытый высокотехнологичный канал, где в настоящее время можно получить самые подробные сведения о Casper.

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

Casper — это новый алгоритм Proof of Stake, который заменит текущий алгоритм Proof of Work в блокчейне Ethereum. Я уже ответил о разнице между PoW и PoS. В чем разница между доказательством доли и доказательством работы?

Ethereum пытается включить PoS с помощью своего нового протокола PoS под названием Casper. Это функция, которая гласит, что злонамеренный валидатор (в случае PoS майнер называется валидатором), который проверяет блок, потеряет деньги, если он/она проверит вредоносный блок. блок не правильный. В PoS, когда валидатор проверяет алгоритм или блок, он просто вкладывает деньги или ставку для проверки этого блока, вы не можете вернуть их, пока блок не будет проверен, или вы можете фактически потерять свои деньги, которые вложены для решения этого блока, если вы проверяете ложный блок в обновлении casper.

Преимущества протокола Каспер

  1. PoS быстрее для валидатора проверяет блок и делает ставку на блок по сравнению с PoW (Proof of Work), который решает криптографическую головоломку, чтобы добавить блок в цепочку блоков. Если PoS будет быстрее, то весь блокчейн станет быстрее и масштабируемее. Это обновление Casper может сделать Ethereum готовым к всемирному принятию.

  2. В Proof of Work, если кто-то влиятельный (с мощными процессорами или графическими процессорами) попытается обмануть систему, он/она на самом деле не будет наказан, но в Proof of Stake (протокол Casper) если кто-то попытается вмешаться в блокчейн, даже если они мощные (с процессорами или графическими процессорами), они потеряют свои средства, если они являются валидатором и заблокировали свою долю для проверки блока в этом протоколе.