Casper - консенсусный протокол, ориентированный на криптоэкономику. Он разработан как консенсусный протокол экономии c на основе гарантийного депозита. Указанные узлы c связанного валидатора в сети цепочки блоков должны внести залог в процессе, известном как связывание , для создания блоков. Это адаптация принципов протокола Greedy Heaviest-Observed Sub-Tree (GHOST).
В настоящее время существует два варианта Casper: Casper (Friendly Finality Gadget) FFG и Casper Correct by Construction (CB C). Casper FFG будет реализован первым. Пять параметров Casper CB C - это имена и веса валидаторов, порог отказоустойчивости, согласованные значения и оценка. Валидаторы принимают индивидуальные решения на основе своего текущего состояния, которое определяется в терминах полученных сообщений.
В Casper любой может участвовать в производстве блоков путем размещения облигации. После размещения облигации будет сделана ставка на то, какой блок включен в текст. Стимулы разработаны таким образом, что будут вознаграждения за ставки с возможным консенсусом и потеря денег из-за ставок против консенсуса. Любое злонамеренное и нечестное поведение приведет к утрате залога.
В общем смысле Casper - это в конечном итоге согласованный протокол консенсуса. Пожалуй, можно сказать, что жизнь здесь важнее безопасности. Он всегда доступен и по возможности согласован. Это устойчивое к непредсказуемым временам доставки сообщений, поскольку узлы приходят к консенсусу через реорганизацию транзакций после того, как в конечном итоге получены отложенные сообщения. Он имеет возможную отказоустойчивость 50% в том смысле, что вилка, созданная> 50% правильных узлов, имеет более высокие оценки, чем любая вилка, созданная оставшимися потенциально неисправными валидаторами.
Существует интересное сравнение различных этапов завершенности в блокчейне, когда цепочка масштабируется до большего количества узлов. Он представлен Владом Замфиром на треугольной диаграмме, как показано ниже.
Хотя в конечном итоге это согласовано, оно более вероятно c, чем детерминированное c. В этом смысле он отличается от детерминированной c природы Raft. Также валидатор в Casper - это информация, теоретически отличающаяся от реплицированных конечных автоматов, задействованных в консенсусе Raft. У валидаторов больше привилегий, чем у простых реплицированных конечных автоматов. В консенсусе Raft мы реплицировали конечные автоматы, ссылающиеся на журнал.
В консенсусе Casper делается предположение о минимальной синхронности. Это означает, что узлы подключаются к сети не реже одного раза в три месяца, чтобы избежать сокращения их депозитов, а это означает, что, если одна треть валидаторов не атакует активно блокчейн, всегда будет достаточно избирателей, чтобы обеспечить безопасность блокчейна.
Casper может восстанавливать после sh -сбой всех узлов, кроме одного. В любом случае валидатор получает более высокую прибыль от создания блоков, чем от их полного отсутствия. Кроме того, связанные валидаторы, которые кажутся отключенными слишком долго, будут отключены, и впоследствии новым бондерам будет разрешено присоединиться к набору валидации. Таким образом, Casper потенциально может восстановить в точности те гарантии безопасности, которые были у него до массового отказа sh. Принимая во внимание эту схему, вполне возможно, что Casper будет более sh отказоустойчивым, чем реализация консенсуса Raft.
На исследовательском форуме Ethereum Виталик сравнил время завершения Casper FFG и PBFT. В нем говорится, что время завершения Casper FFG будет таким же, как и у PBFT, с некоторыми небольшими отличиями. Это постулирует еще более быструю завершенность Casper CB C. Пожалуйста, обратитесь к этому обсуждению здесь.
Время завершения Casper FFG и CB C
Этот ответ является лишь введением в это интересное обсуждение сравнения Casper и основных консенсусных алгоритмов, таких как Raft и pBFT. Пожалуйста, найдите мои ссылки для дальнейших исследований в этом топе c.
- Casper Conversations в Ethereum Exchange
- Introduction to Casper by Vlad Замфир
- Формальный анализ Casper CB C