Французские математики исправили “ошибку” Сатоши
Парижские исследователи концепции Биткойна, опубликованной Сатоши Накамото в 2008 году, Сирил Групнспен и Рикардо Перез-Марко считают, что белая книга Биткойна содержит несколько неточностей и упрощений.
Французские математики исправили “ошибку” Сатоши В одиннадцатой главе автор утверждает, что “честное большинство” майнеров всегда будет преобладать над “нечестным меньшинством”, что гарантирует необратимость транзакций и снимает проблему двойных трат.
Тем не менее, Сатоши Накамото допустил несколько упрощений, о чем впервые упомянул израильский математик Мени Розенфельд в 2012 году. По его наблюдению, Сатоши упустил из внимания тот факт, что несмотря на то, что майнинг биткойнов – вероятностный процесс, честным майнерам может повезти или не повезти, также как и нечестным.
Этот аспект вероятностности изучили французские математики Сирил Групнспен и Рикардо Перез-Марко и опубликовали статью, в которой “исправили” ошибку Сатоши.
«Сатоши ошибочно полагал, что для нахождения блока честным майнерам требуется столько времени, сколько для этого потребуется в среднем, – говорит Грунспен, – Однако, на самом деле, это грубое упрощение реальности, поскольку время, необходимое для обнаружения блока не детерминировано.
Следовательно, распределение числа блоков, добытых атакующим, на самом деле является так называемым «отрицательным биномиальным распределением». Это не закон Пуассона».
В белой книге указано, что для вычисления степени необратимости транзакции, необходимо два фактора. Первый фактор — это общая мощность хэширования атакующего: чем больше мощностей контролирует атакующий, тем больше транзакции необходимо подтверждений. Второй фактор, влияющий на обратимость транзакции — количество подтверждений: чем больше подтверждений , тем транзакция безопаснее.
Однако Грунспен и Перез-Марко выделяют также третий фактор: отклонения от среднего времени майнинга — «майнерскую удачу». Если майнерам везёт, и они находят блоки быстрее среднего, скорее всего, их цепочка окажется далеко впереди. У атакующего будет меньше времени на скрытый майнинг альтернативной цепочки. С другой стороны, если честным майнерам не везёт, и они находят блоки медленнее обычного, они будут отставать во времени, и у атакующего будет больше времени для майнинга альтернативной цепи.
Математики подтвердили, что основные принципы Биткойна работают, и Биткоин функционирует, как планировалось. Нечестному меньшинству становится всё сложнее обойти честное большинство, поскольку большинство блоков уже добыты.
«В этом документе мы доказываем, что возможность двойных трат экспоненциально сводится к нулю, поскольку большинство честных майнеров находит больше блоков», – говорит Грунспен.
В своем исследовании Грунспен и Перез-Марко рассказывают, почему важно принимать во внимание третий фактор.
«Это интересный факт, который могут использовать продавцы для мониторинга рисков, – говорит Грунспен, – Скажем, перед тем как отправить товары покупателю, продавец всегда ждёт шести подтверждений, поскольку это наиболее комфортабельный для него уровень риска. В среднем это составляет 60 минут. Но иногда нахождения шести блоков приходится ждать около двух часов. В этом случае повышается риск двойной траты. Поэтому для большей безопасности ему придётся ждать седьмого подтверждения. Хотя, если бы подтверждения появлялись быстрее, ему бы вполне хватило и пяти».
Защита от двойных трат — центральная тема для Биткойна, поэтому упрощение в работе Сатоши довольно заметно для математиков.
«Сатоши, — безусловно, гений, – считает Грунспен, – но он не математик».
Источник
19.02.2017, 06:53
