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

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

Немало дискуссий на конференции 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, и сделать, чтобы такого больше не было, но мы также должны смотреть вперёд», объяснил он.

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

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


Источник: http://coinspot.io/altcoins/vnedrenie-formata-verifikacii-dlya-bezopasnosti-umnyh-kontraktov-na-efirium/

*Биткойн бесплатно получить

*Купить, продать, обменять Биткойн

*Ликвидатор монстров (Android-игра) – залипательная стрелялка.

*Bitcoin Neratan (Android-приложение) – графики курса BTC/USD с объемами позитивного/негативного новостного фона.
Теги: Альткоины ethereum yandex умные контракты эфириум
Поделиться:
[vk] [fb] [tw] [mr] [lj]
Рубрики Обменный курс Биткойн Менеджер кранов
Новости биткойн и блокчейн-технологий
*Опубликована дорожная карта по стандартизации технологии блокчейн (06.03.2017) go
Австралийская стандартизирующая организация Standards Australia опубликовала первую в своем роде дорожную карту по стандартизации технологии блокчейн. Об этом сообщает Blockchain News. Документ стал частью более широкой инициативы по разработке единых международных стандартов для компаний… Подробнее ›
*Крупнейшая в мире логистическая фирма начинает отслеживать грузы через блокчейн (06.03.2017) go
Датский гигант Maersk объявил о завершении первого этапа испытаний блокчейна, который использовался для упрощения способа пересылки ценностей по всему миру на триллионы долларов США. Это сообщение от фирмы, на которую приходится 15.8% мирового международного трафика перевозки грузов с помощью корабл… Подробнее ›
*Центробанк Нигерии: контролировать или регулировать биткоин невозможно (06.03.2017) go
В ходе состоявшейся на минувшей неделе встрече, организованной Центробанком Нигерии (CBN) и посвященной виртуальным валютам, представители регулятора признали тот факт, что не имеют возможности остановить распространение биткоина. Об этом пишет The Merkle. В своей вступительной речи первый вице-президент CBN Уче Олово рассказал… Подробнее ›
*Сычуань — место, где китайцы куют биткоины (06.03.2017) go
Сычуань это китайская провинция, которая превращается в мировую столицу майнинга биткоина, во многом из-за дешевизны электричества, низкой плотности населения и холодного климата. Юго-западные области Китая, такие, как Сычуань, видят рост внимания со стороны майнинговых компаний… Подробнее ›
*Как недавняя поправка к пакету документов о регистрации ETF Уинклвоссов может навредить инвесторам (06.03.2017) go
Не всем понравился последний черновик заявки о регистрации ETF Уинквоссов. (Предполагаемый) Биткойн-траст Уинклвоссов, также известный, как “COIN”, недавно отправил дополнительные документы в Комиссию по ценным бумагам США (SEC). Поправка, добавленная в угоду ожидаемому с нетерпением решению комисии относительно того… Подробнее ›
*На Луну? Аналитики позитивно оценивают перспективы одобрения Биткоин ETF (06.03.2017) go
Аналитики известных финансовых учреждений, включая Bloomberg, полагают, что вероятность одобрения биткоин ETF COIN братьев Винкельвоссов довольно высока, даже учитывая непредсказуемую натуру Американской комиссии по ценным бумагам и биржам (US Securities Exchange Commission). Существует много предпо… Подробнее ›
*Winklevoss Bitcoin Trust в ожидании решения регулятора (05.03.2017) go
Комиссия по ценным бумагам и биржам США (SEC)должна в скором времени дать ответ по Winklevoss Bitcoin Trust - биржевому биткоин-фонду братьев Уинклвосс. При этом не исключено, что об исходе дела те узнают раньше официальной даты вынесения решения. Об этом пишет Bloomberg. По информации издания… Подробнее ›
*Выдача разрешения SEC для первого биткоин ETF переносится (05.03.2017) go
Подходит время, когда Американская комиссия по ценным бумагам и биржам (U.S. Securities and Exchange Commission, SEC) должна вынести решение относительно первого биткоин ETF братьев Уинклвосс. Комиссия ранее определила сроком выдачи разрешения 11 марта, что несколько смутило пользователей Биткоина… Подробнее ›
*Шесть главных событий недели в биткоин- и блокчейн-индустрии (05.03.2017) go
В воскресном обзоре ForkLog - новый ценовой рекорд биткоина, взлеты и падения Dash, укрепление позиций Ethereum и новые планы на будущее Ethereum Classic. Новые рекорды биткоина На этой неделе цена биткоина обновила новый исторический максимум, вплотную подобравшись в пятницу, 4 марта, до отметки $1290 на большинстве бирж… Подробнее ›
*Стартапы, банки и гиганты технологий запустили «Enterprise» Эфириум Альянс (05.03.2017) go
Группа блокчейн стартапов, финансовых учреждений и других любителей инноваций запустили «Enterprise» Эфириум Альянс (Enterprise Ethereum Alliance, EEA) чтобы строить, рекламировать и широко подерживать разработки на основе Эфириума. Этот коллектив, в который входят Intel, Microsoft, J.P. Morgan, Ban... Подробнее ›
 «  1 4823 4824 4825 4826 4827 5306  » 
Информация о децентрализованной цифровой валюте Биткойн в социальных сетях:
*ВКонтакте*Facebook *Twitter
*Купить, продать, обменять Bitcoin, Litecoin, Ethereum, QIWI, WebMoney, YooMoney, PerfectMoney, Privat24
Free Bitcoin
*Directory of sites
*Partnership   *"Feedback  

Statok.net