Pages:
Author

Topic: Асикостойкий алгоритм PoW - page 15. (Read 6270 times)

full member
Activity: 411
Merit: 139
sr. member
Activity: 770
Merit: 305
Где вы видите распределенные вычисления в биткоине или эфириуме?
Ну а по-вашему перевод Алисы Бобу - это не не распределенное вычисление?
Допустим, прервалась связь между Европой и Америкой.
Алиса находится в Америке. Она на всю свою биткойн-котлету покупает чего-нибудь.
Майнеры оставшиеся в Америке подтверждают эту транзакцию.
Одновременно с этим сестра Алисы гостящая в Европе и имеющая тоже приватный
ключ - те же самые биткойны тратит в Европе. Европейские/азиатские майнеры
подтверждают эту транзакцию.
Когда связь восстановится - одна из транзакций сестер окажется в орфане. То есть сестры
совершили атаку дабл-спендинга. Система оказалась неустойчива к разделению.

Я говорю сейчас не о том, что такая ситуация невозможна на практике, потому что
каналы связи сейчас надежные. А о том, что это именно CAP-теорема.
full member
Activity: 411
Merit: 139
В принципе, я согласен, что это можно считать решением (вернее сказать опровержением)
CAP-теоремы на некий промежуток времени и для определенных условий. Но если какие-то
принципы допустимы только для определенных условий и на ограниченное время - это
все-таки не контр-пример.

А с чего вы решили что эта теорема имеет отношение к блокчейну?
Quote
Теорема CAP (известная также как теорема Брюера) — эвристическое утверждение о том, что в любой реализации распределённых вычислений...
Смотрим, далее:
Quote
Распределённые вычисления — способ решения трудоёмких вычислительных задач с использованием нескольких компьютеров, чаще всего объединённых в параллельную вычислительную систему...  Особенностью распределённых многопроцессорных вычислительных систем, в отличие от локальных суперкомпьютеров, является возможность неограниченного наращивания производительности за счёт масштабирования

Где вы видите распределенные вычисления в биткоине или эфириуме?
sr. member
Activity: 770
Merit: 305
А почему блокчейн биткоина не может являться контрпримером? После примерно
6 подтверждений, можно говорить, что все пункты выполняются:
Очень хороший вопрос.

Потому что здесь присутствует еще некая заинтересованная сторона, которая называется "майнеры"
И доказательство теоремы вы у этой стороны покупаете.
То есть сам блокчейн, например testnet не даст вам таких же результатов,
только потому что там койны ничего не стоят и по сути дела никто не платит.

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

В принципе, я согласен, что это можно считать решением (вернее сказать опровержением)
CAP-теоремы на некий промежуток времени и для определенных условий. Но если какие-то
принципы допустимы только для определенных условий и на ограниченное время - это
все-таки не контр-пример.
full member
Activity: 411
Merit: 139
В принципе, я всем, кто интересуется биткойном, рекомендую проштудитровать Теорему CAP (там совсем немного текста)
...
Мы не видим ни одного контр-примера.

А почему блокчейн биткоина не может являться контрпримером? После примерно 6 подтверждений, можно говорить, что все пункты выполняются:
Quote
согласованность данных (англ. consistency) — во всех вычислительных узлах в один момент времени данные не противоречат друг другу;
доступность (англ. availability) — любой запрос к распределённой системе завершается корректным откликом, однако без гарантии, что ответы всех узлов системы совпадают;
устойчивость к разделению (англ. partition tolerance) — расщепление распределённой системы на несколько изолированных секций не приводит к некорректности отклика от каждой из секций.


P.S.
Но нужно понимать что теорема про "Распределённые вычисления", а блокчейн это немного другое...
sr. member
Activity: 770
Merit: 305
Я и не собираюсь, это была ирония про PoS.

Ну я имел в виду не то, чтобы вы доказывали. Просто вы просите в некотором
роде невозможную вещь. И на основании того, что никто вам не возразит, постулируете
правоту собственной точки зрения.

Quote
Что касается математических доказательств: если вы погуглите фразу "Распределенные
алгоритмы", то сможете найти много интересного для себя, например вот эта ссылка:

Слушайте!
Алгоритм - это преобразование информации на ленте машиной Тьюринга.
Либо эквивалентное действие. Никакое другое действие не называется алгоритмом.
То что вы даете ссылку на академические статьи, ничего не дает к тому, что вы сформулировали.

В принципе, я всем, кто интересуется биткойном, рекомендую проштудитровать Теорему CAP (там совсем немного текста)
Знание в принципе будет и просто полезно в отрыве от криптовалют. И то, это только
называется "теоремой", на самом деле так как мы не вводили аксиоматику и не привели доказательств -
это всего лишь эвристическое утверждение. Мы видим, что это так. Мы не видим ни одного контр-примера.
Но доказательства у нас по сути дела нет.
full member
Activity: 411
Merit: 139
sr. member
Activity: 770
Merit: 305
В принципе пора крипте отходить от майнинга
Осталось только математически доказать что алгоритмы типа PoS позволяют достичь объективного консенсуса

Как вы математически это собираетесь доказывать?
Доказать - это вывести из системы аксиом.
Попытайтесь математически доказать, что растения размножаются пестиками и тычинками, а земля круглая.
Консенсус - он либо есть, либо нет. Если есть, то всегда найдется "баба-яга против".
Но факт того, что кому-то консенсус не нравится не говорит о том, что консенсуса нет в принципе.
Консенсус всех семи миллиардов рыл на шарике вы никогда не сможете достичь.
А если одни стописятмиллионов решили пользоваться рублями, а другой мильярд решил
юзать юани - это ли наглядное подтверждение существования консенсуса?
full member
Activity: 411
Merit: 139
В принципе пора крипте отходить от майнинга

Осталось только математически доказать что алгоритмы типа PoS позволяют достичь объективного консенсуса
member
Activity: 209
Merit: 10
В принципе пора крипте отходить от майнинга
member
Activity: 280
Merit: 26
Дело не в том что коммутация не прямая, а в избыточном характере нагрузки на промежуточные узлы по-умолчанию.
Дак весь интернет - избыточная нагрузка на промежуточные узлы по-умолчанию, он с этой целью создавался вообще-то, в смысле, надёжность за счёт избыточности.
Quote
Тебе известны какие-то другие решения позволяющие обходиться без централизации и при этом не хранить общее состоние у всех? Нарисуй.
Дык, DHT не хранит общее состояние у всех.
Хотя, как настроишь - можно и у всех полные копии хранить, конечно.
sr. member
Activity: 1316
Merit: 420
KTO EC/\U HUKTO?
member
Activity: 280
Merit: 26
sr. member
Activity: 1316
Merit: 420
KTO EC/\U HUKTO?
member
Activity: 280
Merit: 26
Ну говорю же, ты не понимаешь:
В примере с номерами телефонов такси ты тоже не спрашиваешь всех подряд, а спрашиваешь наиболее близких, но это флуд.
В примере с номерами телефонов такси ты спрашиваешь наиболее близких к услугам такси: 1) тех, кто в такси работает 2) тех, кто такси пользовался 3) тех, у кого в такси работают знакомые или родственники ... и так далее, в порядке убывания приоритетов.
При поиске по хэшу - точно так же, по близости к искомому хэшу.
Аналогично в любом роутере чуть посложнее тупого хаба - хранится таблица маршрутов как до известных узлов, так и до всех остальных, а в сегментированной сети - до группы адресов, находящихся в том или ином сегменте. Никакого "флуда" при этом нет.
sr. member
Activity: 1316
Merit: 420
KTO EC/\U HUKTO?
Клиент отправляет поисковый запрос своим пирам, те отправляют запрос своим пирам и так по пока не придёт хоть какой-то ответ или не будет достигнута заданная глубина поиска.
Ну ты банально не знаешь, как работает DHT.
Запрос отправляется не "своим пирам", а наиболее близким по хэшу (обычно 3-м, да).

Очевидно, что и во всём остальном у тебя примерно такие же "знания". А в блохчейн волшебныеработающиеалхгхоритмы - тупо верования.
И чем они не твои? Если тебе эти пиры известны, то они твои, а если неизвестны, то х*й ты им что отправишь. Я для кого написал что логика у флуда есть? В примере с номерами телефонов такси ты тоже не спрашиваешь всех подряд, а спрашиваешь наиболее близких, но это флуд.
member
Activity: 280
Merit: 26
Клиент отправляет поисковый запрос своим пирам, те отправляют запрос своим пирам и так по пока не придёт хоть какой-то ответ или не будет достигнута заданная глубина поиска.
Ну ты банально не знаешь, как работает DHT.
Запрос отправляется не "своим пирам", а наиболее близким по хэшу (обычно 3-м, да).

Очевидно, что и во всём остальном у тебя примерно такие же "знания". А в блохчейн волшебныеработающиеалхгхоритмы - тупо верования.
sr. member
Activity: 1316
Merit: 420
KTO EC/\U HUKTO?
member
Activity: 280
Merit: 26
sr. member
Activity: 1316
Merit: 420
KTO EC/\U HUKTO?
Pages:
Jump to: