Три компонента для успешной работы смарт-контрактов - Новости в мире финансов и инвестиций | MMGP
Пользователей
1943
на сайте
Зарегистрированных
439,044
пользователей
Создано
509,926
тем
Написано
12,806,458
сообщений
Присоединяйтесь к нашему инвестиционному форуму, на котором уже 439,044 пользователей. Чтобы получить доступ ко многим закрытым разделам и начать общение -  .
Вход через:  
Обсуждение новостей, связанных с финансами и инвестициями.
При поддержке
Важная информация
Есть опыт работы с криптовалютами? Заведи Крипто-Блог и заработай на нём!
Торгуешь криптовалютой? Оставь свой отзыв о бирже!
Уважаемый гость, Новогодняя поздравительная эстафета уже стартовала, успей поздравить форумчан с наступающими праздниками подробнее...
Разбираешься в криптовалюте? Прими участие в акции Крипторайтер 2.0 (2-10 поинтов за 1000 символов)
Изменения в акции "Оплата за сообщения".
Как на одной публикации заработать $100
Ответить
 
Первый пост Опции темы
Сообщения прочитаны и/или просмотрены Сегодня, 02:13
Старый 07.01.2017, 14:18
#1
Лучший HYIP-портал
crypto-блогер
 
Аватар upline
 
Пол: Мужской
Регистрация: 24.09.2009
Сообщений: 15,274
Благодарностей: 9,825
УГ: 19
Записей в CT-блоге: 306
Подписок CT: 42
КП: 0.254
подарки
награды Волшебный горшочек 
Три компонента для успешной работы смарт-контрактов



Артур Брайтман (Arthur Breitman) - руководитель проекта Tezos, а Кэтлин Брайтман (Kathleen Breitman) - его управляющий директор. Ранее Артур занимал пост вице-президента в Goldman Sachs и Morgan Stanley. Кэтлин занималась стратегиями в банковском консорциуме R3.

В этой статье Брайтманы делятся своим мнением по поводу развития смарт-контрактов, выделяя три проблемы, которые необходимо решить для их успешного функционирования.

Смарт-контраты в качестве «киллер-приложения»

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

Учитывая то, что в десяти наиболее популярных криптовалют хранятся активы на сумму в более 17 миллиардов долларов, существует хорошая возможность добавить уже существующим активам блокчейна дополнительную гибкость и практичность, внедрив в них возможности, которые несут в себе смарт-контракты.

Очевидно также, что эта инновационная технология предлагает устойчивый потенциал традиционным рынкам.

К примеру, рассмотрим сценарий использования деривативов внебиржевого рынка, который насчитывает около 700 триллионов долларов в номинальной стоимости в год. Перемещение даже небольшой доли объёмов его торгов в смарт-контракты предоставит в перспективе огромную экономию расходов.

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

Возможность формальной верификации

Написать код, который будет работать в точности так, как мы хотим, чрезвычайно сложно. Программное обеспечение уязвимо перед ошибками (багами) и всевозможными атаками – однако, в случае со смарт-контрактами под угрозу попадают действительные активы.

Здесь необходим более качественный метод, который будет гарантировать безопасность и надёжность умных контрактов. Один из возможных способов – использование формальной верификации, то есть алгоритма проверки кода для доказательства того, что он действует в соответствии с поставленными задачами.

Смарт-контракты должны имплементироваться на языке, лёгком для верификации. Поэтому для кода смарт-контракта больше подходят функциональные языки наподобие Haskell или OCaml, нежели императивные языки, такие как C/C++, Java и JavaScript, ведь архитектуру функциональных языков легче обосновать и формально верифицировать. Конечно, большинству программистов больше знаком JavaScript, однако в данном случае между простотой использования и безопасностью необходимо сделать выбор в пользу последнего.
С другой стороны, необходимо помнить о том, что формальная верификация имеет определённые ограничения. Она не является полностью автоматической и всё ещё требует человеческого участия.

Кроме того, формальная верификация может доказать только те характеристики, которые мы намеревались проверить; если вы по ошибке проверите не те функции, уязвимости могут остаться открытыми. Тем не менее, при правильной имплементации это будет шаг в правильном направлении.

Обеспечение прозрачности

Одним из крупнейших экспериментов со смарт-контрактами в 2016 году стал проект TheDAO – виртуализированный инвестиционный канал, который привлёк средства на сумму более 150 миллионов долларов, а затем пал жертвой взломщиков, выведших на свои аккаунты 50 миллионов долларов.

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

Код смарт-контракта должен быть прозрачным и исключать лазейки, чтобы при заключении договора мы были полностью уверены в том, что подписываем. Кроме того, прозрачность помогает быстрее обнаружить ошибки.

Один из способов осуществления прозрачности - использование интерпретируемого языка программирования вместо компилируемого. Именно в этом случае в блокчейне будет виден фактический код, доступный для изучения и проверки.

В другом случае, для проверки совпадения байткода и исходного кода, байткод необходимо исследовать параллельно с создавшим его исходным кодом. Это требует проверки самого компилятора.

Чёткий механизм управления

Поскольку смарт-контракты хранятся в блокчейне, код по определению неизменен. Однако, программные продукты не совершенны. Изменения с платформами происходили и будут происходить, а это, в свою очередь, может повлиять на работу кода смарт-контракта. То, как поведёт себя с такими изменениями тот или иной блокчейн, очень важно для сохранения доверия к его платформе.

При отсутствии чёткой модели управления отсутствует всякая уверенность в том, что земля внезапно не уплывёт из-под ваших ног. Если это будет кому-то на руку, разработчики ядра или кто-то другой, управляющий шоу, смогут с лёгкостью изменить правила игры на полпути.

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

Как только все эти приёмы заработают, смарт-контракты начнут действовать в полную силу и сформируют основу, состоящую из множества контрактов, которые мы ежедневно заключаем, от счетов за электроэнергию и оплаты собачьей няни до арендной платы за жильё – и всё это незаметно, через интернет, в очередной раз упрощая и улучшая нашу жизнь.

Так же, как в случае с интернетом, мы не будем думать о лежащей в основе этого процесса технологии, мы просто будем знать, что это работает – бесперебойно и надёжно.

Источник
upline вне форума  
Ответить
Войдите, чтобы оставить комментарий.
Сообщения прочитаны и/или просмотрены Сегодня, 02:13
Опции темы

Быстрый переход
Похожие темы
Тема Автор Раздел Ответов Последнее сообщение
Банк Barclays разрабатывает шаблоны смарт-контрактов pilot10 Новости в банковской сфере и страховании 1 19.12.2016 15:13
RSK Lab запускает первую тестовую сеть смарт-контрактов на Биткоине clipman77 Новости криптовалют 0 25.11.2016 20:38
Imandra Contracts – платформа верификации смарт-контрактов Эфириума clipman77 Ethereum 0 28.09.2016 22:25
В Лондоне состоится хакатон для разработчиков смарт-контрактов Ethereum bizneser Новости криптовалют 0 26.07.2016 03:12
Консорциум R3 и Barclays Bank разрабатывают шаблоны для смарт контрактов Alex077 Новости в мире финансов и инвестиций 0 13.07.2016 17:08


Случайные темы
Аватар Dimoni4e
Обзор тизерных партнерок для заработка
От Dimoni4e в разделе «Партнерские программы»
Аватар nlobp
Глобал Капитал Груп (Global Capital Group) - gcgtrust.com
От nlobp в разделе «Архив: Список проблемных/неактивных/закрытых программ»
Аватар inik1080
Thriva привлек £1.5 миллиона, чтобы предоставлять тесты для анализа здоровья
От inik1080 в разделе «Новости в мире финансов и инвестиций»
Аватар flot
Аргентина откажется от российского кредита на 1,9 миллиарда долларов.
От flot в разделе «Новости в мире финансов и инвестиций»
Аватар asdtehb
EndlessProfits - 100% реф. возврат!
От asdtehb в разделе «Архив: Реферальные и страховые предложения»
Аватара нет
Bitbattle Limited - Bitbattle.biz
От List4Hyip в разделе «Список проблемных/неактивных/закрытых программ: псевдоинвестиции»
.     
Пользователей
439,044
Тем
509,926
Сообщений
12,806,458

mmgp.telegram