Вы находитесь на странице: 1из 27

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

«Мост» в цифровую экономику


Цифровая Криптография Модель
План работ экономика в СК Договора vs СК договоров для СК Приложение 1 Приложение 2

Оглавление

• Выводы
• Цифровая экономика
• Криптография и смарт-контракты
• Договора vs. смарт-контракты
• Моделирование договоров для смарт-контрактов
• Приложение 1. Модели договоров
• Приложение 2. Смарт-контракты

Примечание:

Примечание: 12
Цифровая Криптография Модель
План работ экономика в СК Договора vs СК договоров для СК Приложение 1 Приложение 2

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

• механизмов взаимодействия со сложившейся коммерческой и государственной IT-инфраструктурой,


позволяющие:
• связать изменение состояния смарт-контракта и банковские транзакции, в т.ч., переводы со счёта на счёт
• изменить состояние смарт-контракта по событию в промышленных системах регистрации и учёта
(сканеры товаров и т.п.)

• технической, эксплуатационной и рабочей документации на все программно-аппаратные решения

• нормативно-правового обеспечения создаваемой цифровой экономики, в т.ч., придающие правовой статус


транзакции, записанной в блокчейне
• например, типовой публичный договор с неограниченным числом сторон, о признании информации,
полученной из блокчейна посредством определённой процедуры, легитимной и имеющей силу и
последствия бумажного договора

• комплекса требований к организационно-техническим мероприятиям по обеспечению безопасности


участников цифровой экономики

Примечание:

Примечание: 13
Цифровая Криптография Модель
План работ экономика в СК Договора vs СК договоров для СК Приложение 1 Приложение 2

Предполагаемый план работ


Разработка архитектуры и технико-функциональных требований под нашим функциональным
1 контролем

Разработка заданий на функционал параллельных транзакций вызова смарт-контрактов и банковских


2 транзакций. Разработка заданий на функционал приложений, фиксирующих события, отражаемых в
блокчейне (вызов смарт-контрактов)

Разработка концептуальных моделей гражданско-правовых отношений. Создание транслятора


3 моделей в смарт-контракт. Формирование (уточнение) требований к языку (функционалу) смарт-
контракта

Разработка криптопротоколов информационного взаимодействия субъектов при составлении смарт-


4
контрактов. Старт работ по созданию реализации. Разработка организационных процедур

Разработка моделей бизнес-инструментария для участников цифровой экономики. Старт работ по


5
созданию приложений, реализующих данный функционал

Примечание:

Примечание: 14
Цифровая Криптография Модель
План работ экономика в СК Договора vs СК договоров для СК Приложение 1 Приложение 2

Преимущества идеальной цифровой экономики

«Нулевые» затраты на рекламу, маркетинг, договорные отношения:


• предложения размещаются в РаБД и доступны всем
• рыночные показатели обновляются автоматически для всех
• спрос на товары и услуги глобальный
• кредитная история формируется для всех автоматически
• договора заключаются автоматически (при согласованных структуре и алгоритме определения условий)

Потому что все «видят» всех и никто не может написать свою «историю».

Но!
Должна сохраняться коммерческая тайна
Публичным является только публикуемое

Снижение транзакционных издержек и OPEX:


• Автоматизация исполнения взаимообусловленных действий
• Снижение трат на «бумажную» бухгалтерию
• Устранение юридического обслуживания типовых договоров
• …

Примечание: 15
Цифровая Криптография Модель
План работ экономика в СК Договора vs СК договоров для СК Приложение 1 Приложение 2

Архитектура цифровой экономики (схема)

Генератор
смартконтрактов Распределённые вычисления

Шаблоны
Правила
Криптопроцедуры Scripts
UIs, APIs
dApps, scripts
Ivents

Реестр IoT Scripts


UIs, APIs
Блокчейн
middleware
Смартконтракт UIs
Блок Блок Блок
0x0004AC... 0x0001A5... 0x000346... dApps
0x000EB2... 0x0004AC... 0x0001A5...

APIs
API blockchain UI with SQL
middleware
Отраслевая API blockchain
платформа Smartcontracts
******
Примечание:

Validator
Распределённая база данных

Примечание: 16
Цифровая Криптография Модель
План работ экономика в СК Договора vs СК договоров для СК Приложение 1 Приложение 2

Архитектура сети цифровых экономических субъектов (схема)


Узел

Узлом может являться:


• компьютер
• сервер
• мобильное приложение

Узел может выполнять функции:

блокчейна

распределённой базы

распределённого вычисления

Примечание: 17
Цифровая Криптография Модель
План работ экономика в СК Договора vs СК договоров для СК Приложение 1 Приложение 2

Схема процедуры создания и подписания смарт-контракта


1 Пользователи (адреса)
договариваются о своих
###### ###### ролях

Формируется структура Требуется криптопротокол: факты о


2 достигнутой договорённости известны
смарт-контракта(-ов)
только сторонам

3 Согласуется структура
смарт-контракта(-ов)
###### ######

₽ Согласуются и фиксируются Требуется криптопротокол: условия


4 договора известны только сторонам,
t содержательные атрибуты
(деньги, сроки) стороны не могут отказаться от своей
подписи, стороны уверены, что
одновременно подписаны
5 Подписание смарт-
всесторонне согласованные условия.
контракта
###### ######

Стороны, вообще говоря, не доверяют друг другу.


Конфиденциальность обмена информацией и невозможность использовать
информацию, полученную в ходе обмена, обеспечивают криптопротоколы и
сервисы платформы, обеспечивающей информационное взаимодействие

Примечание: 18
Цифровая Криптография Модель
План работ экономика в СК Договора vs СК договоров для СК Приложение 1 Приложение 2

Роль криптографии. Пример заключения контракта


с возможностью арбитража (схема)
Раздача ключей Выбор арбитра и шифрование цифровой Генерация смарт-контракта, хранение
метки цифрового слепка и зашифрованных условий

offline offline

CA CA
Private A Private B p
l
a
t
Open A Open B f
o
Согласование условий и подписание r
договора m
конфиденциальность ? ?
A B

p Выбор арбитра
l
B A
= a = p
t l Smart contract
f Протокол
a случайного выбора
o t
r f хэш Распределенная
m o Блокчейн база данных
r
одновременность подписания m
Подтверждение совпадения условий Любые 2 ключа Аутентичность хранящихся в распределённой БД
Договор с открывают секрет данных подтверждает хэш, хранящийся в блокчейне.
подписями обеих (хэш) для Сторона может подтвердить аутентичность своей
сторон и доказательства копии двустороннего договора только вскрыв секрет
временной меткой подлинности «2 из 3» с хэшем условий договора

Примечание: 110
Цифровая Криптография Модель
План работ экономика в СК Договора vs СК договоров для СК Приложение 1 Приложение 2

Общие сервисы платформы, реализованные на зашифрованных


условиях контрактов, хранимых в БД (схема)
Свойства хранимых условий контрактов: Дополнительные сервисы блокчейн-платформы:
Структурированность Оценка условий контракта без его раскрытия

o Объём сделок, закрываемых в этом месяце


o …
Условия o …
Решение сторон

Не шифруются Шифруются безусловно


Передача прав и обязательств через подписание другого контракта
Для вычислений без раскрытия значений
Согласованность со всеми сторонами Например, договор цессии. Возможность переуступки — свойство контракта.

Автоматическое перемещение обязательств

и прав сторон
Договор_2
Договор_1
Формирование агрегированных условий контрактов

Например, суммарный объем контрактов, закрываемых в


Протокол раскрытия условий следующем квартале.

Формирование отчётов
Любые 2 ключа
вскрывают секрет • Для контрольно-надзорных органов
для (например, зашифрованные декларации по НДС)
доказательства • Для головных компаний
подлинности (например, зашифрованные агрегированные
условия контрактов)
условия отчёт
Раскрытие условий контракта вне протокола не
является доказательством
Примечание: 112
Цифровая Криптография Модель
План работ экономика в СК Договора vs СК договоров для СК Приложение 1 Приложение 2

Атрибуты гражданского договора


Юридическая природа договора Интересы сторон Юридическая направленность
договора

консенсуальные интерес интерес основные


предварительные
интерес интерес цессия
реальные

Характер отношения между сторонами Юридические связи одного договора с Количество участников в договоре
$ другим
возмездные

безвозмездные
+ Двусторонние договора
Многосторонние договора
Права и обязанности сторон Доп. соглашения Объект договора
Возможности изменения и
двусторонние дополнения условий
• взаимосогласованные
• присоединения
Примечание:
односторонние Содержание регулируемой
деятельности
Основания заключения • имущественные; объект
• свободные • организационные;
• обязательные • генеральные.
вещные обязательственные
Примечание: 113
Цифровая Криптография Модель
План работ экономика в СК Договора vs СК договоров для СК Приложение 1 Приложение 2

Атрибуты Смарт-контракта
В блокчейне каждая сущность представляет собой 1) Тип переменной: 2) Роль функции:
• Базовый (256 бит памяти) • Функция доступа
электронный адрес • Элемент перечисления • Модификатор
Проблема • Динамический: • Конструктор
◦ Строка • Функция обработки по
Различении адресов, как атрибутов смарт-контракта, ◦ Массив умолчанию
соответствующих атрибутам гражданского договора ◦ Дерево поиска (mapping) • Внешний интерфейс
◦ Структура • Внутренняя функция

###### ###### 3) Размещение переменной:


memory storage
###### (в оперативной памяти) (ссылка на хранимую переменную)

######
###### – Электронный адрес

Решение
• написание кода (методов), чтобы адрес 4) Тип контракта: 5) Архитектура
функционально стал одним из типов сторон • Исполняемый взаимодействия
• Абстрактный контрактов:
гражданского договора • Интерфейс • Five Types Model
• разработка архитектуру смарт-контрактов, на • Библиотека • Action-driven architecture
• Иные паттерны
основании которых можно разработать различные
виды Гражданско-правового договора 6) Отношение между двумя контрактами:
######1𝑖 тип ######1𝑘 тип Вложенность Композиция Наследование
(в Solidity отсутствует)
𝑚∈ℕ ######2𝑚тип
НП ЦИВТ «КОНЦЕПТ» владеет методом, позволяющим
воплотить решение

Примечание: 114
Цифровая Криптография Модель
План работ экономика в СК Договора vs СК договоров для СК Приложение 1 Приложение 2

Источники типовых договоров и разнообразие договоров


Принципы, правила, толкования: Электронная коммерция:
• Инкотермс-2010 • Конвенция ООН 2005 г. об использовании
• УНИДРУА (2010) электронных сообщений в международных
• UCP 600 коммерческих договорах
• URDG 758 • Типовой закон ЮНСИТРАЛ об электронной торговле
1996 г
Арбитражные регламенты:
• Типовой закон ЮНСИТРАЛ об электронных подписях
• ЮНИСТРАЛ 2010
2001 г.
• ICC 2012
Исполнение обязательств:
• ДРС ICC 2001
• Унифицированные правила ICC для гарантий по
Логистика и перевозки: требованию (Публикация ICC N 758)
• FIATA: • Конвенции ООН о независимых гарантиях и
• Расписка экспедитора в приеме груза (FCR) резервных аккредитивах 1995 г.
• Оборотный мультимодальный транспортный • Форс-мажорная оговорка (оговорка об
коносамент (FBL) освобождении) ICC 2003 г.,
• Складская расписка (FWR)
• Экспедиторская расписка (ФЦР)
• Поручение экспедитору
• Необоротная мультимодальная транспортная
накладная (Combidoc). Более 50
• Декларация отправителя о перевозке опасных грузов
• Интермодальное весовое свидетельство международных НПА
грузоотправителя
• Договор фрахтования (Contracts of Affreightment, СОА)
• Унифицированная форма тайм-чартера БИМКО
• Правила ЮНКТАД/ICC

Примечание: 115
Цифровая Криптография Модель
План работ экономика в СК Договора vs СК договоров для СК Приложение 1 Приложение 2

Структура модели договора


Sta
Start Событие типа «подписание договора»
rt С

Сторона договора
А Обязательство Б
Finish Событие типа «завершение договора»

Событие Сторона А имеет обязательство О


перед стороной Б в силу события С

Out Событие типа «внешний арбитр»


Обязательство Элементарное Обязательство
(предмет)

А Обязательство Б С С’ А Б С С
Обязательство

Событие С есть исполнение Событие С’ есть неисполнение Эквивалентность событий разных


стороной А обязательства О перед стороной А обязательства О перед контрактов
стороной Б стороной Б

Start

Finish А О1 Б С

Простой изолированный
возмездный одноэтапный
Out Б О2 A Finish договор с внешним арбитражем
между сторонами А и Б

Примечание: 116
Цифровая Криптография Модель
План работ экономика в СК Договора vs СК договоров для СК Приложение 1 Приложение 2

Модель арбитража сторон по договору

out

Решение арбитра (суда) исполняется внешними процедурами, а сам смартконтракт


завершается арбитром — все обязательства между сторонами в рамках данного
смартконтракта аннулируются

Примечание: 117
Цифровая Криптография Модель
План работ экономика в СК Договора vs СК договоров для СК Приложение 1 Приложение 2

Модель составных обязательств в договоре

Качественные Количественные
атрибуты (мерные) атрибуты

Обязательство
Субъект А Субъект В
N ед.
K ед.
M ед.
L ед.
T ед.
X ед.

Составное обязательство

DN ед.

{ А
} DK ед.
D M ед.
{ А
}
F( ) = F( ) =
D L ед.
Обязательства стороны А D T ед. Обязательства стороны А
D X ед.

А
{ А
}
Обязательства перед стороной А А
{ А
}
Обязательства перед стороной А
Перечень выполненных и Перечень отклонений значений
невыполненных качественных количественных атрибутов
атрибутов обязательства перед обязательства перед стороной А
стороной А

Примечание: 118
Цифровая Криптография Модель
План работ экономика в СК Договора vs СК договоров для СК Приложение 1 Приложение 2

Модель состояний элем. обязательства смарт-контракта


Состояния элементарных Граф перехода состояний сторон
обязательств смарт-контракта элементарного обязательства
Обязательство:выполнено
nAct — неактуализированные
невыполнено А0 Б1

Act — актуальные
nAct А0 Б0 А1 Б0 А1 Б1
А Б

Wout — отработанные А
А3 Б0 Wout

Типы событий по исполнению


обязательств А2 Б0 А2 Б2

Act — актуализация элементарного


обязательства, А2 Б3
Finish — завершение смарт-контракта, А0 — состояние после актуализации элементарного обязательства,
Out — выход в процедуру внешнего арбитража, А1 — отказ выполнять обязательство,
Regul — выход в процедуру создания смарт- А2 — объявлено о выполнении обязательства
контракта по урегулированию. А3 — объявлено о признании обязательства выполненным.
Состояния обязанной стороны ЭО (Сторона А)
Граф перехода состояний
элементарного обязательства Б0 — состояние после актуализации элементарного обязательства,
Б1 — объявлено о невыполнении обязательства,
act, finish, Б2 — непринят акт сдачи/приёмки
nAct Act Wout Б3 — принят акт сдачи/приёмки
start out, regul
Состояния обязующей стороны ЭО (Сторона Б)
Примечание: 119
Цифровая Криптография Модель
План работ экономика в СК Договора vs СК договоров для СК Приложение 1 Приложение 2

Приложение 1

Start

Finish А О1 Б

out Б А Finish

Простой изолированный возмездный одноэтапный договор


с внешним арбитражем между сторонами А и Б

Сторона А поставляет Б товар (обязательство О1), а Б при получении товара обязуется оплатить его (обязательство
О2). В случае невыполнения обязательств со стороны Б стороны прибегают к арбитражу
Примечание:

Примечание: 120
Цифровая Криптография Модель
План работ экономика в СК Договора vs СК договоров для СК Приложение 1 Приложение 2

Приложение 1

Start

Finish А О1 Б

Б О2 А Finish

out С О2 А

out Б О1 С Finish
Сложный изолированный возмездный одноэтапный договор
с одноуровневым урегулированием между сторонами А и Б и
поручителем С

Сторона А выплачивает стороне Б 100% предоплату (обязательство О1) и сторона Б обязуется выполнить работы для
А (обязательство О2). В случае невыполнения обязательства со стороны Б у стороны С (поручителя) возникает
обязательство выполнить работы для А вместо Б (обязательство О2). В случае невыполнения возникает внешний
арбитраж
Примечание:
между С и А. В случае выполнения у Б возникает перед С обязательство оплатить работы в том же
размере, что и А (обязательство О1). В случае невыполнения возникает арбитраж между Б и С. После выполнения Б
обязательств перед А или С договор завершается.

Примечание: 121
Цифровая Криптография Модель
План работ экономика в СК Договора vs СК договоров для СК Приложение 1 Приложение 2

Приложение 1
Сторона А участвует в конкурсе и
обязуется внести Б обеспечение
Start
(обязательство О1). Если сторона А не
вносит обеспечение, договор
Finish А О1 Б прекращается. Если обеспечение
внесено, то сторона Б проводит конкурс
Б О2 А Finish (обязательство О2) и, если сторона А
проигрывает, то у Б возникает
обязательство вернуть обеспечение.
out Б О1 А Finish
Если сторона А выигрывает, то
Простой неизолированный стартовый возмездный одноэтапный завершение договора является
договор с одноуровневым урегулированием между сторонами А и Б событием запуска следующего другого
договора, где победитель (сторона А)
Start обязуется выполнить работу перед Б
(обязательство О4), в случае
А О4 Б невыполнения сторона А обязуется
выплатить штраф (обязательство О3) и
договор завершается. В случае
out А О3 Б Finish
выполнения сторона Б оплачивает
работы и возвращает обеспечение
(обязательство О5) что приводит к
out Б О5 А Finish
завершению данного договора. Во всех
Простой неизолированный финишный возмездный одноэтапный договор с неоговорённых случаях невыполнения
Примечание: одноуровневым урегулированием между сторонами А и Б
обязательств действует внешний
Составной изолированный возмездный договор с одноуровневым урегулированием между арбитраж.
сторонами А и Б

Примечание: 122
Цифровая Криптография Модель
План работ экономика в СК Договора vs СК договоров для СК Приложение 1 Приложение 2

Приложение 1

Start 1
2
Finish 3
Finish
1 2 3 Finish

Finish А О1 Б Finish А О1 Б Finish А О1 Б Finish

out Б О2 А Finish out Б О2 А Finish out Б О2 А Finish

Простой изолированный возмездный одноэтапный договор


с внешним арбитражем между сторонами А и Б с множеством независимых обязательств

Исполнитель (сторона А) подряжается выполнить некоторый набор работ, выполнение которых не обусловлено друг
другом, и эти работы оценены отдельно друг от друга. Исполнитель не обязуется выполнить все работы, а
выполненные работы Заказчик (Сторона Б) оплачивает отдельно. Договор считается завершённым, если по всем
обязательствам наступило событие «finish» — Исполнитель выполнил, а Заказчик оплатил работу, или Исполнитель
не приступал к исполнению работы.

Примечание:

Примечание: 124
Цифровая Криптография Модель
План работ экономика в СК Договора vs СК договоров для СК Приложение 1 Приложение 2

Приложение 1. Модель договора по детерминированному


урегулированию спора по договору
Start

Finish А О1 Б

F( ) Regul
Start

А, Б, О3 Finish А О1

Regul Б
Б

О2 А Finish
Б О2 А Finish
Простой изолированный возмездный одноэтапный договор
с детерминированным урегулированием между сторонами А и Б

Простой изолированный возмездный одноэтапный договор


с детерминированным урегулированием между сторонами А и Б

Б А
out Finish

Простой безвозмедный договор


out О3 Finish
урегулирования между сторонами

Простой безвозмедный договор


«Фабрика» урегулирования между сторонами А и Б
смартконтрактов

Стороны А и Б договариваются, что просрочка субъектом Б исполнения обязательства перед А (выполнение работ)
влечёт за собой обязательство уплатить пеню из расчёта 0,1 % от обязательства А перед Б (оплата работ) за каждые
сутки просрочки. При этом остальные аспекты обязательства (сами работы) выполнены.

Примечание: 124
Цифровая Криптография Модель
План работ экономика в СК Договора vs СК договоров для СК Приложение1 Приложение 2

Приложение 2. Модель договора, реализуемая смарт-


контрактом «Простое обязательство»

State 1
Start

State 2 State 3

Finish А О1 Б

State 4 State 5
Б О2 А Finish

State 6 State 7
out Б О1 А Finish

Простой неизолированный стартовый возмездный одноэтапный


Примечание:
договор с одноуровневым урегулированием между сторонами А и Б

Примечание: 125
Цифровая Криптография Модель
План работ экономика в СК Договора vs СК договоров для СК Приложение1 Приложение 2

Приложение 2. Модель договора, реализуемая смарт-


контрактом «Простое обязательство»
TypeA
Start

Finish А О1 Б

Б О2 А Finish

out Б О1 А Finish

Простой неизолированный стартовый возмездный одноэтапный


договор с одноуровневым урегулированием между сторонами А и Б

Start TypeB

А О4 Б

out А О3 Б Finish

out Б О5 А Finish

Простой неизолированный финишный возмездный одноэтапный договор с


Примечание:
одноуровневым урегулированием между сторонами А и Б

Составной изолированный возмездный договор с одноуровневым урегулированием между


сторонами А и Б

Примечание: 126
Цифровая Криптография Модель
План работ экономика в СК Договора vs СК договоров для СК Приложение1 Приложение 2

Приложение 2. Структура классов кода смарт-контрактов


Структура смарт-контракта «Простое Структура смарт-контракта «Простое
обязательство с условием подписания» обязательство»
NAME: dependable

Size: 82 Byte
ExecCost: 10 862 Gas NAME: signable
TransCost: 68 990 Gas
Size: 789 Byte
ExecCost: 151 792 Gas
TransCost: 252 748 Gas
NAME: signable

Size: 1 505 Byte


ExecCost: 295 133 Gas
NAME: ObligationsContract
TransCost: 439 849 Gas
Size: 3 781 Byte
ExecCost: 768 791 Gas
TransCost: 1 056 371 Gas
NAME: ObligationsContract

Size: 4 132 Byte


ExecCost: 839 063 Gas
TransCost: 1 150 127 Gas NAME: TypeA

Size: 7 535 Byte


ExecCost: 1 638 703 Gas
TransCost: 2 156 595 Gas
NAME: Type_A NAME: Type_B
Примечание:
Size: 7 886 Byte Size: 8 292 Byte
ExecCost: 1 708 975 Gas ExecCost: 1 770 720 Gas
TransCost: 2 250 479 Gas TransCost: 2 338 040 Gas

Примечание: 127
Цифровая Криптография Модель
План работ экономика в СК Договора vs СК договоров для СК Приложение1 Приложение 2

Приложение 2. Листинг кода (Solidity) смарт-контракта


«Простое обязательство с условием подписания»

Примечание:

Примечание: 128
Цифровая Криптография Модель
План работ экономика в СК Договора vs СК договоров для СК Приложение1 Приложение 2

Приложение 2. Листинг кода (Solidity) смарт-контракта


«Простое обязательство»

Примечание:

Примечание: 129