Я несколько раз прочитал, что доказательство правильности работа решает византийскую проблему генералов. Мне любопытно, как он делает это. Немного Googling поворачивает вверх эту страницу:
https://bitcointalk.org/oldSiteFiles/byzantine.html
Как я понимаю, проблема, описанная на этой странице, что разногласия могут возникнуть у генералов из-за задержки в сети. Каждый раз, когда план транслируется, вероятность тех же разногласий, возникающих уменьшается. (Экспонент, если разногласия обусловлены только случайность.)
Тем не менее, мне не ясно, какую роль корректуры из-работы играет в этой схеме. Мое понимание доказательства правильности работы, по сути, что его цель состоит в том, чтобы предотвратить Сибли атаки, сделав подделки вычислительно слишком дорого, и, конечно, я понимаю, что это очень важно для Bitcoin. Но, мне кажется, что это своего рода вспомогательной задачи: теперь, в дополнение к задержке сети, генералы также столкнулись с врагом, который пытается подделать сообщения.
То, что я пытаюсь выяснить, есть, это доказательство работы также решить проблему задержек сети? Мне кажется, что сцепление плана хэш вместе решает эту проблему - по крайней мере, с практической точки зрения - без необходимости доказательства правильности работы.