Разработка Ethereum контракта на языке Solidity

Введение 2
Цель и постановка задачи 3
Обзор блокчейна Ethereum 4
Как формируется цепочка блокчейна 7
Майнинг, или как создаются блоки 9
Выбор операционной системы 10
Пароли аккаунтов 30
Типы уязвимостей контрактов 39
Недостаточная защищенность переводящих средства функций 40
Существующие инструменты поиска уязвимостей 44
Архитектура инструмента 46
Язык Solidity и создание смарт-контракта 47
Создаем аккаунт 49
Заключение 56
Список литературы 57

Весь текст будет доступен после покупки

Блокчейн – технология для поддержания функционирования распределенных полностью реплицированных баз данных. Впервые эта технология была применена в сети криптовалюты Bitcoin. Сеть Bitcoin состоит из аккаунтов, совершающих друг с другом финансовые сделки, называемые транзакциями. Данные обо всех транзакциях специальным образом собираются в блоки, блоки последовательно связаны друг с другом (отсюда термин блокчейн – цепочка блоков). Процесс сбора транзакций в блоки называется майнингом. Цепочка блоков представляет собой базу данных, содержащую информацию обо всех совершенных финансовых сделках. Так как постоянно совершаются новые транзакции, цепочка блоков постоянно обновляется: в конец последовательности добавляются новые блоки, старые при этом не изменяются (что чрезвычайно важно). Каждый аккаунт хранит собственный экземпляр цепочки блоков. Блокчейн-сеть принимает все необходимые меры, чтобы цепочки на всех аккаунтах были одинаковы. Единая централизованная база данных отсутствует, а значит, невозможно фальсифицировать данные в единственном месте так, чтобы ввести этим в заблуждение все аккаунты сети. Кроме того, аккаунты обмениваются между собой данными без участия посредников (peer-to-peer).
В роли аккаунтов в блокчейн-сети могут выступать онлайн-сервисы. Цепочка блоков может хранить данные не только о балансах и переводах денег, но и любые представляющие интерес данные. Эти возможности блокчейн-технологии успешно используются сетью Ethereum. Также как сеть Bitcoin, сеть Ethereum представляет собой множество аккаунтов, обменивающихся между собой информацией в процессе транзакций. Криптовалюта Ethereum предназначена для совершения аккаунтами финансовых сделок. Существуют аккаунты двух видов: внешние и внутренние. Внешние аккаунты не имеют исходного кода, и все решения об их действиях в сети принимаются человеком извне. Внутренние аккаунты иначе называются контрактами или смарт-контрактами. Каждый внутренний аккаунт представляет собой программу, полностью определяющую действия этого аккаунта в сети.

Весь текст будет доступен после покупки

Обзор блокчейна Ethereum
Ethereum – платформа для создания онлайн-сервисов на базе технологии блокчейн. Сеть Ethereum была запущена 30 июля 2015 года. В сети используется специальная валюта – ether, обеспечивающая функционирующим онлайн-сервисам возможность совершать финансовые сделки.
Участники сети Ethereum называются аккаунтами. Аккаунт – единица, имеющая возможность совершать операции, изменяющие состояние сети. Существует два вида аккаунтов: внешние и внутренние. Внешний аккаунт менее формально справедливо можно назвать «аккаунт-человек», так как все действия этого аккаунта инициируются человеком извне. Внутренний аккаунт можно воспринимать как «аккаунт-контракт» – аккаунт, действия которого полностью определяются его исходным кодом. Так, контрактами (а также смарт-контрактами или умными контрактами) называются аккаунты, действия которых определяются исходным кодом. Для наглядности виды аккаунтов представлены на рис. 1.


Рис. 1. Виды аккаунтов

Действия любых аккаунтов могут изменять состояние сети. Состояние сети – это совокупность состояний всех аккаунтов. Состояние аккаунта-человека полностью определяется его балансом (в валюте ether). Состояние контракта определяется его балансом и данными в его хранилище. Хранилище – это база данных типа “ключ-значение”, в которой каждый ключ и каждое значение представлены
32-байтовым числом, и таким образом каждый контракт имеет возможность хранить 2256 значений по 32 байта. Хранилище перманентно, т.е. данные, записанные в него, не теряются после завершения транзакции.
Состояние сети изменяется посредством транзакций (иначе говоря, транзакции – это действия аккаунтов). Транзакция инициируется некоторым аккаунтом и адресуется другому аккаунту. Если транзакция адресована аккаунту-человеку, единственное, что она может осуществить – перевод денег (ether) от инициатора к получателю. Если же транзакция направлена контракту, то она обязательно вызывает исполнение кода контракта. Что касается перевода денег в этом случае, он может быть направлен от инициатора к адресату, а может вовсе не осуществляться.
Так как состояния сети и переходы из одного состояния в другое были только что определены, сеть Ethereum можно рассматривать как конечный автомат, переходы в котором – это транзакции.

Весь текст будет доступен после покупки

[1] DASP – TOP 10. (https://dasp.co /). Просмотрено:
[2] Dennis Peterson. (01.07.2016) Writing Secure Solidity.
(https://www.blunderingcode.com/writing-secure-solidity /). Просмотрено: 2023
[3] Ivica Nikolic, Aashish Kolluri, Ilya Sergey, Prateek Saxena, and Aquinas Hobor. (2018) Finding The Greedy, Prodigal, and Suicidal Contracts at Scale. In Proceedings of the 34th
Annual Computer Security Applications Conference (ACSAC '18). ACM, New York, NY,
USA, 653-663. DOI: https://doi.org/10.1145/3274694.3274743
[4] https://github.com/ConsenSys/mythril-classi c Просмотрено: 2023
[5] https://github.com/ConsenSys/mythril-classic/tree/master/mythril/analysis/module s Просмотрено: 18.05.2019.
[6] https://github.com/comaeio/porosit y Просмотрено: 2023
[7] https://github.com/trailofbits/manticore/releases/tag/0.1. 6 Просмотрено: 2023
[8] https://securify.chainsecurity.com / Просмотрено: 2023
[9] Loi Luu, Duc-Hiep Chu, Hrishi Olickel, Prateek Saxena, and Aquinas Hobor. 2016.
Making Smart Contracts Smarter. In Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security (CCS '16). ACM, New York, NY, USA, 254-269. DOI: https://doi.org/10.1145/2976749.2978309
[10] C.Э.Вельдер, М.А.Лукин, А.А.Шалыто, Б.Р.Яминов. (2011) Верификация автоматных программ. Санкт-Петербург: “Наука”
[11] Basic Spin Manual. (http://spinroot.com/spin/Man/Manual.htm l). Просмотрено: 2023

Весь текст будет доступен после покупки