Обмен электронных валют по самому выгодному курсу!
 


Kurbetsoft
Доступно в Google PlayТолько доказательство работы обеспечивает консенсус

Mining_Farm_of_Genesis_Mining

Оборудование компании Genesis Mining. Источник: Marco Krohn / Wikimedia Commons

Биткойн-эксперт Олег Андреев доказывает, что только доказательство работы (proof-of-work) позволяет построить децентрализованную систему консенсуса без доверия.

Представьте, что вы сидите в бункере. Вы не имеете понятия, что люди делают наверху и какими целями руководствуются. Вы получаете из внешнего мира сообщения от незнакомцев. Содержимое соощений может быть любым: от произвольного мусора до сообщений, специально составленных, чтобы запутать или обмануть вас. Может быть всякое. Нельзя верить никому.

Проблема «денег», как любого «социального контракта», заключается в том, что каждый должен знать, к какому соглашению пришло большинство, не прибегая к услугам посредника (который может злоупотреблять властью). Если все голосуют за X, вы, сидя в бункере, должны независимо прийти к выводу, что все действительно проголосовали за X, а не за Y и не за Z. Помните: нельзя доверять сообщениям. Но при этом сообщения — это всё, что вы получаете.

Вам в бункер приходит два сообщения: X и Y. Нет доверенного источника, который бы подтвердил, какой вариант поддерживает большинство. Есть только данные сами по себе, и нужно выбрать правильный вариант. Упростим задачу: мы не пытаемся выносить субъективные суждения о вариантах, а просто добиваемся всеобщего соглашения. В случае биткойна это упрощение оправдано: каждый владеет своими деньгами, и вам нет дела до того, какая версия истории признана верной, если ваш баланс сохранен.

В каком смысле X может отличаться от Y так, чтобы мы были уверены, что никто не выбрал Y, Z или W? Первый критерий: данные должны быть свежими. Так мы будем знать, что не застопорились на устаревшей версии истории, тогда как все уже продвинулись вперед. Второй критерий: альтернативное свежее сообщение должно быть невозможно произвести. Если бы это было не так, кто-то мог увидеть альтернативный вариант и принять его. А у вас нет способа оценить, сколько подобных альтернатив существует и сколько людей их приняли (потому что вы сидите в бункере, не можете верить поступающим сообщениям и не знаете, сколько сообщений до вас не дошло).

Что мы подразумеваем под «невозможным»? Это может означать одно из двух: логически невозможно или практически (экономически) невозможно. Если бы произвести альтернативу было невозможно логически, тогда все соглашения можно было бы заранее рассчитать по индукции (это была бы детерминированная цепочка чисел). Такой вариант не сработает, потому что у нас уже должно быть начальное соглашение. Остается требовать практической невозможности. Другими словам, нам нужно следующее:

Сообщение X должно быть доказуемо свежим, а альтернативные сообщения должно быть практически невозможно произвести.

Практическая невозможность может быть выражена в терминах альтернативных издержек: физические ресурсы ограничены, и они должны быть в большей части потрачены на X, а не на Y. Мы должны видеть, что вариант X «перетянул» ресурсы от всех возможных альтернатив. Если бы это было не так, нельзя было бы быть уверенным, хватило бы ли оставшихся ресурсов на Y, или же они не влияют на голосование. Может ли быть такое, что X не привлек большую часть ресурсов, а альтернативы все равно практически невозможны? Это означало бы, что X логически следует из предыдущего состояния системы, а значит, и голосования не требуется.

Подытожим: сообщение X должно быть доказуемо свежим, и на его производство должно быть затрачено много ресурсов — настолько много, что оставшихся ресурсов не хватило бы на производство альтернативного сообщения Y за разумное время. Таким образом, сообщение X должно всегда быть свежим и превосходить по затраченным ресурсам все альтернативы. Мы не может надежно сравнивать «старые» сообщения: Y — это старое сообщение, которое пришло к нам только что, или оно произведено недавно, после того, как освободились ресурсы, затраченные на X?

Из перечисленного логически вытекает следующее: мы должны принимать только сообщение с максимальным объемом затраченной работы (proof-of-work). Доказательство работы должно быть больше любой альтернативы; альтернативы должно быть невозможно произвести за достаточно которкое время. Необходимо постоянно требовать довых доказательств затраченной работы, так ка достигнутый консенсус быстро «портится» по мере того, как растет вероятность появления альтернативного варианта.

Дата-центры с дорогими выскокоспециализированными компьютерами — самый надежный способ достичь консенсуса. Если бы использовались ресурсы общего назначения, труднее было бы показать, что большая часть ресурсов была затрачена на вычисление proof-of-work. Наблюдая за тем, как гигантская работа происходит в очень специфичной, открытой для наблюдения части экономики, мы можем оценить, сколько стоит производство аналогичного сообщения с доказательством работы такой же сложности. В случае биткойн-майнинга, производство альтернативного решения потребовало бы очень дорогой инфраструктуры и сложной цепочки поставки. Для производства альтернативного решения нужно либо переиграть существующие компании, использующие производство чипов, либо строить дата-центры в наиболее выгодных местах планеты (дешевое электричество, холодный климат, быстрое соединение с интернетом).

Если достижение консенсуса без доверия вообще возможно на практике, необходимо использовать схему proof-of-work и дорогой, высокоспециализированной производственной цепочкой. Кроме того, консенсус действителей лишь на короткий период времени, и требует постоянного обновления.

Автор: Олег Андреев
Источник: Nakamoto Institute

Другие статьи на эту тему:

Tip




[vkontakte] [facebook] [twitter] [odnoklassniki] [mail.ru] [livejournal]

Каталог сайтов