BTC
5618.2
ETH
180.16
BCH
250.00
LTC
43.962
CFI
0.0233
EOS
4.6507
REQ
0.0370
XMR
87.429
XRP
0.4707
Yobit
YoBit.Net
https://itsoft.ru
hashflare.io

Анализатор смарт-контрактов Эфириума дебютирует на конференции разработчиков 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).

Показать комментарии Обсудить на форуме

Подписывайтесь на новости и их анализ в нашем Telegram канале!

Калькулятор Bitcoin
Скорость, GH/s:
Сложность:
Курс BTC/USD:
Курс BTC/RUB:
в день в неделю в месяц
BTC
0.000035
0.000245
0.00105
USD
0.19687
1.3781
5.9060
RUB
13.114
91.801
393.43
Расширенный калькулятор
konvert.im
YoBit.Net
Курсы криптовалют
Обновить
Статистика сети
Текущая сложность: 7184404942702
Следующая сложность: 6670472125858 (-7.15%)
Блоков до пересчета: 142
Цена шары (PPS): 0.0000000000
Мощность сети (Th/s): 47749099.38
Блоков в сети: 550226
Блоков в час: 5.57
Блоков за последний час: 2
До 6.25 BTC/блок: 596.75 дней
(79774 блоков)
mining-center.org
Лучше взять и изобрести завтрашний день, чем переживать о том, что вчерашний был так себе
Стив Джобс