Механизм финализации (Finality Gadget)

Что такое механизм финализации?

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

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

Для отмены финализированного блока потребовался бы серьезный сбой консенсуса, значительный объем недобросовестной голосующей силы, крупные экономические санкции или исключительное вмешательство сообщества.

Слово «механизм» указывает на то, что этот способ финализации можно добавить к другой системе, отвечающей за создание блоков и выбор текущей цепочки, или объединить с ней.

Механизм финализации не обязательно определяет, кто из участников создаст следующий блок.

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

Наиболее известный пример — Casper the Friendly Finality Gadget, обычно называемый Casper FFG.

Casper FFG является компонентом финализации в механизме консенсуса Ethereum на основе Proof of Stake.

В Ethereum Casper FFG сочетается с правилом выбора ветви LMD-GHOST; этот полный дизайн консенсуса называется Gasper.

В официальной документации Ethereum по Gasper объясняется, что Casper финализирует контрольные точки, а LMD-GHOST помогает узлам выбирать правильную вершину цепочки.

Что означает финализация в блокчейне?

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

Сначала транзакция включается в предложенный блок.

После него могут добавляться новые блоки, а валидаторы — голосовать за него.

По мере усиления поддержки вероятность или экономическая целесообразность отмены транзакции снижается.

Финализированная транзакция достигла наивысшего уровня подтверждения, предусмотренного протоколом.

Финализация не означает, что каждый компьютер, сайт, кошелек или приложение уже отобразили транзакцию.

Она означает, что механизм консенсуса блокчейна зафиксировал блок, в который включена эта транзакция.

В глоссарии Ethereum финализация определяется как гарантия того, что набор транзакций нельзя изменить без потери очень большого объема застейканного ETH.

Зачем блокчейнам нужна финализация?

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

Из-за задержек сети разные узлы могут почти одновременно получить разные корректные блоки.

В результате временно могут появиться конкурирующие ветви, называемые форками.

Правило выбора ветви помогает узлам определить, за какой ветвью им следует следовать в данный момент.

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

Механизм финализации создает более надежное обязательство относительно старых блоков.

После финализации контрольной точки честные узлы не должны заменять ее противоречащей ей контрольной точкой.

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

Почему используется название «механизм»?

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

Базовая система может часто предлагать блоки, даже если они еще не достигли полной финализации.

Затем механизм применяет правила голосования валидаторов к выбранным блокам или контрольным точкам.

Такая модульная структура разделяет два связанных, но разных вопроса.

Первый — какой блок следует считать текущей вершиной цепочки.

Второй — какие более старые блоки уже достаточно надежны, чтобы считать их финализированными.

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

Создание блоков и их финализация

Создание блока — это процесс выбора участника, который создаст и опубликует новый блок.

Финализация блока — это достижение твердого согласия о том, что блок останется в канонической цепочке.

В блокчейне для создания блоков и их финализации могут использоваться разные протоколы.

В Ethereum валидаторы Proof of Stake предлагают блоки в отдельных слотах.

Правило выбора ветви использует сообщения валидаторов для определения вершины цепочки.

Casper FFG отдельно применяет голоса за контрольные точки, чтобы оправдывать и финализировать части этой цепочки.

Другой блокчейн может использовать иной протокол создания блоков и собственный механизм финализации.

Как работает механизм финализации?

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

Валидаторы изучают блокчейн и голосуют за связь между более ранней и более новой контрольными точками.

Более раннюю контрольную точку обычно называют исходной.

Более новую — целевой.

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

Целевая контрольная точка может получить статус оправданной.

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

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

Такие санкции делают противоречивую финализацию экономически затратной.

Что такое контрольная точка?

Контрольная точка — это блок, выбранный на регулярной границе для голосования о финализации.

Механизмы финализации не всегда требуют голосования за каждый отдельный блок.

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

В Ethereum время разделено на слоты и эпохи.

Слот сейчас длится 12 секунд.

Эпоха состоит из 32 слотов и поэтому длится примерно 6,4 минуты.

Блок в начале эпохи служит ее контрольной точкой.

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

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

Что такое аттестация?

Аттестация — это голос валидатора о состоянии блокчейна и истории цепочки.

В Ethereum аттестация содержит сведения, используемые как при выборе ветви, так и при финализации.

Валидатор голосует за блок, который считает вершиной цепочки.

Он также голосует за исходную и целевую контрольные точки, используемые Casper FFG.

Валидаторам назначается определенное время для публикации аттестаций.

Своевременные и корректные аттестации помогают сети выбрать цепочку и финализировать контрольные точки.

Пропущенные, запоздавшие или противоречивые аттестации могут уменьшить вознаграждение валидатора или привести к штрафам.

Что такое связь суперкворума?

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

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

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

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

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

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

Что такое оправданная контрольная точка?

Оправданная контрольная точка — это контрольная точка, получившая необходимую поддержку суперкворума от более ранней оправданной контрольной точки.

Оправдание означает высокий, но еще не окончательный уровень согласия.

Маловероятно, что оправданную контрольную точку удалят, но протокол еще не присвоил ей статус полной финализации.

В упрощенном процессе Ethereum валидаторы сначала оправдывают новую контрольную точку, создавая связь суперкворума в две трети.

Последующее голосование за более позднюю контрольную точку может финализировать более раннюю оправданную точку.

Что такое финализированная контрольная точка?

Финализированная контрольная точка — это оправданная контрольная точка, получившая дополнительную поддержку голосами, требуемую правилами финализации.

В распространенном примере Ethereum контрольная точка A уже оправдана.

Затем валидаторы создают связь суперкворума от контрольной точки A к следующей контрольной точке B.

Контрольная точка B становится оправданной, а контрольная точка A — финализированной.

Каждый блок до контрольной точки A включительно становится частью финализированной истории цепочки.

Транзакция в одном из этих блоков достигает финализации на уровне протокола Ethereum.

Что такое Casper FFG?

Casper FFG — сокращение от Casper the Friendly Finality Gadget.

Это протокол финализации на основе Proof of Stake, который предназначен для надстройки над процессом создания блоков и выбора ветви в блокчейне или для дополнения этого процесса.

В оригинальной исследовательской работе о Casper FFG описана система финализации на основе Proof of Stake, которая позволяет усилить защиту существующего блокчейна от отмены блоков.

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

В текущей системе консенсуса Ethereum на основе Proof of Stake применяется модифицированная версия Casper FFG.

Casper FFG не следует путать со всем механизмом консенсуса Ethereum.

Он задает правила финализации, тогда как другие компоненты отвечают за предложение блоков, исполнение транзакций, работу сети и выбор ветви.

Что такое Gasper?

Gasper — название механизма консенсуса Ethereum на основе Proof of Stake.

Это название объединяет GHOST и Casper.

LMD-GHOST помогает узлам выбрать текущую вершину блокчейна.

Casper FFG оправдывает и финализирует контрольные точки.

Компонент выбора ветви может быстро реагировать на новые блоки и сообщения валидаторов.

Компонент финализации обеспечивает более медленное, но экономически более надежное закрепление истории блокчейна.

Такое сочетание позволяет Ethereum создавать блоки в каждом слоте и достигать полной финализации за более длительное время.

Что такое LMD-GHOST?

LMD-GHOST означает Latest Message Driven Greedy Heaviest Observed SubTree.

Это правило выбора ветви, используемое клиентами консенсуса Ethereum.

Правило учитывает последнее корректное сообщение от каждого валидатора.

Оно следует ветви, которую в дереве блоков поддерживает наибольший вес валидаторов.

LMD-GHOST определяет текущую вершину цепочки, которая может меняться по мере поступления новых блоков и аттестаций.

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

Таким образом, эти механизмы решают связанные, но разные задачи консенсуса.

Сколько времени занимает финализация Ethereum?

При нормальных условиях сети Ethereum сейчас требуется около 15 минут, чтобы финализировать блок.

Каждая эпоха длится примерно 6,4 минуты, поскольку состоит из 32 слотов по 12 секунд.

Обычно для финализации нужны голоса за контрольные точки в последовательных эпохах.

Точное время для конкретной транзакции зависит от того, где именно в эпохе находится ее блок, и от момента обработки достаточного числа голосов валидаторов.

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

В официальном плане развития Ethereum, посвященном финализации за один слот, указано, что текущий процесс занимает около 15 минут.

Финализация и подтверждения блока

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

Чем больше подтверждений, тем ниже вероятность реорганизации.

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

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

У транзакции может быть несколько подтверждений, но она еще не будет финализирована.

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

Вероятностная и экономическая финализация

Вероятностная финализация усиливается по мере добавления новых блоков после блока с транзакцией.

Отменить более старый блок становится все сложнее, поскольку злоумышленнику нужно заменить больший объем уже принятой работы или веса цепочки.

Экономическая финализация основана на обязательствах валидаторов, за нарушение которых предусмотрены санкции.

Для создания противоречащей финализированной истории валидаторам пришлось бы нарушить правила и подвергнуть застейканные активы риску.

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

Термин «экономическая» важен: финализация зависит от стоимости и последствий нарушения консенсуса, а не от физической невозможности такого нарушения.

Полностью ли необратима финализация?

Финализация не означает, что отмена невозможна при любых мыслимых обстоятельствах.

Это гарантия протокола, действующая при соблюдении его предположений о безопасности системы.

Оспорить финализированный блок можно было бы только после серьезного события, например массового нарушения правил валидаторами, критической ошибки консенсуса или общественного решения после катастрофического сбоя.

Обычная задержка сети, пропуск одного блока или небольшой сбой валидаторов не должны привести к отмене финализированной истории.

На практике финализированные транзакции считают завершенными, поскольку их изменение потребовало бы чрезвычайных затрат и вызвало бы серьезные нарушения.

Что такое условия слешинга?

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

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

Финализация на основе Casper запрещает две основные категории голосов за контрольные точки.

Первая — двойное голосование.

Вторая — охватывающее голосование.

Эти правила разработаны таким образом, чтобы при финализации противоречащих друг другу контрольных точек можно было выявить значительный объем нарушений валидаторов, влекущих санкции.

Что такое двойное голосование?

Двойное голосование происходит, когда валидатор отправляет два разных голоса за контрольные точки с одной и той же целевой эпохой.

Фактически валидатор поддерживает противоречащие друг другу цели в одном периоде финализации.

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

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

Что такое охватывающее голосование?

Охватывающее голосование происходит, когда один голос валидатора охватывает другой голос того же валидатора.

Это означает, что исходная точка одного голоса расположена раньше, а его целевая точка — позже обеих точек другого голоса.

Это правило не позволяет валидатору поддерживать конфликтующие истории контрольных точек в пересекающихся диапазонах.

Как и двойное голосование, охватывающее голосование можно доказать с помощью подписанных сообщений.

Почему важна одна треть стейка

Порог в одну треть играет ключевую роль в обеспечении безопасности и работоспособности Casper FFG.

Для финализации нужны голоса, представляющие не менее двух третей активного стейка.

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

Если эта пересекающаяся группа поддержала обе противоречащие финализации, она нарушила условия слешинга.

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

В официальной документации Ethereum по Proof of Stake объясняется, что для отмены финализированной истории злоумышленнику пришлось бы поставить под угрозу уничтожения как минимум одну треть всего застейканного ETH.

Что произойдет, если более трети валидаторов отключатся?

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

Создание блоков может продолжаться, а правило выбора ветви — определять вершину цепочки.

Однако финализация контрольных точек может остановиться.

Такое состояние называется задержкой финализации или сбоем работоспособности.

Задержка финализации не обязательно означает, что блокчейн прекратил обрабатывать все транзакции.

Она означает, что наивысший статус подтверждения по протоколу больше не продвигается.

Что такое механизм утечки при бездействии?

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

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

Активные валидаторы постепенно представляют все большую долю оставшегося эффективного стейка.

В итоге активная сторона может вновь набрать необходимый для финализации контрольных точек суперкворум в две трети.

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

Механизм поддерживает работоспособность сети, однако после серьезного разделения сети или массового сбоя валидаторов восстановление может занять время.

Безопасность и работоспособность

Безопасность означает, что честные узлы не финализируют две противоречащие друг другу истории блокчейна.

Работоспособность означает, что блокчейн может продолжать работу и финализировать новые контрольные точки.

Механизм финализации должен обеспечивать баланс между этими свойствами.

Отказ от финализации в условиях неопределенности помогает сохранить безопасность, но задерживает расчеты.

Слишком простая финализация ускоряет процесс, но ослабляет защиту от противоречащих историй.

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

Что такое задержка финализации?

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

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

Во время задержки приложения могут по-прежнему отображать транзакции в недавно предложенных блоках.

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

Задержку финализации не следует путать с подтвержденной реорганизацией цепочки.

Она указывает на повышенную неопределенность относительно недавних блоков, а не доказывает, что их уже удалили.

Что такое двойная финализация?

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

Это означало бы критический сбой консенсуса.

При обычной модели Casper FFG как минимум треть стейка валидаторов должна была бы подписать противоречивые голоса, влекущие слешинг.

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

Чтобы определить, какую историю следует принять, может потребоваться координация вне блокчейна и общественный консенсус.

Поэтому двойная финализация намного серьезнее обычной кратковременной реорганизации.

Механизмы финализации и реорганизации цепочки

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

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

Механизм финализации ограничивает глубину обычной реорганизации.

Честные узлы не должны переключать цепочку на ветвь, противоречащую последней финализированной контрольной точке.

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

Финализация и депозиты в криптовалюте

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

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

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

Необходимый срок ожидания — это операционное решение об управлении рисками, а не универсальное правило блокчейна.

Пользователям следует различать включение транзакции в блок, ее отображение в кошельке, зачисление сервисом и окончательное завершение расчетов.

Финализация и кроссчейн-мосты

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

Если мост действует до финализации исходной цепочки, он может обработать перевод, который позднее будет удален при реорганизации.

Злоумышленник может попытаться получить активы в сети назначения до исчезновения исходной транзакции.

Ожидание финализации снижает этот риск, но увеличивает время перевода.

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

Финализация исходной цепочки защищает только одну часть всей системы моста.

Финализация и сети Layer 2

Сети Layer 2 обрабатывают транзакции вне базового блокчейна и публикуют в нем данные, доказательства или обязательства.

Пользователь может быстро получить локальное подтверждение до финализации связанной транзакции в базовом блокчейне.

Полное завершение расчетов может зависеть от архитектуры Layer 2, системы доказательств, периода оспаривания, доступности данных и финализации базового уровня.

Транзакция, названная финализированной в приложении Layer 2, может еще не достичь окончательных расчетов в базовом блокчейне.

Пользователям следует выяснять, какой именно вид финализации имеет в виду приложение.

Финализация и смарт-контракты

Транзакция смарт-контракта может успешно исполниться до финализации ее блока.

Другие приложения могут сразу выполнять дополнительные операции на основе ее временного состояния.

Реорганизация цепочки может удалить транзакцию и все зависящие от нее изменения состояния в заменяемой ветви.

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

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

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

Что такое слабая субъективность?

Слабая субъективность — это свойство Proof of Stake, при котором новому или долго не работавшему узлу для безопасного определения правильной цепочки нужна свежая доверенная контрольная точка.

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

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

Свежая контрольная точка слабой субъективности сообщает узлу, какую историю блокчейна признает активное сообщество.

В официальной документации Ethereum о слабой субъективности объясняется, как свежие контрольные точки защищают синхронизирующиеся узлы от устаревших альтернативных историй.

Слабая субъективность не означает, что для каждой ежедневной транзакции требуется доверие к центральному органу.

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

Контрольная точка слабой субъективности и финализированная контрольная точка

Финализированная контрольная точка создается в процессе голосования валидаторов по правилам протокола.

Контрольная точка слабой субъективности — это свежая доверенная точка отсчета, предоставляемая новому или долго не работавшему узлу.

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

Если блок противоречит доверенной контрольной точке слабой субъективности узла, он отклоняет этот блок.

Эти понятия связаны, но выполняют разные функции безопасности.

Что такое синхронизация с контрольной точки?

Синхронизация с контрольной точки позволяет узлу Proof of Stake начать синхронизацию с недавней доверенной контрольной точки вместо обработки всей истории консенсуса от генезис-блока.

Это сокращает время, необходимое для запуска узла.

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

Использование вредоносной контрольной точки может привести к подключению узла к неправильной цепочке.

Перед использованием узлы могут сравнить контрольные точки из нескольких независимых источников.

Механизм финализации и правило выбора ветви

Правило выбора ветви определяет, за какой ветвью узлу следует следовать в данный момент.

Механизм финализации определяет, какие более ранние контрольные точки уже нельзя заменять.

Результат выбора ветви может измениться при поступлении новых сообщений.

Граница финализированной части должна оставаться стабильной, если не происходит серьезного сбоя консенсуса.

LMD-GHOST в Ethereum — это правило выбора ветви, а Casper FFG — механизм финализации.

Механизм финализации и механизм консенсуса

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

Механизм финализации — лишь один компонент этой системы.

Называть Casper FFG всем механизмом консенсуса Ethereum — значит не учитывать предложение блоков, LMD-GHOST, исполнение транзакций, вознаграждения, работу сети и другие важные функции.

В документации Ethereum по механизмам консенсуса объясняется, что консенсус — это целый стек протоколов и стимулов, а не только Proof of Stake или один алгоритм голосования.

Механизм финализации и Proof of Stake

Proof of Stake — это способ определять влияние на консенсус в зависимости от объема застейканных криптоактивов.

Механизм финализации — это набор правил, по которым голоса валидаторов используются для финализации блоков или контрольных точек.

В блокчейне Proof of Stake может использоваться механизм финализации, но эти термины не взаимозаменяемы.

В разных сетях Proof of Stake могут применяться различные правила финализации, пороги, графики голосования и санкции.

Механизм финализации и отказоустойчивость по византийской модели

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

Во многих механизмах финализации используются идеи византийских отказоустойчивых протоколов консенсуса.

Порог голосования суперкворума позволяет системе выдерживать отказ ограниченной доли веса некорректных валидаторов.

Экономические санкции дополняют эти правила голосования стимулами, характерными для Proof of Stake.

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

GRANDPA как механизм финализации

GRANDPA расшифровывается как GHOST-based Recursive ANcestor Deriving Prefix Agreement.

Это механизм финализации, используемый в консенсусной системе Polkadot.

GRANDPA отделен от механизма, который создает блоки-кандидаты.

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

В официальной документации Polkadot по консенсусу GRANDPA описывается как асинхронный и подотчетный механизм финализации.

Casper FFG и GRANDPA показывают, что концепцию механизма финализации можно реализовать с помощью разных алгоритмов.

Преимущества отдельного механизма финализации

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

Он обеспечивает явный статус финализации, поэтому пользователям не нужно оценивать безопасность только по числу подтверждений.

Условия слешинга позволяют публично доказать отдельные нарушения консенсуса и наказать за них экономически.

Модульная конструкция дает исследователям возможность совершенствовать выбор ветви и финализацию как отдельные компоненты протокола.

Она также может поддерживать работу механизма создания блоков во время временных задержек финализации.

Ограничения механизмов финализации

Механизмы финализации усложняют протокол.

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

Для достижения суперкворума нужны время и коммуникация.

Крупный сбой валидаторов может задержать финализацию, даже если блоки продолжают создаваться.

Концентрация валидаторов повышает серьезность последствий скоординированного сбоя или цензуры.

Новым и долго не работавшим узлам в рамках предположений о слабой субъективности могут потребоваться свежие доверенные контрольные точки.

Экономическая финализация также зависит от реальной стоимости и распределения застейканного актива.

Концентрация валидаторов и риск финализации

Механизм финализации надежнее, когда стейк валидаторов распределен между независимыми операторами, клиентами, регионами и поставщиками инфраструктуры.

Концентрация стейка может позволить одной организации или скоординированной группе задерживать финализацию.

Распространенная ошибка программного обеспечения также может одновременно затронуть многих валидаторов.

Если один клиент консенсуса контролирует более трети стейка, серьезная ошибка может помешать финализации.

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

В рекомендациях Ethereum по разнообразию клиентов объясняется, почему распределение валидаторов между независимыми программными реализациями снижает коррелированный риск для консенсуса.

Разделение сети и финализация

Разделение сети происходит, когда группы валидаторов не могут надежно обмениваться данными.

Каждая группа может видеть свой набор блоков и аттестаций.

Если ни одна сторона не контролирует две трети активного стейка, ни одна из них не должна финализировать новые контрольные точки.

Такая потеря работоспособности защищает безопасность, поскольку группам становится сложнее финализировать противоречащие друг другу истории.

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

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

Может ли механизм финализации финализировать некорректную транзакцию?

Механизм финализации не заменяет обычную проверку транзакций и блоков.

Клиенты исполнения проверяют подписи, балансы, правила смарт-контрактов и другие требования к транзакциям.

Клиенты консенсуса проверяют правила блоков и валидаторов.

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

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

Финализация затрудняет отмену корректной принятой истории, но при правильной работе клиентов не превращает явно некорректную транзакцию в действительную.

Могут ли валидаторы отменить финализированный блок?

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

Группе, пытающейся финализировать альтернативную историю, потребуется достаточная голосующая сила для нарушения правил консенсуса.

Противоречивые голоса поставят как минимум часть недобросовестного стейка под угрозу слешинга.

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

Поэтому пользователям следует отличать финализированные блоки от недавно предложенных.

Что такое финализация за один слот?

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

Сейчас процесс финализации Ethereum занимает около 15 минут.

Финализация за один слот сократила бы время ожидания для приложений и пользователей.

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

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

По состоянию на июль 2026 года финализация за один слот остается частью будущего плана развития Ethereum, а не действующим механизмом финализации в основной сети.

Почему ускорить финализацию сложно

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

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

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

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

Разработчикам протокола необходимо найти баланс между скоростью, децентрализацией, безопасностью, требованиями к оборудованию и устойчивостью.

Почему финализация важна для криптотрейдеров

Финализация помогает трейдерам понять, когда депозит или перевод уже вряд ли исчезнет из-за реорганизации цепочки.

Транзакция, видимая только в недавно предложенном блоке, все еще несет определенный риск реорганизации.

Финализированная транзакция прошла наиболее строгий обычный порог консенсуса сети.

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

Финализация не защищает трейдера от отправки криптовалюты на неверный адрес, подписания вредоносной транзакции или покупки актива, который теряет стоимость.

Почему финализация важна для разработчиков

Разработчикам нужно решить, в какой момент приложение должно считать ончейн-событие завершенным.

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

Ожидание полной финализации повышает уверенность в завершении расчетов, но увеличивает задержку.

Если сетевой интерфейс поддерживает такие статусы, приложениям следует различать предложенные, безопасные и финализированные состояния блока.

Кроссчейн-приложениям следует учитывать финализацию как в исходной, так и в целевой сети.

Системы мониторинга должны обнаруживать задержки финализации, а не исходить из того, что она всегда происходит по расписанию.

Почему финализация важна для валидаторов

Валидаторы помогают достигать финализации, своевременно публикуя согласованные аттестации.

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

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

Если программное обеспечение это поддерживает, валидаторам следует использовать базы защиты от слешинга.

Разнообразие клиентов, надежная синхронизация времени, защищенная сеть и мониторинг также снижают риски, связанные с финализацией.

Как пользователям проверить финализацию

Обозреватель блокчейна или интерфейс узла может показывать блоки со статусом «финализирован».

Интерфейсы API консенсуса Ethereum также предоставляют сведения о финализированных контрольных точках.

Кошелек может отображать транзакцию как подтвержденную, не показывая, достигнута ли полная финализация.

При переводе крупных сумм пользователи могут сравнить блок транзакции с последним финализированным блоком сети.

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

Распространенные заблуждения о механизмах финализации

Механизм финализации — не весь механизм консенсуса блокчейна.

Он не обязательно создает блоки.

Недавно подтвержденный блок не всегда уже финализирован.

Финализация не означает, что каждое приложение уже зачислило транзакцию.

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

Слешинг не применяется к каждому валидатору, пропустившему один голос.

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

Задержка финализации не означает автоматически, что блокчейн перестал создавать блоки.

Casper FFG и LMD-GHOST — это разные механизмы.

Финализация за один слот пока не действует в основной сети Ethereum.

Часто задаваемые вопросы

Что означает термин «механизм финализации» в криптовалютах?

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

Какова цель механизма финализации?

Он обеспечивает надежные гарантии завершения расчетов и препятствует замене финализированной истории блокчейна при обычных реорганизациях.

Какой механизм финализации наиболее известен?

Наиболее известный пример — Casper the Friendly Finality Gadget, или Casper FFG, который используется в механизме консенсуса Ethereum на основе Proof of Stake.

Что означает FFG?

FFG расшифровывается как Friendly Finality Gadget.

Casper FFG — это то же самое, что Proof of Stake в Ethereum?

Нет. Casper FFG — компонент финализации в более широком механизме консенсуса Ethereum на основе Proof of Stake.

Что такое Gasper?

Gasper — это дизайн консенсуса Ethereum, объединяющий механизм финализации Casper FFG с правилом выбора ветви LMD-GHOST.

Чем Casper FFG отличается от LMD-GHOST?

Casper FFG финализирует контрольные точки, а LMD-GHOST выбирает текущую вершину блокчейна.

Что такое финализированный блок?

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

Что такое оправданная контрольная точка?

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

Что такое связь суперкворума?

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

Сколько времени занимает финализация Ethereum?

При нормальных условиях полная финализация на уровне протокола Ethereum сейчас занимает около 15 минут.

Сколько длится эпоха Ethereum?

Эпоха Ethereum состоит из 32 слотов по 12 секунд и длится примерно 6,4 минуты.

Считается ли одно подтверждение Ethereum финализацией?

Нет. Блок может быть подтвержден и принят как текущая вершина цепочки до достижения финализации на уровне протокола.

Можно ли отменить финализированную транзакцию?

При обычной работе — нет. Для отмены потребовалось бы серьезное нарушение правил валидаторами, экономические санкции или исключительный сбой консенсуса.

Какой объем стейка нужен для финализации контрольной точки?

Для создания необходимой связи суперкворума нужны голоса, представляющие не менее двух третей активного стейка.

Почему важна одна треть стейка?

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

Что произойдет, если треть валидаторов отключится?

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

Что такое утечка при бездействии?

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

Останавливает ли задержка финализации все транзакции?

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

Что такое двойная финализация?

Это критический сбой консенсуса, при котором две противоречащие друг другу контрольные точки оказываются финализированными.

Что такое двойное голосование?

Оно происходит, когда валидатор подписывает разные целевые контрольные точки для одной и той же целевой эпохи.

Что такое охватывающее голосование?

Оно происходит, когда один голос валидатора за контрольную точку некорректно охватывает другой голос того же валидатора.

Что такое слешинг?

Это уничтожение стейка валидатора и исключение его из активного участия после доказуемого серьезного нарушения правил консенсуса.

Используется ли механизм финализации только в Ethereum?

Нет. В других блокчейн-системах применяются отдельные механизмы финализации, в том числе GRANDPA.

Что такое GRANDPA?

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

Что такое слабая субъективность?

Слабая субъективность означает, что новому или долго не работавшему узлу Proof of Stake для безопасной синхронизации нужна свежая доверенная контрольная точка.

Что такое синхронизация с контрольной точки?

Она позволяет узлу начать синхронизацию консенсуса с недавней доверенной контрольной точки, а не обрабатывать всю историю от генезис-блока.

Что такое финализация за один слот?

Это предлагаемая архитектура, при которой блок предлагается и финализируется в пределах одного слота.

Использует ли Ethereum финализацию за один слот?

Нет. По состоянию на июль 2026 года она остается целью будущего развития.

Почему криптовалютные мосты ждут финализации?

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

Защищает ли финализация от кражи кошелька?

Нет. Финализация защищает историю блокчейна, а не приватные ключи, разрешения кошелька, безопасность смарт-контрактов или стоимость инвестиций.

Как узнать, финализирован ли блок?

Можно сравнить блок с транзакцией и последнюю финализированную контрольную точку, указанную надежным обозревателем блокчейна или узлом консенсуса.

Заключение

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

Он работает вместе с механизмами создания блоков и выбора ветви, а не заменяет весь механизм консенсуса.

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

В более широком дизайне консенсуса Ethereum, известном как Gasper, Casper FFG сочетается с LMD-GHOST.

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

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

Механизм утечки при бездействии в Ethereum предназначен для восстановления работоспособности: при продолжительном сбое финализации он уменьшает влияние не участвующего в работе стейка.

Финализация важна для депозитов в криптовалюте, мостов, сетей Layer 2, смарт-контрактов, валидаторов и любых приложений, которым нужно определить, когда ончейн-событие окончательно завершено.

Сейчас финализация Ethereum занимает около 15 минут, а финализация за один слот остается целью будущей разработки.

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