Введение
Это очень неформально доказательство, потому что я хотел, чтобы быть читаемыми, насколько это возможно для большинства читателей. Я надеюсь, что это будет, наконец, показать, почему Доказательство кола (Pos) не является жизнеспособной конструкция консенсуса.
Эта специфическая атака называется «ключи от прошлого», или «история атаки» и является эндемичным для дизайна PoS.
Краткое повторение Доказательство коле
PoS требует таможенного пакет для того, чтобы генерировать блок. Чем больше связан пакет, тем выше вероятность того, вы можете создать блок и эта вероятность является линейной в костре, а также является постоянным в течение любого периода времени. Вполне возможно, для держателя контрольного пакета акций, чтобы иметь 100% вероятность генерирования каждого блока с; это что-то вроде 33% всех акций. Атака работает так:
Атака
1. Атакующий одновременно покупает большинство старых Кернеры закрытых ключей, которые были совсем недавно, используемый для акций с и теперь пусты, и как такой бесполезный для продавца (s)
2. Он использует эти исторические ключи для создания новой цепи истории, начиная непосредственно перед ключами опустели, и которое уже в кумулятивной сложности, чем каноническая цепь. Он может сделать это в первый раз с 100% вероятностью, так как он имеет большую историческую карту
3. Он может либо украсть монеты обратно к себе и продолжать, или может привести всю цепь к полной остановке, исключив все сделки.
мотивация
Принимая массированную краткость на бирже, прежде чем он осуществляет эту атаку, он может сделать его еще более выгодным. Он также может содержать цепь на выкуп за счет исключения операций по собственному желанию, или за счет взимания дополнительных сборов, чтобы включить их.
смягчающих
Он даже не имеет значения, если сама цепь имеет предел глубины REORG, потому что вполне возможно, что он может генерировать эту новую историю под пределом глубины Reorg. Даже если он не может, это не имеет значения, потому что все синхронизируются узлы будут уязвимы для принятия его поддельную истории как подлинные и так как олицетворения общего узла сети имеет ~ 0 стоимости, он может выдавать себя большинство узлов таким образом, что любой узел синхронизации запрашивая случайным образом, найти его поддельные узлы с фальшивой историей. Учитывая достаточно времени, его история становится канонической.
Checkpoints
Единственное смягчением для этой атаки является обеспечение контрольно-пропускных пунктов из некоторых надежного расположения. На данный момент, валюта полностью перестало быть децентрализована, так как результат консенсуса сводится к консенсусу одного, который является таким же, как не имеющим консенсуса вообще. Это полная противоположность децентрализации.
Вывод
Стоимость этой атаки является очень низким, так как пустые закрытые ключи не имеют никакой ценности. Все цепи PoS уязвимы для этой атаки, поскольку стоимость производства блоков близка к нулю, что является главной причиной этого является возможным. Предельная глубина REORG неэффективен при предотвращении этой атаки по причинам, описанным.
Checkpoints полностью не быть децентрализованными или ненадежными каким-либо образом; сеть узлов сводится к простым ведомых репликации базы данных в системе с гораздо более высокой стоимости и неудобства, снижение производительности и тот же уровень безопасности, как централизованной службы.