25 октября техническое описание одного из ключевых элементов протокола Casper – FFG, или механизма финализации блоков (Friendly Finality Gadget), было выложено на Arxiv.org.

FFG не отменяет текущий механизм консенсуса PoW, он представляет собой надстройку над ним. Валидаторы, которые в окончательной версии PoS заменят майнеров, на первом шаге будут подписывать «чекпойнты» цепи каждые 50 или 100 блоков, придавая цепи завершенность (финализацию), после которой транзакции нельзя откатить назад. 

В блокчейнах на PoW такая финализация формально отсутствует, ее заменяет набор эвристических оценок: например, транзакция BTC считается проведенной после подтверждения 6 блоками, однако 100% гарантии этого нет. В первой версии Casper FFG именно валидаторы принимают окончательное решение, какая цепь является официальной, через каждые 50 (или 100 – пока не определено) блоков. Они проверяют каждый блок, определяют самую длинную цепь и назначают чекпойнты на определенных блоках, подписывая их собственным идентификатором.

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

Механизм FFG увеличивает надежность сети: делает ее неизменяемой (конечно, в случае отсутствия конфликта 50-50 – именно эта оговорка и делает механизм сложным, и требует длительного периода тестирования).

Даже с реализацией FFG, Эфириум останется PoW блокчейном, за исключением того, что, по всей вероятности, майнерам придется делиться с валидаторами наградой за блоки.

Что касается включения механизма FFG в Constantinople – вторую часть релиза Metropolis, запланированную на первый квартал 2018 года - то никакого официального решения пока не принято, однако это обсуждалось на встрече разработчиков 2 октября, и Виталик Бутерин достаточно благожелательно высказывался по этому поводу.

Разработчики подчеркивают, что Casper FFG является только первым и достаточно консервативным этапом на пути окончательного перехода Эфириума на PoS: сеть ценой в почти $30 миллиардов требует осторожного подхода.

В общем смысле, Casper представляет собой семейство из двух основных проектов, разрабатываемых Фондом Эфириума под неформальными обозначениями «Casper Виталика» и «Casper Влада» (Влад Замфир). Являясь независимыми проектами, они тем не менее имеют общую цель: полный переход Эфириума на PoS.

Два Каспера: FFG против CBC

Casper Friendly Finality Gadget: FFG или «Casper Виталика» – гибридный механизм консенсуса PoW/PoS, являющийся основным кандидатом на включение в следующий релиз Эфириума. Он является надстройкой над существующим алгоритмом PoW ethash, никак его не затрагивает, но заверяет сетью валидаторов каждые 50/100 блоков.

Casper the Friendly GHOST: Correct-by-Construction: (CBC), или «Casper Влада». В CBC применяется несколько необычный подход:

  1. его начальные спецификации заданы лишь частично; 

  2. остальная часть протокола конструируется так, чтобы она удовлетворяла желаемым/требуемым свойствам (в традиционных протоколах все спецификации определяются в самом начале).

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

В общем, «Casper Виталика» предполагает многоступенчатый переход сети Эфириума на PoS, постепенно увеличивающий роль PoS в работе сети. CBC, напротив, фокусируется на формальных методах, извлекающих доказательства безопасности, начиная с основополагающих принципов.

Хотя это звучит довольно запутанно, оба подхода дополняют друг друга, а окончательная форма протокола Casper станет симбиозом CBC и FFG.

Оба, Замфир и Бутерин, признают, что до реализации остается отшлифовать множество деталей. Однако, оба проекта находятся в активной разработке, а на конференции DEVCON-3, стартующей в Канкуне 3 ноября, ожидаются подробные отчеты о состоянии дел.

Заключение

Предположение о включении Casper FFG во вторую часть релиза Metropolis, основано на косвенных данных и никак не может считаться окончательным. Больше ясности в этот вопрос внесет выступление сотрудников Фонда Эфириума в Канкуне в конце этой недели.

Что касается предположений о дальнейших шагах: работа FFG в сети будет продолжаться как минимум, в течение года, так что пока майнерам не стоит беспокоиться о своих доходах, хотя некоторая часть от них отойдет валидаторам. Учитывая то, что «бомба сложности» была отсрочена на 18 месяцев, окончательный переход на PoS может произойти ближе к концу этого срока – апрель-май 2019 года.