Источник: Freedman Club
Споры между соучредителем криптовалюты Ethereum Виталиком Бутериным и Карлосом Чарльзом Хоскинсоном продолжается уже довольно давно.
Они начались после того, как Виталик Бутерин раскритиковал протокол криптовалюты Cardano Ouroboros в прошлом месяце. 16 августа Бутерин ответил на последнее опровержение Хоскинсона, подтвердив, что дебаты все еще продолжаются.
Бутерин ответил на два основных заявления, сделанных Чарльзом Хоскинсоном:
«Синхронные протоколы типизируются с помощью структуры на основе цикла, с заданной верхней границей сетевой задержки».
«Такой протокол не может работать, если любой игрок внезапно испытывает сетевые задержки за пределами верхней границы».
Хотя Бутерин соглашается с первым пунктом Хоскинсона, он не согласен со вторым. Он сказал:
«В любом 50% отказоустойчивом синхронном протоколе, если 20% узлов начинают испытывать задержки, то у вас все еще есть отказоустойчивость на 30%».
Виталик Бутерин также задал вопросы Хоскинсону:
«Если игрок H получает высокую сетевую задержку, то он не может получить надежное представление о консенсусе?».
Затем Бутерин утверждает:
«Это определенно верно для алгоритмов типа «99% отказоустойчивости», хотя и не верно для типа «50% отказоустойчивости», включая PoS и даже простого наложения, где в конце каждого раунда каждый активный участник публикует то, что, по их мнению, является результатом консенсуса, и каждый принимает результат большинства».
Виталик Бутерин считает, что вышеупомянутое не похоже на частично синхронный консенсус. Частично синхронный консенсус продолжает работать, даже если латентность всех узлов движется произвольно высоко, «пока в какой-то момент она перестает расти», — сказал он.
Он обвинил IOHK в том, что платформа допустила ошибку в своей статье, отметив, что Ouroboros и Casper определенным образом похожи. Основатель Ethereum заявляет:
«Я считаю, что в статье в блоге IOHK была допущена ошибка, подразумевая, что окончательный характер Ouroboros и семейства Casper аналогичны.
Однако, в первом случае, все зависит от латентности, тогда как последний оказался устойчивым при асинхронности».
Бутерин закончил свой пост, согласившись с Хоскинсоном. Он заявил, что Ouroboros сильнее, чем Byzantine consensus, где все честные узлы должны иметь привязку к сетевой латентности.
Однако он также заверил, что он определенно слабее, чем частичная синхронизация.
Бутерин привел примеры частичной синхронизации, определенные Dwork, Lynch, Stockmeyer.
Наконец, назвав Ouroboros «асинхронно наблюдаемым синхронным консенсусом».
Самые актуальные новости - в 
