Работа смарт-контрактов: три основных составляющих

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

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

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

Смарт-контракты, как альтернатива нотариусам

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

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

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

Но прежде чем массово внедрять «умные» контракты, нужно доработать все недостатки технологии и оптимизировать платформы, на которых они будут реализованы. Постараемся описать все существующие проблемы, которые стоят перед «умными» договорами в 2017 году.

Функция формальной верификации

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

«Умные» контракты должны реализовываться на языке, который будет открыт для анализа. Чаще всего при создании кода смарт-договора используются функциональные языки программирования. Отдают предпочтение как OCaml и Haskell, вместо Java, C++ и подобных, так как первые позволяют проще создать и формально верифицировать код. Многим программистам проще работать с Javascript, но в этом случае нужно выбирать уровень безопасности, а не степень простоты работы.

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

Прозрачность работы

В 2016 году уже был проведен серьезный эксперимент с платформой The DAO. Она должна была стать инвестиционным онлайн-каналом, который в сжатые сроки успел привлечь около 150 миллионов долларов инвестиций. Вслед за ростом последовало падение, обеспеченное атакой хакеров, которые смогли вывести из системы около 50 миллионов долларов США. Впоследствии специалисты в области безопасности анализировали, каким образом кибермошенникам удалось победить систему защиты, но они, так и не поняли, как работал проект. Ведь общедоступным был исключительно код The DAO на блокчейн, и неизвестно, какой тип кода применен.

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

Понятный механизм управления

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

Уровень безопасности блокчейн зависит от каждого рядового члена сообщества, но распределенные реестры будущего должны иметь четкий механизм управления, которые должны быть предсказуемыми и неизменными. Здесь можно провести аналогию с интернетом – работая в нем, мы должны априори быть уверенными в его надежности и бесперебойности.