Споры между соучредителем криптовалюты 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 «асинхронно наблюдаемым синхронным консенсусом».
