Как устроены смарт-контракты, какие у них достоинства и недостатки, какие задачи они решают? Ответы на эти и другие вопросы о смарт-контрактах - в партнерском материале Bloomchain и компании Enecuum.
Человеческий фактор в мире денег часто становится причиной серьезных проблем и нарушений, считает криптомиллионер и писатель Джеймс Альтушер. Финансовые отношения, как любовь, касаются только двоих; зрители тут ни к чему. Просто одна сторона отправляет деньги, вторая их получает. А за техническую сторону процесса должны отвечать машины. Они не заинтересованы в личной выгоде и достижении собственных целей, поэтому не представляют опасности для сделки. Соблюдение конфиденциальности — базовое условие совершения транзакций. Как сделать так, чтобы сделка была безопасной и при этом максимально быстрой?
Среди самых перспективных функций технологии блокчейн эксперты неизменно называют смарт-контракты. С их помощью можно обмениваться информацией, заключать соглашения и совершать сделки значительно быстрее и дешевле, чем это происходит сейчас. Чем полезны смарт-контракты и почему они стали объектом пристального внимания венчурного капитала, рассказывает председатель Ассоциации блокчейн-разработчиков Санкт-Петербурга Дмитрий Плахов.
Что такое смарт-контракты?
В 1996 году знаменитый американский программист и криптограф Ник Сабо сформулировал принцип работы смарт-контрактов — компьютерных протоколов для заключения сделок.
В КОНТРАКТАХ ПРОПИСЫВАЮТСЯ УСЛОВИЯ ОБМЕНА АКТИВАМИ МЕЖДУ УЧАСТНИКАМИ СДЕЛКИ. ЕСЛИ СТОРОНЫ ВЫПОЛНЯЮТ СВОИ ОБЯЗАТЕЛЬСТВА, СИСТЕМА АВТОМАТИЧЕСКИ ПРОИЗВОДИТ ОБМЕН. ЕСЛИ НЕТ, КАЖДЫЙ ОСТАЕТСЯ ПРИ СВОЕМ. ВСЕ ПРОИСХОДИТ С ПОМОЩЬЮ МАТЕМАТИЧЕСКИХ АЛГОРИТМОВ, ПОЭТОМУ ОБМАН НЕВОЗМОЖЕН.
Концепция Сабо была практически готовым описанием технологии, которая спустя десять лет покорила мир — смарт-контракты. Но воплотить идею в 1996 году было невозможно: для этого на тот момент просто не существовало необходимых инструментов.
Принципы смарт-контрактов были заложены в блокчейне Bitcoin. Однако протокол первой криптовалюты не был идеальной средой для полноценного развития смарт-контрактов. В блоках Bitcoin разрешалось записывать информацию о самой транзакции, а условия осуществления сделки не добавлялись.
Смарт-контракты получили развитие с появлением платформы Ethereum, которая и сегодня сохраняет свою популярность. Но поиски совершенного блокчейна продолжаются — время показало, что и у Ethereum есть ряд существенных ограничений. В их числе сравнительно низкая скорость обработки транзакций, высокие комиссии, большие расходы на подтверждение операций и другие. Разработчики Enecuum учитывали эти вопросы при создании своего блокчейна, чтобы предложить пользователям оптимальное решение.
Как устроены смарт-контракты
Смарт-контракты («умные контракты») — это исполняемый бинарный код или, проще говоря, программный код. Они предназначены для передачи информации и соблюдения условий сделки ее участниками. С помощью кода все условия записываются в блокчейн, а машинные алгоритмы подтверждают сделку. В итоге информация о сделке оказывается в системе, хранится в отдельном блоке, который уже невозможно изменить.
В процессе могут принимать участие два и более участника. Смарт-контракты обеспечивают соблюдение договоренностей и самостоятельно осуществляют сделку при выполнении этих условий.
НАГЛЯДНЫЙ ПРИМЕР — ПОКУПКА ТОВАРА В ИНТЕРНЕТ-МАГАЗИНЕ. И ПРОДАВЕЦ, И ПОКУПАТЕЛЬ ХОТЯТ ОКАЗАТЬСЯ В ВЫИГРЫШЕ, НО НЕ ДОВЕРЯЮТ ДРУГ ДРУГУ. ПЕРВЫЙ ОПАСАЕТСЯ, ЧТО ПОКУПАТЕЛЬ НЕ ЗАБЕРЕТ ПОКУПКУ ИЛИ НЕ ЗАПЛАТИТ, ВТОРОЙ — ЧТО ПОЛУЧЕННЫЙ ТОВАР НЕ БУДЕТ СООТВЕТСТВОВАТЬ ЗАКАЗУ.
Смарт-контракты позволяют удешевить и облегчить процесс. Например, с помощью кода прописываются условия, при которых одна сторона получит деньги и не отправит заказ впустую, а вторая — ожидаемый товар в надлежащем состоянии. Если оба участника выполнят условия, система автоматически осуществит обмен. Все происходит в электронном виде и без посредников.
Этот же алгоритм поможет и при получении страховки. Человеку не придется упорно доказывать наступление страхового случая: смарт-контракты сверят новую информацию с зафиксированными условиями и совершат выплату. «Умные контракты» также эффективны в сфере недвижимости, логистики, финтеха, платежей и многих других.
Особенности смарт-контрактов
На фоне обычных способов заключения сделок смарт-контракты выделяются благодаря ряду преимуществ:
Безопасность
Смарт-контракты полностью исключают вмешательство сторонних лиц — в отличие от традиционных сделок, при которых стороны обращаются к посреднику. Шифрование данных обеспечивает анонимность процесса.
Быстрота
Ручная обработка документов отнимает много времени и увеличивает сроки выполнения задачи. Смарт-контракты позволяют автоматизировать процесс и экономят драгоценное время.
Надежность
Сегодня активно применяются тьюринг-полные смарт-контракты. Они подвержены ошибкам и уязвимостям. Недавний пример — баг BatchOverFlow в смарт-контрактах блокчейна EOS. Из-за уязвимости несколько криптобирж приостановили операции с токенами стандарта ERC20, в которых использовались эти смарт-контракты.В блокчейне Enecuum применяется неклассическая линейная логика. Это позволяет надежно верифицировать смарт-контракты и исключить возможные ошибки.
Экономия
Смарт-контракты могут сэкономить значительные средства благодаря отсутствию затрат на посредников, снижению транзакционных издержек и возможности сторон сотрудничать на более выгодных условиях. Контракты не требуют расходов на оформление документов, подтверждающих условия заключаемой сделки. В блокчейнах, где используется протокол Proof-Of-Work, сложно заметить экономию, поскольку затраты на создание блоков достаточно велики (и чем шире сеть, тем они больше). В блокчейне Enecuum экономия заметна с первого взгляда. Платформа использует протокол Proof-Of-Activity, который позволяет не так щедро тратить электричество и занимать вычислительные мощности, как это происходит при промышленном майнинге.
Смарт-контракты для бизнеса
Несмотря на описанные преимущества, у смарт-контрактов есть и ряд недостатков: сложность внедрения «умных контрактов» в реальные бизнес-процессы, отсутствие регулирования сектора, нехватка специалистов и, как ни странно, невозможность изменения контракта.
Если участники сделки после создания контракта договорятся о более выгодных условиях или возникнут новые обстоятельства, изменить контракт не удастся. Кроме того, эта особенность делает критичной возможные ошибки в коде или в условиях контракта: из-за них стороны могут безвозвратно потерять огромные деньги. В августе прошлого года ICO-проект REX потерял $1,3 млн из-за ошибки в коде смарт-контракта. Уязвимость в кошельке Parity, созданном на основе «умного контракта», позволила хакерам похитить около $30 млн.
Однако все эти сложности не отпугивают венчурных инвесторов, уже оценивших технологию по достоинству. Блокчейн-сообщество сегодня активно работает над решением этих проблем, и не испытывает недостатка в желающих вложиться в перспективные проекты на ранних стадиях. В этом процессе активно участвуют российские инженеры. Так, технические специалисты компании Enecuum, входящей в Ассоциацию блокчейн-разработчиков Санкт-Петербурга, нашли способ решения многих из сформулированных выше проблем. Во время профильных мероприятий Ассоциации появились многие из тех идей, которые затем были реализованы в конкретных проектах.
В БЛОКЧЕЙНЕ ENECUUM ПОДДЕРЖИВАЮТСЯ ДВА ВИДА «УМНЫХ КОНТРАКТОВ»: «ЛЕГКИЕ» И «ТЯЖЕЛЫЕ». ПЕРВЫЕ СОСТОЯТ ИЗ МАТЕМАТИЧЕСКИХ ФОРМУЛ И ОСНОВАНЫ НА БИЗНЕС-ОРИЕНТИРОВАННОЙ ЛИНЕЙНОЙ ЛОГИКЕ SHARNELL. КАЖДЫЙ СМАРТ-КОНТРАКТ ПРОХОДИТ АВТОМАТИЧЕСКУЮ ПРОВЕРКУ ПЕРЕД ТЕМ, КАК ПОПАДЕТ В БЛОКЧЕЙН. ЭТО СВОДИТ К МИНИМУМУ ВЕРОЯТНОСТЬ ОШИБКИ В КОНТРАКТЕ И ОБЕСПЕЧИВАЕТ КАЧЕСТВЕННО ИНОЙ УРОВЕНЬ БЕЗОПАСНОСТИ.
«Легкие» смарт-контракты отлично подходят для выполнения таких востребованных операций, как multisig (мультиподпись, позволяет совершить сделку только при одобрении двумя или более сторонами), escrow (участие третьей стороны, выступающей гарантом сделки и соблюдения обязательств) и других.
«Тяжелые» смарт-контракты предназначены для решения более сложных задач, например, для обучения нейронных сетей или выполнения научных расчетов. Например, исследовательской компании необходимы мощности для проведения сложных вычислений. Они находят майнера, который согласится выполнить задачу и предоставить свое оборудование. Договоренности фиксируются в смарт-контракте и стороны приступают к работе, не опасаясь недобросовестных действий со стороны друг друга. Стоимость формирует сам рынок: заказчик определяет, сколько готов заплатить, а майнер — сколько стоят его услуги.
Важная особенность смарт-контрактов Enecuum заключается в том, что для их написания используется JavaScript — популярный язык программирования, знакомый большинству специалистов. На платформе Ethereum для этих целей служит специально разработанный язык Solidity, который еще не получил широкого распространения и которым владеют немногие программисты. Таким образом Enecuum решает важную проблему нехватки профессионалов и позволяет создавать смарт-контракты широкому кругу разработчиков. Для крупных компаний это означает существенную экономию денег при внедрении смарт-контрактов.
Также Enecuum сокращает возможные расходы на аудит смарт-контрактов. Сегодня для этих целей порой нанимают отдельные фирмы, а это долго и дорого. Смарт-контракты Enecuum построены на линейной логике, сама архитектура которой не допускает ошибок.
Смарт-контракты пока остаются экспериментальной технологией, не застрахованной от ошибок на 100% и существующей в правовом вакууме. Однако ее перспективы очевидны: она позволяет сохранить конфиденциальность, автоматизировать процессы и исключить человеческий фактор. Смарт-контракты могут существенно сэкономить силы, время и деньги при проведении сделок — поэтому их ценность и востребованность будут только расти.