Jump to content
Sign in to follow this  
April

Вопрос на миллиард долларов – устранение ошибок в смарт-контрактах

Recommended Posts

ошибки смарт контрактов

 

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

Ошибки стоили многим значительных сумм в криптовалюте

Ошибкам подвержены все криптовалюты. Даже Биткоин - эталон, по которому измеряются все другие цифровые валюты, не является исключением. Примером может служить ошибка переполнения блока в 2010 году, в результате которой в блоке 74638 было создано 180 миллиардов биткоинов. Однако, если эта уязвимость была быстро устранена без каких-либо потерь, то пользователям Эфириума повезло гораздо меньше. Инциденты с проектами DAO, Parity и Bancor, в результате которых были потеряны или заморожены средства на десятки миллионов долларов, отнесли к уязвимости их смарт-контрактов. Общая же сумма цифровых активов, потерянных в результате ошибок кода, эквивалентна 1 миллиарду долларов.

 

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

Как новые блокчейны подходят к смарт-контрактам

Главный разработчик смарт-контрактов проекта Stratis Джордан Эндрюс рассказал, что их платформа использует язык C#, поскольку он предоставляет доступ к таким инструментам, как декомпиляторы, редакторы, наборы для тестирования и отладки в Visual Studio. То есть «любой контракт можно декомпилировать из байт-кода до реального C#». Он противопоставляет это Solidity, находящемуся на «деликатном этапе разработки, когда декомплировать большое количество контрактов должным образом невозможно. Тот факт, что проверить можно только около 1% контрактов в Эфириуме, представляет проблему, так как, по сути, декомпиляторы не работают».

 

 

Читать полностью

 

 

Share this post


Link to post
Share on other sites

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now
Sign in to follow this  

  • Recently Browsing   0 members

    No registered users viewing this page.

  • Similar Topics

    • SushiSwap опровергла наличие в протоколе «уязвимости на миллиард»

      Разработчик децентрализованной биржи SushiSwap опроверг обнаружение «белым хакером» предполагаемой уязвимости, которая может обойтись протоколу в $1 млрд. Сегодня ночью «белый хакер» CryptoWilfred опубликовал в своем Твиттере несколько записей об обнаруженной им уязвимости на платформе SushiSwap, которая может поставить под угрозу криптоактивы пользователей на $1 млрд. Он заявил, что решил обнародовать информацию после того, как попытки связаться с разработчиками SushiSwap ни к чему не п

      in Новости криптовалют

    • ЦБ Ирландии: «запуск цифрового евро – лишь вопрос времени»

      По мнению председателя Центрального банка Ирландии Габриэля Махлуфа, запуск цифрового евро приведет к «фундаментальному сдвигу» в финансовой архитектуре Еврозоны. Председатель ЦБ Ирландии Габриэль Махлуф (Gabriel Makhlouf) сказал, что, хотя Еврозона еще не приняла решение о выпуске цифрового евро, такое развитие событий «весьма вероятно».   «На мой взгляд, запуск цифрового евро – лишь вопрос времени», – заявил Махлуф.   При этом он высоко оценил потенциал цифрового евро

      in Новости криптовалют

    • ЦБ Новой Зеландии изучит вопрос выпуска государственной криптовалюты

      В Новой Зеландии стартовали масштабные публичные обсуждения по вопросам будущего финансовой системы страны, в том числе, относительно возможности запуска собственной цифровой валюты. Обсуждения пройдут в несколько этапов. На первом этапе планируется получить обратную связь относительно роли наличных денег и выявить наиболее острые темы для последующих обсуждений. Ассистент управляющего Резервного банка Новой Зеландии Кристиан Хоксби (Christian Hawkesby) сказал:   «Мы определим н

      in Новости криптовалют

    • Один из крупнейших владельцев BTC на сумму в 1 миллиард долларов погиб в возрасте 41 года

      Так гласит заголовок газеты MarketWatch. Беднягу звали Мирча Попеску из Коста Рики. Он был пионером криптовалютного движения. Ряд источников (https://www.crhoy.com/nacionales/turista-polaco-fue-quien-murio-ahogado-en-playa-hermosa) гласит о том, что он утонул. По сообщению местных СМИ Коста-Рики, 43- летний турист утонул на пляже Эрмоса в провинции Пунтаренас, Коста-Рика. Несмотря на то, что покойного туриста называют «поляком», издание ссылается на его имя как Мирча Попеску.

      in Новости криптовалют

    • Биткоин или альты? Ответ на извечный вопрос

      Биток и альты это как царь и народ. Если царь падает, то народ падает сильнее, царь сглаживает свое падение за счет народа, а если царь растет, то народ уже не падает, но всё равно всегда на дне остается, ведь царь растет за счет народа. А если народ бунтует и скидывает царя, то народ в еще большом дне оказывается. Теперь внимание вопрос: каковы нужны условия для роста народа? Нефть по 1000 долларов повысит рубль и зарплаты? Да, но не пропорционально росту нефти, далеко не пропорционально, при н

      in Биткоин

×
×
  • Create New...