Присоединяйтесь к нашему инвестиционному форуму, на котором уже 420,016 пользователей. Чтобы получить доступ ко многим закрытым разделам и начать общение -  .
Вход через:  
Ethereum Форум. Все о платежной системе Ethereum (Эфириум, Эфир)
При поддержке
YoBit.Net - The Biggest Exchange
Важная информация
Разбираешься в криптовалюте? Прими участие в акции Крипторайтер 2.0 (2-10 поинтов за 1000 символов)
Быстро находишь нужную информацию? Участвуй в "Охоте на ICO"
Уважаемый гость, определены победители очередного этапа конкурса "Путь к успеху" ($500)
Изменения в акции "Оплата за сообщения".
Как на одной публикации заработать $100
Открылся магазин MMGP
Ответить
 
Первый пост Опции темы
Сообщения прочитаны и/или просмотрены Сегодня, 05:24
Старый 06.10.2016, 00:29
#1
Мастер
 
Имя: Андрей
Пол: Мужской
Возраст: 37
Адрес: Украина
Инвестирую в: HYIP
Регистрация: 27.02.2015
Сообщений: 15,312
Благодарностей: 9,447
УГ: 6
КП: 0.017
Внедрение формата верификации для безопасности умных контрактов на Эфириум

Внедрение формата верификации для безопасности умных контрактов на Эфириум


Новыми словами в мире блокчейна, которые сейчас стали у всех на слуху, стало словосочетание «формат верификации». Эта фраза (которая используется для описания математического инструмента проверки программного кода) до сих пор употреблялась не особенно часто. Однако если принимать во внимание разговоры разработчиков Эфириума на недавней конференции, она говорит о росте роли вопроса безопасности для умных контрактов в частности и блокчейна в целом.

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

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

Хотя «формат верификации» может показаться чем-то сложным, его можно объяснить в нескольких словах — применительно к Эфириуму, это выглядит следующим образом. Разработчики используют новый язык программирования, solidity, для того, чтобы писать на нём умные контракты. Затем написанный код преобразуется в байт-код для использования виртуальной машиной Эфириума (ethereum virtual machine, EVM) и распространяется между узлами сети для выполнения. Здесь «формат верификации» становится более объективным способом гарантировать, что когда различные компоненты сети получат эти инструкции, то выполнят их таким образом, как задумано пользователями.

Грант Пассмор, один из основателей Aesthetic Integration, один из первых предпринимателей, которые приложили усилия в этом направлении, использовал Devcon2 для рекламы Imandra Contracts, платформы для проверки умных контрактов на блокчейне с помощью формата верификации.

На мероприятии он продвигал идею того, что Эфириум может служить «раем» для формата верификации (широко цитируемые слова во время конференции) рассказывая, как новшество поможет сообществу в целом, поручив коду формальные проверки.

«Сообщество Эфириума находится в уникальном положении, так как после краха DAO мы поняли, что необходим строгий подход к умным контрактам. Мы не можем писать их так же, как и веб-приложения.», рассказал Пассмор

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

«Это один из самых важных элементов пазла. Я надеюсь использовать Эфириум, чтобы установить стандарт и показать людям, как это может быть сделано», сказал он.

Учебный тренажёр

Учитывая недавний интерес финансовых фирм к изучению умных контрактов, заметно: формат верификации связан с языком Solidity, что обсуждалось особенно часто.

Язык Solidity, созданный для платформы Эфириум, часто критиковали за непроверенность функций и сложность написания на нём кода. В основном, это связано с тем, что язык очень новый. Вышеуказанные проблемы только усилились из-за проблем с компилятором языка, отсутствием публичных библиотек и крахом DAO, а ведь этот проект исследовался известными участниками сообщества разработчиков Solidity.

Неспроста Кристиан Рейтвейсснер, автор Solidity, признал, что есть смысл внедрить формат верификации, чтобы разработчики Эфириум могли более эффективно обнаруживать ошибки.

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

«Такое может произойти, и инструмент для верификации формата в данном случае автоматически это обнаружит.» объяснил он.

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

Испытательный полигон

Слова «эфириум» и «формат верификации» то и дело повторялись во время конференции. Например, Пассмор сказал, что Aesthetic Integration работает над внедрением формата верификации с 2014 года, и сейчас он используется в некоторых специфических областях, например, при создании трейдерских дарк пулов. Что же касается умных контрактов, то Пассмор предположил, что в сообществе Эфириума принятие новой технологии произойдет быстрее всего.

«Многие банки, с которыми мы работали, интересовались Эфириумом, но они волновались по поводу проверки корректности умных контрактов», сказал он.

Ethereum Foundation привлекли к задаче Йоичи Хирая, известного специалиста из фирмы FireEye, это компания, которая предоставляет услуги компьютерной безопасности. Выступая на конференции, Хирая расказал о том, что разочарован в задаче, которая описана для него слишком широко.

«Я изучил Эфириум, я изучил EVM, 32 страницы спецификаций pages и так и не понял, что же нужно делать», сказал он.

Эфириум, напротив, уверяет, что это «практически не проблема» для разработчиков, которые собираются наилучшим образом перевести написанный код на Solidity в байт код.

«Я думаю, что в такой области, как формат верификации, появится много новых разработок», сказал он.

Это не серебряная пуля

Но несмотря на энтузиазм, впереди ещё немало шагов, чтобы концепция верификации формата стала реальностью. Разработчик Алекс Берегази, который работает над обновлениями EVM, рассказал, что понадобится создать немало программного кода. Пассмор тоже заметил что сложно сказать — удастся ли наверняка избежать того, что случилось с DAO.

«Мы можем теперь узнать, что случилось с DAO, и сделать, чтобы такого больше не было, но мы также должны смотреть вперёд», объяснил он.

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

«Даже при том, что многие никогда не имели с этим дела, формат верификации — то, в чём мы действительно нуждаемся. Пока мы только учимся, но это не только необходимо, но ещё и интересно», сделал вывод Пассмор

Источник
__________________
HyipClub.Club - Максимальный Рефбэк На Рынке Инвестиций!!! RCB - 5000% - HyipClub.Club
clipman77 вне форума  
Ответить
Войдите, чтобы оставить комментарий.
Сообщения прочитаны и/или просмотрены Сегодня, 05:24
Опции темы

Быстрый переход
Похожие темы
Тема Автор Раздел Ответов Последнее сообщение
Imandra Contracts – платформа верификации смарт-контрактов Эфириума clipman77 Ethereum 0 28.09.2016 21:25
Microsoft создает рабочую группу по вопросам безопасности смарт-контрактов clipman77 Ethereum 0 01.09.2016 21:43
Дебаты экспертов о достоинствах двух цепей: эфириум и эфириум классик clipman77 Ethereum 0 30.08.2016 22:06
Основатель BlockNotary объяснил принципы работы «умных контрактов» pilot10 Новости криптовалют 2 15.05.2016 04:02
Платформа умных контрактов Symbiont привлекла $1,25 миллиона инвестиций Alex356 Новости в мире финансов и инвестиций 0 10.06.2015 01:24


Случайные темы
Аватар Klyck
clamclient.com - Clams (CLAM)
От Klyck в разделе «Другие криптовалюты»
Аватара нет
Earn Cash Bank - earncashbank.org
От uHYIPs в разделе «Архив: Список проблемных/неактивных/закрытых программ»
Аватар inik1080
Carsome привлек $6 миллионов для своей платформы по продаже б/у авто
От inik1080 в разделе «Новости в мире финансов и инвестиций»
Аватар traderok
Нужен обмен ЭПС(Webmoney, PM) в Испании на наличные
От traderok в разделе «Электронные платежные системы»
Аватар german_smoll
Регистрация в картинках на Libertyreserve
От german_smoll в разделе «Liberty Reserve»
Аватар Victorya Land
Smart-gold - smart-gold.com
От Victorya Land в разделе «Архив: Список проблемных/неактивных/закрытых программ»
.     
Пользователей
420,016
Тем
485,574
Сообщений
12,062,019