Хотите всегда оставаться в курсе событий? Подписывайтесь на @cryptochan и получайте новости в нашем Telegram канале.
×
Главная » #STREAM » Новости криптовалют за 02.12.2017
03:00

Сообщество Эфириума Классик собралось на саммите в Гонконге

В очередной раз о принципах, на основе которых был создан Эфириум Классик, напомнила в своей страстной программной речи Мередит Паттерсон (Meredith Patterson), эксперт по безопасности языка программирования. Она рассказала о пренебрежении, которым ответил Эфириум на предположение о том, что прибегнуть к формальным методам разработки программного обеспечения может быть хорошей идеей. Она утверждает, что у Эфириума Классик ещё есть возможность принять формальные методы – подход, активными сторонниками и приверженцами которого в собственных процессах разработки являются IOHK. По её словам, для того чтобы код был равноценен закону, значение кода должно быть точным и недвусмысленным, и пользователи должны обладать тем же его пониманием, что и машины. Достижение этой цели подразумевает в том числе принятие строгой формальной семантики, такой как KEVM. Недочёты в тестовых пакетах должны быть найдены, а проблема решена. Solidity необходимо заменить другим языком программирования.

Обсудить в чате
Похожие новости
  • 21 Ноя, 03:00

    Обзор Эфириума Классик (ETC): децентрализован

    Эфириум Классик (ETC). Некоторые считают, что эта криптовалюта воплощает в себе изначальное видение платформы Эфириум, каким оно было до первого хард-форка с целью спасения средств DAO. После недавней проблемы с кошельками для Эфириума Parity я подум...

В мире за неделю

Pro banner