Поскольку Ethereum использует полный по Тьюрингу скриптовый язык, можно математически доказать, что он способен на все, на что может быть способна криптовалюта на основе блокчейна, подобная биткойну. И все же протокол в его нынешнем виде не лишен недостатков. Например, Ethereum не решает фундаментальную проблему масштабируемости всех криптовалют на основе блокчейна: каждый полный узел должен хранить весь баланс и проверять каждую сделку. Ethereum несколько смягчает проблему за счет концепции разделения «дерева состояний» и «списка транзакций», заимствованной у Ripple, но никаких фундаментальных прорывов в этой области он пока предложить не может. Для этого необходима технология вроде Secure Computational Integrity and Privacy (SCIP) Эли Бен-Сассона, которая пока находится в стадии разработки.

Кроме того, Ethereum не предлагает никаких улучшений в области традиционного майнинга proof of work со всеми его недостатками, а возможности proof of excellence и консенсуса в стиле Ripple пока остаются неисследованными. Если выяснится, что proof of stake или какой-либо другой алгоритм proof of work предлагает лучшее решение, то будущие криптовалюты смогут перейти на такие алгоритмы proof of stake, как MC2 и Slasher. Если дело дойдет до Ethereum 2.0, то в первую очередь улучшения произойдут именно в этих областях. В конце концов, проект Ethereum не предполагает конечной цели, и при достаточном финансировании мы сможем запустить Ethereum 2.0 самостоятельно, перенеся балансы с первоначальных счетов в обновленную сеть. Как гласит девиз нашей платформы, мы ограничены лишь воображением.

Многие концепции, которые мы предлагаем в Ethereum, могут показаться совершенно фантастическими, а иногда даже жуткими. Одна из них – так называемые смарт-контракты, которые исполняются самостоятельно, без необходимости или даже без возможности человеческого вмешательства. Роль человека ограничивается тем, что он создает напоминающие Скайнет «децентрализованные автономные организации», которые полностью существуют в облаке и управляют мощными финансовыми ресурсами. Такие виртуальные контракты могут сподвигнуть людей на вполне реальные действия в физическом мире – например, на создание децентрализованной «правовой системы на основе математики» или на реализацию утопической на первый взгляд модели общества, которая не строится на доверии к централизованным институтам. Неосведомленному пользователю, особенно если он не слышал даже о старом добром биткойне, трудно вообразить, как такое возможно и для чего это нужно. В этой серии статей мы разберем основные концепции Ethereum, объясним их значение, обсудим свойства, преимущества и недостатки.

Первую статью серии мы посвятим так называемым смарт-контрактам. Сама идея смарт-контрактов витала в воздухе несколько десятилетий, но свое современное имя и концептуальные очертания приобрела в 2005 году, когда Ник Сабо представил ее вниманию заинтересованной в криптографии публики. Суть термина очень проста: смарт-контракт – это контракт, который исполняется без постороннего вмешательства. Другими словами, если обычный контракт – это лист бумаги (или PDF-документ) с текстом, согласно которому одна сторона должна отправить деньги (или другую собственность) другой стороне при соблюдении определенных условий, то смарт-контракт – это компьютерная программа, которая сама автоматически выполняет эти условия. Ник Сабо использовал пример с вендинговыми автоматами:

В смарт-контрактах тот же принцип применяется для, скажем так, самых широких задач. Например, финансовые смарт-контракты могут автоматически перемещать деньги на основании заданных формул и условий; смарт-контракт на продажу доменного имени может автоматически отдать его первому, кто заплатит за него $200; возможны даже страховые смарт-контракты, которые контролируют банковские счета и автоматически осуществляют выплаты на основании данных о событиях в реальном мире из надежного источника (или источников).

Здесь, однако, возникает очевидный вопрос: как эти контракты будут исполняться? Традиционный контракт не стоит и цены листа бумаги, на котором он написан, пока, например, судья, обладающий законной властью, не гарантирует его исполнение. Со смарт-контрактами все то же самое: чтобы возыметь силу, они должны быть «встроены» в какую-то систему. Самое старое и очевидное решение – специальное оборудование, известное также как «умная собственность». Вендинговый автомат Ника Сабо – хороший пример такого решения. Ведь внутри автомата находится, можно сказать, протосмарт-контракт с примерно таким компьютерным кодом:

Этот контракт имеет четыре привязки к внешнему миру: входные переменные button_pressed (нажать кнопку) и money_inserted (вставить деньги) и выходные команды release (выдать) и return_change (вернуть сдачу). В разных автоматах эти функции могут быть реализованы по-разному, но на первой мы останавливаться не будем, поскольку нажатие кнопки – задача несложная. Попытка выполнить этот контракт на Android-смартфоне образца 2007 года ни к чему бы не привела: он не сможет узнать, сколько денег внес покупатель, и уж точно не выдаст сдачу и бутылку колы. А вот в вендинговом автомате этот контракт приобретает «силу» за счет запасов колы и физической защиты, которая не позволяет взять напиток просто так, без соблюдения условий контракта.