Zeppelin OS — еще один шаг к безопасным смарт-контрактам

Ethereum сейчас одна из самых популярных платформ для создания децентрализованных приложений, которая активно развивается. Одно из новшеств Zeppelin мы сегодня попробуем своими руками. А для тех кто в «танке», Zeppelin — это компания, занимающаяся разработкой и проверкой безопасности смарт-контрактов. Библиотека смарт-контрактов OpenZeppelin их самый известный продукт. 


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

Какой такой zeppelin OS?

Zeppelin OS — это open source платформа, состоящая из инструментов и сервисов над EVM, предназначенная разработки и управления децентрализованными приложениями. 

Команда Zeppelin выделила четыре наиболее важные компоненты, часть из которых уже реализована и доступна для использования.

• Zeppelin OS Kernel — обновляемое и управляемое сообществом «ядро» платформы. Состоит из набора библиотек в блокчейне, которые разработчики могут подключить к своим проектам. Первопроходцем стал OpenZeppelin, который уже доступен для использования. 
  
• Zeppelin OS Scheduler позволит контрактам запрашивать асинхронное исполнение функции, а также даст возможность любому участнику оплачивать расходы по газу, получая за это вознаграждение.
  
• Zeppelin OS Marketplace — важная составляющая взаимодействия между контрактами и приложениями, своего рода App Store / Google Play для блокчейна. Позволит использовать другие сервисы для создания более сложных приложений.
  
• Zeppelin OS off-chain tools — набор инструментов для работы и анализа децентрализованных приложений
  

Время пробовать самим!

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

Всю документацию Zeppelin OS можно посмотреть тут . Для начала нужно установить zos: 

npm install --global zos

Теперь создадим директорию проекта и все необходимое для него:

mkdir zostest && cd zostest
npm init
zos init zostest

После чего будут созданы все необходимые конфигурационные файлы, так что теперь можно переходить к написанию контрактов. В качестве тестового контракта давайте напишем небольшое «хранилище переменных»:

pragma solidity 0.4.24; import "zos-lib/contracts/migrations/Migratable.sol";  contract SimpleStorage is Migratable{     uint storedData; 	     function initialize(uint256 _x) isInitializer("SimpleStorage", "0") public {    	         storedData = _x;	     }      function get() public constant returns (uint) {         return storedData;     } }

Компилируем и добавляем наш контракт:

zos add SimpleStorage




Запускаем тестовую сеть (в отдельном терминале):

npx ganache-cli --port 9545

Пушим в нашу локальную сеть, при этом создается новый конфигурационный файл
 zos.local.json:

zos push -- network local


Дело за малым, осталось создать наш обновляемый контракт, попутно запустить initialize()
 с аргументом 88 для нашего «хранилища»:

zos create SimpleStorage -- init initialize -- args 88 -- network local



Теперь попробуем добавить функцию увеличения переменной в «хранилище», например, такую:

pragma solidity 0.4.24; import "zos-lib/contracts/migrations/Migratable.sol";  contract SimpleStorage is Migratable{     uint storedData;  function initialize(uint256 _x) isInitializer("SimpleStorage", "0") public {  	 storedData = _x;	 } 	 function incrementStorage(uint256 _x) public{	 storedData += _x;	 }     function get() public constant returns (uint) {         return storedData;     } }

После чего надо обновить контракт в сети:

zos push -- network local



zos update SimpleStorage --network local



Теперь можно посмотреть, что же вышло. Для этого воспользуемся truffle console:

npx truffle console -- network=local
truffle(local)> sS = SimpleStorage.at(<proxy-address>)

А <proxy-address> можно посмотреть в zos.local.json
 в соответствующей графе, и проверим, что там у нас лежит в «хранилище» и можем ли мы увеличивать переменную:



Все работает здорово, есть много возможностей для тестирования контрактов. Я бы сказал, что Zeppelin OS можно использовать, как инструмент разработки точно. 

Что же мы наделали?

Мы проверили, что с помощью Zeppelin OS можно деплоить, обновлять, компилировать и тестировать контракты. Кажется, это отличный инструмент для тех, кому нравится работать с командной строкой, а от Remix в браузере бросает в дрожь. Плюс можно рекомендовать начать знакомство с Solidity и смарт-контрактами именно с этого проекта.