Присоединяйтесь к нашему инвестиционному форуму, на котором уже 398,369 пользователей. Чтобы получить доступ ко многим закрытым разделам и начать общение -  .
Вход через:  
Ethereum Форум. Все о платежной системе Ethereum (Эфириум, Эфир)
Важная информация
Стартовала бессрочная акция "Оплата за сообщения".
Уважаемый гость, стартовал новый этап конкурса "Путь к успеху" ($500) подробнее...
Открылся магазин MMGP
Ответить
 
Первый пост Опции темы
Сообщения прочитаны и/или просмотрены Сегодня, 17:24
Старый 09.09.2016, 22:35
#1
Профессионал
 
Имя: Андрей
Пол: Мужской
Возраст: 37
Адрес: Украина
Инвестирую в: HYIP
Регистрация: 27.02.2015
Сообщений: 14,163
Благодарностей: 9,365
КП: 0.018
Анализатор смарт-контрактов Эфириума дебютирует на конференции разработчиков Devcon2

Анализатор смарт-контрактов Эфириума дебютирует на конференции разработчиков Devcon2



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

Разработанный вследствие взлома первого крупномасштабного смарт-контракта The DAO в июне, исследователи описали инструмент как попытку ограничить будущие проблемы, которые могут привести к потере средств пользователей. Программа под название Oyente используется в целях успешного определения ошибок в тысячах смарт-контрактов, включая ту, которая привела к провалу The DAO.

Докторант Национального университета Сингапура Лои Луу (Loi Luu) объяснил, что команда начала свою работу с анализа смарт-контрактов на ошибки безопасности.

Луу сказал: "После обнаружения всех этих проблем, мы хотим сопоставить количество смарт-контрактов имеющих такие проблемы".

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

В планах команды Луу стоит выпуск кода для смарт-контрактов к конференции для разработчиков эфириума Devcon2, которая состоится 19-21 сентября в Шанхае.

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

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

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

Луу объяснил: "Если будет присутствовать два возможных пути выполнения, она пройдет через каждый из них и проверит их на ошибку повторного входа, и лишь после отметит, уязвим смарт-контракт или нет".

В частности, Oyente просматривает байт-код смарт-контракта или код, который в конечном счете сохраняется на блокчейн.

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

Для получения более подробной информации о проекте, прочитайте полный отчет проекта (White paper).

Источник
__________________

NEWhyip.com-авторский хайп блог. H-scripts.ru-професиональный хайп скрипт
ArtWeb-разработка ХАЙП проектов. Тут рождаются лидеры. H-KEEPER - кипер для работы с PM
clipman77 на форуме  
Ответить
Войдите, чтобы оставить комментарий.
Сообщения прочитаны и/или просмотрены Сегодня, 17:24
Опции темы

Быстрый переход
Похожие темы
Тема Автор Раздел Ответов Последнее сообщение
Художественный фильм впервые профинансируют с помощью смарт-контрактов Ethereum Сергей Горин Новости криптовалют 1 09.09.2016 18:22
Разработчики из Сингапура создали инструмент для анализа уязвимостей смарт-контрактов clipman77 Ethereum 0 08.09.2016 21:57
Microsoft создает рабочую группу по вопросам безопасности смарт-контрактов clipman77 Ethereum 0 01.09.2016 22:43
В Лондоне состоится хакатон для разработчиков смарт-контрактов Ethereum bizneser Новости криптовалют 0 26.07.2016 03:12
Консорциум R3 и Barclays Bank разрабатывают шаблоны для смарт контрактов Alex077 Новости в мире финансов и инвестиций 0 13.07.2016 17:08


Случайные темы
Аватар shiburshunchik
MCOInvest - mcoinvest.com
От shiburshunchik в разделе «Архив: Список проблемных/неактивных/закрытых программ»
Аватар Shalom
Мошенничество на Forex: 6 крупнейших маркет-мейкеров заплатят 5,6$ млрд.
От Shalom в разделе «Новости в мире финансов и инвестиций»
Аватар Добрые деньги
dream-on.club - клуб "Мечтай"
От Добрые деньги в разделе «Архив: Список проблемных/неактивных/закрытых программ»
Аватар mumitroll
respectprofit-respectprofit.com
От mumitroll в разделе «Архив: Список проблемных/неактивных/закрытых программ»
Аватар Fierce
Великобритания сделала первый реальный шаг к выходу из ЕС
От Fierce в разделе «Новости в мире финансов и инвестиций»
.