03:00

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

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

Нет новостей