Три вещи, которые нужны смарт-контрактам, прежде чем они наконец смогут заработать

Артур Брейтман — генеральный директор, а Кэтлин Брейтман — главный операционный директор Tezos (Tezos.ком), новая блокчейн-платформа, которая в настоящее время находится в разработке. До основания Tezos Артур работал в Goldman Sachs и Morgan Stanley, где занимал должность вице-президента. Кэтлин была старшим стратегическим партнером блокчейн-консорциума R3.

В этой специальной статье CoinDesk 2016 in Review Брайтманы дают свой обзор текущих проблем, связанных с разработкой смарт-контрактов, выбрав всего три из них, которые, по их мнению, по-прежнему препятствуют их массовому использованию.

Смарт-контракты имеют огромные перспективы стать «убойным приложением» для блокчейнов.

Если вы не знакомы,смарт-контрактэто компьютерная программа, которая автоматически выполняет условия контракта на блокчейне. В принципе, вы можете использовать смарт-контракты для самых разных целей, таких как контракты на беспроводные услуги, аренда квартир и гостиничных номеров, контракты на внештатную работу, автоматизация платежей — везде, где вы захотите исключить посредника.

С более чемАктивы на сумму 17 млрд долларовЕсли говорить только о 10 крупнейших криптовалютах, то в настоящее время существует огромная возможность придать существующим блокчейн-активам дополнительную гибкость и полезность за счет добавления возможностей смарт-контрактов.

Также очевидно, что эта Технологии обеспечивает существенный потенциал роста для традиционных Рынки.

Например, рассмотрим вариант использования внебиржевого (OTC) рынка деривативов, на который приходится $700 трлн условной стоимости в год. Перемещение даже небольшого процента этих сделок на смарт-контракты представляет собой огромную потенциальную экономию.

Однако прежде чем смарт-контракты смогут оправдать свои ожидания, платформы, на которых они реализованы, нуждаются в дальнейшем развитии.

Вот три способа, которыми системы смарт-контрактов могут заслужить наше доверие в 2017 году:

1. Предоставить возможности формальной проверки

Написать код, который работает именно так, как нам нужно, невероятно сложно.

Любое программное обеспечение уязвимо к ошибкам или атакам разного рода, но в случае со смарт-контрактами на кону реальные активы. Нам нужен лучший способ гарантировать, что эти контракты надежны и безопасны. ONE из способов — использовать официальная проверка, математический метод проверки кода для доказательства того, что он будет выполняться так, как задумано.

Смарт-контракты должны быть реализованы на языке, который легко проверить. По этой причине функциональные языки, такие как Haskell и OCaml, лучше подходят для кода смарт-контрактов, чем императивные, такие как C/C++, Java и JavaScript, поскольку их структуру легче рассуждать и формально проверять.

Да, все больше программистов знакомы с JavaScript, но необходимо сместить акцент с простоты использования на безопасность.

Имейте в виду, что формальная проверка имеет некоторые ограничения. Она не полностью автоматическая и все еще требует Human мастерства.

Кроме того, формальная проверка может доказать только те свойства, которые мы действительно думаем проверить; если вы T проверяете нужные вещи, вы все равно можете оставить уязвимости открытыми. Но все же, это шаг в правильном направлении, если реализовано правильно.

2. Обеспечьте прозрачность, чтобы код можно было проверить

ONE из крупнейших экспериментов со смарт-контрактами стал The DAO — виртуальный инвестиционный инструмент, который привлек 150 миллионов долларов, а затем сразу же стал жертвой злоумышленника, который вывел 50 миллионов долларов на свой счет.

Когда исследователи безопасности начали анализировать The DAO, было сложно понять, что же на самом деле делает эта сеть, поскольку в блокчейне был виден только байт-код The DAO (код виртуальной машины), и было непонятно, какая версия исходного кода фактически развертывается.

Код смарт-контракта должен быть прозрачным, без лазеек, чтобы мы точно знали, что подписываем, когда заключаем соглашение, а также чтобы ошибки было легче обнаружить. ONE из способов добиться этого — использовать интерпретируемый язык вместо ONE, чтобы фактический код был виден в блокчейне и его можно было легко проверить.

В противном случае байт-код должен точно соответствовать исходному коду, который его создал, чтобы гарантировать их соответствие. Для этого требуется, чтобы сам компилятор был сертифицирован.

3. Обеспечить четкий механизм управления

Поскольку смарт-контракты хранятся в блокчейне, по определению их код неизменяем — то есть в идеальном мире код T меняется.

Но программное обеспечение никогда не бывает идеальным. Изменения базовой платформы могут и будут происходить, что может повлиять на то, как выполняется код смарт-контракта. То, как данный блокчейн обрабатывает эти изменения, имеет решающее значение для создания доверия к его платформе.

Там, где нет четкой модели управления, нет уверенности, что земля T уйдет внезапно из-под ног. Когда это работает в их пользу, CORE разработчики или те, кто всем заправляет, имеют возможность менять правила игры на полпути.

Конечно, то, насколько уязвим блокчейн к такому виду злоупотребления властью, во многом зависит от его сообщества. Тем не менее, блокчейны будущего должны иметь четкие принципы управления, изложенные с самого начала, чтобы изменения протоколов вносились предсказуемым образом и никто не подвергался большим сюрпризам.

Как только мы разберемся с тонкостями, смарт-контракты начнут применяться и станут основой многих контрактов, которые мы заключаем каждый день, управляя всем: от счетов за электроэнергию до услуг няни для собак и договоренностей с арендодателем — все это происходит за кулисами и через Интернет, облегчая нам жизнь.

И, как и в случае с Интернетом, мы T задумываемся о Технологии, которые за этим стоят, мы просто знаем, что они работают — стабильно и надежно.

Исправление: В более ранней версии этой статьи указывалось, что материнская компания CoinDesk, Digital Currency Group, инвестировала в Tezos. Это было пересмотрено.

Изображение взлета самолетачерез Shutterstock