Что такое дальняя атака в Proof-of-Stake? И как этот вектор будет смягчен реализацией Casper Proof-of-Stake?
В наивно реализованном доказательстве доли предположим, что есть злоумышленник с 1% всех монет в генезис-блоке или вскоре после него. Затем этот злоумышленник запускает свою собственную цепочку и начинает ее майнинг. Хотя злоумышленник будет выбран для создания блока только в 1% случаев, он может легко создать в 100 раз больше блоков и таким образом просто создать более длинную цепочку блоков.
Каспер 101 :
Это примерно тот же механизм, что и атака 51% (создайте более длинную цепочку, которая перепишет бухгалтерскую книгу в пользу злоумышленника), но вместо того, чтобы начинать атаку на 6 блоков назад, вернитесь намного дальше в историю цепочки (т.е. на 60 000 блоков). Это проблема для PoS, поскольку для перезаписи очень длинной цепочки не требуется доказательства работы (или трудоемкой операции).
Эта проблема и проблема «ничего не поставлено на карту» решаются с помощью идей из слэшера (и его улучшенных вариантов). Основные моменты заключаются в том, что (1) известны валидаторы, которые позволяют приписывать ошибки на уровне валидатора, и (2) наличие «режущих условий», которые сильно лишают стимулов к определенным действиям, позволяет смягчить эти проблемы. Опять же, этот пример имеет решающее значение для понимания точки зрения команды Casper на разработку алгоритма консенсуса: мы можем использовать экономический дизайн механизма для создания защищенной распределенной системы.
крутые джули