пусть есть блок Б для которого какой-то участник для себя как-то решил что Б финазирован, и некоторый злой пул хочет перепистаь этот блок. При оптимальной стратегии у них есть некоторый шанс это сделать (убедить остальную сеть что Б не на каноничной цепи). кажется что selfish mining никак не помогает увеличить этот шанс
Конкретный instance: пусть есть блок Б поверх которого есть 10 блоков, и нет видимых форков. Пусть есть гипотетический я который считает что 10 блоков достаточно для finality. Утверждается что selfish и не selfish adversaries имеют одинаковую вероятность переписать этот блок
кажется что safety — это свойство консенсуса которое утверждает что если некоторый блок финализирован, то не может в будущем оказаться что он не финализирован?
кажется что safety — это свойство консенсуса которое утверждает что если некоторый блок финализирован, то не может в будущем оказаться что он не финализирован?
ну да. в биткоине финализированный блок это тот, после которого появился чекпоинт. Это случается несколько раз в год, поэтому можно представить что там означает safety
Вообще я не знаю как сейчас, но в 2014 чекпоинты вообще не были описаны в биткоин вики. То есть люди которые анализировали протокол чисто по вики, получали очень странные, если не сказать необычные результаты
С другой стороны, люди анализировавшие код и выяснившие что достаточно послать через Тор-экзит 50 байт какой то фигни, чтобы вообще отсоединить биткоин от Тора, получали необычные комментарии от тех, кто ограничился сатошным пейпером