Post
Topic
Board Кодеры
Re: Асикостойкий алгоритм PoW
by
fxpc
on 12/03/2018, 08:25:31 UTC

В принципе, я всем, кто интересуется биткойном, рекомендую проштудитровать Теорему CAP (там совсем немного текста)
Знание в принципе будет и просто полезно в отрыве от криптовалют. И то, это только
называется "теоремой", на самом деле так как мы не вводили аксиоматику и не привели доказательств -
это всего лишь эвристическое утверждение. Мы видим, что это так. Мы не видим ни одного контр-примера.
Но доказательства у нас по сути дела нет.


Подобное утверждение, наверное, следует назвать гипотезой, а не теоремой.
Хотя по отношению к криптовалютам оно справедливо.
Это ещё почему? Гипотеза это предположение не имеющее доказательств. У САР теоремы обоснования, они же доказательства, имеются, а вот опровержение теоремы в виде абстракции архитектуры обладающей всеми тремя свойствами одновременно как раз отсутствует.

обоснования, они же доказательства (Huh)
Были подобраны системы, для которых это утверждение справедливо. Но это еще не доказательство.
Подбери системы для которых оно несправедливо. Кто запрещает? Уверен тебе даже премию дадут за вклад в развитие ПО.