Смарт-контракт

Материал из Bitcoin Wiki
Перейти к: навигация, поиск

Смарт контракт (англ.Smart contract, также self-executing contract, blockchain contract, или digital contract)[1] — это электронный алгоритм, предназначенный для автоматизации процесса исполнения контрактов в блокчейн. Основная идея смарт контрактов – исключить расхождение трактовок условий договора заключившими его сторонами.

История создания[править]

Автором идеи смарт контрактов был Ник Сабо, который в своих работах 1996[2]-1997[3] годов предложил использовать компьютерные алгоритмы с пользовательскими интерфейсами для проведения сделок в области электронной коммерции. По задумке автора, описание условий контрактов должно было осуществляться с помощью математических инструментов и языков программирования. На практике идею смарт контрактов впервые реализовал Виталик Бутерин в своем проекте Ethereum (2013).

Основные принципы работы[править]

Реализация идеи Сабо стала возможна с появлением технологии блокчейн, которая обеспечивает достоверность и защиту смарт контракта в силу своих свойств:

  • Децентрализованный тип системы. Ни одна из сторон контракта не может изменить текст документа, поскольку копия договора хранится в реестре, распределенном между многими узлами сети.
  • Открытые базы данных. Условия контракта доступны всем участникам блокчейн - упрощается аудит исполнения контрактов.
  • Формализация условий контракта. Проверка и выполнение условий договора осуществляется программным кодом (if-this-then-that (IFTTT))[4], поэтому исключается возможность неправильного исполнения договора.
  • Атомарные операции.[5] Контракт либо будет успешно реализован, либо не выполнится вовсе.
  • Полнота по Тьюрингу. Блокчейн, представленный в Ethereum, имеет встроенный Тьюринг-полный язык программирования, благодаря которому пользователи сами могут создавать любые контракты.

Исполнение смарт-контракта[править]

В Ethereum код смарт контрактов исполняются в определенной среде - виртуальной машине Ethereum (EVM). Каждый узел сети проводит верификацию нового блока, проходя через транзакции, включенные в этот блок, и реализуя инициируемые этими транзакциями код в EVM[6].

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

Безопасность и уязвимости[править]

Смарт контракты в Ethereum уязвимы к хакерским атакам по ряду причин.

1. Ошибки использования языка Solidity

  • Семантика языка Solidity. Контракты создаются на языке программирования Solidity, напоминающий Java, и представляют собой набор функций. Однако байт-код виртуальной машины Ethereum не поддерживает работу с функциями, поэтому перед отправкой в блокчейн контракты компилируются. Одна опечатка в строке кода контракта может привести к реализации функции fallback.
  • Неправильный порядок исключений. Для реализации смарт контракта может понадобиться прерывание работы его метода - исключение. Если исключение возникает во время выполнения команды call, то исполнение контрактов будет продолжаться, пока не закончится газ.
  • Реентерабельность. Одни и те же инструкции программы могут быть введены несколько раз, например, через функцию fallback, что приведет к циклу в вызове метода call и расходованию всего газа. Атака на DAO была построена по этому типу[7].

2. Ошибки работы виртуальной машины Ethereum

  • Неизменность контрактов. Контракт, опубликованный на блокчейн, невозможно изменить. Если контракт содержит баг, то исправить его невозможно, можно лишь прекратить исполнение контракта. Ярким примером может послужить устранение последствий атаки на DAO[8].
  • Потери эфира при переводе. Чтобы отправить эфир, необходимо указать адрес принимающей стороны, который представляет собой последовательность из 160 битов. Если предоставленный адрес не привязан к пользователю или контракту, то оправленный эфир будет утерян навсегда.

3. Ошибки в блокчейн

  • Состояние контракта. Часть транзакций смарт контракта, попавшая в короткую цепь ответвления, не будет реализована. Соответственно на время статус контракта не будет однозначно определен. Одна из сторон контракта может считать, что контракт был исполнен, хотя этого не произошло.
  • Временные ограничения. На определение состояния контракта требуется время (см предыдущий пункт), что делает его уязвимым для атак.

Крупные случаи мошенничества[править]

В июле 2016 года была проведена атака на DAO, в результате которой хакеру удалось перевести на баланс созданного им контракта свыше $64 млн[9]. Для атаки использовалось свойство реентабельности: в рамках одной транзакции хакер снимал средства DAO и переводил эфиры в их дочернее DAO, многократно повторяя операцию[10].


См. также[править]

Примечания[править]

  1. http://www.blockchaintechnologies.com/blockchain-smart-contracts
  2. Szabo N. Smart contracts: building blocks for digital markets //URL: http://www. alamut. com/subj/economics/nick_szabo/smartContracts. html (Letzter Abruf vom 31.10. 2016). 1996.
  3. Szabo N. //URL: http://firstmonday.org/ojs/index.php/fm/article/view/548/469 1997
  4. Dannen C. Bridging the Blockchain Knowledge Gap //Introducing Ethereum and Solidity. Apress, 2017. С. 1-20.
  5. Back A. et al. Enabling blockchain innovations with pegged sidechains //URL: http://www.opensciencereview. com/papers/123/enablingblockchain-innovations-with-pegged-sidechains. 2014.
  6. Delmolino K. et al. Step by step towards creating a safe smart contract: Lessons and insights from a cryptocurrency lab //International Conference on Financial Cryptography and Data Security. – Springer Berlin Heidelberg, 2016. – С. 79-94.
  7. Atzei N., Bartoletti M., Cimoli T. A Survey of Attacks on Ethereum Smart Contracts (SoK) //International Conference on Principles of Security and Trust. – Springer, Berlin, Heidelberg, 2017. – С. 164-186.
  8. https://forklog.com/uroki-dao-kuda-privodyat-mechty/
  9. Velner Y., Teutsch J., Luu L. Smart Contracts Make Bitcoin Mining Pools Vulnerable //IACR Cryptology ePrint Archive. – 2017. – Т. 2017. – С. 230.
  10. http://www.cbc.ca/news/technology/ethereum-hack-blockchain-fork-bitcoin-1.3719009