Как andytoshi указывает, все из этих анализов осложняется конкретных допущений модели и, следовательно, различные системы не обязательно непосредственно сопоставимы. Тем не менее, было бы интересно работать в направлении формального доказательства в рамках стандартной модели Bitcoin, которая показывает PoW является единственным способом достижения безопасного консенсуса.

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

Основная проблема с PoS не так называемое ничего на карте. Резак может смягчить это эффективно для его временного диапазона (Виталик любит 3000 блоков), но при условии дальних атак. атаки Дальние могут быть смягчены регистрации, указывающей, поэтому проблема становится одной из безопасной проверки тыканья (скажем, каждые 3000 блоков). Один из подходов будут доказательство правильности работы на основе механизмом чекпойнтинга в остальном полностью корректорская из-пакета системы. Люди PoS, вероятно, не будет, как это, и это может быть очень опасно (я буквально только что думал об этом). Другой подход основан акций чекпойнтинг на цепочках прогрессивно более высокий уровень безопасности (где безопасность эффективно измеряется размер депозитов безопасности, которые должны быть поставлены до иметь право на подписание / контрольных точек). Таким образом, вопрос может быть уменьшен до одного защищенных-контрольных точек на самом безопасной цепи (мы предполагаем здесь в межсети цепей, где более низкие цепях безопасности контрольно-пропускной пункт на более высокие цепях безопасности). Самая высокая цепь безопасности затем блокпосты против реального мира, буквально вещания хэш на Facebook и твиттер и так далее.

Это немного смешно, но есть интересная привлекательность в том, что в приносит консенсус полный круг, встраивая его обратно в реальность. Конечно, это уже является полом встраивается в действительности из-за характер разработки программного обеспечения (клиенты не будут разработаны в соответствии с протоколом, они сделаны людьми, которые делают все возможное, но не являются непогрешимыми).

В любом случае, это будет интересно увидеть это поле играть!

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