Хотите всегда оставаться в курсе событий? Подписывайтесь на @cryptochan и получайте новости в нашем Telegram канале.
×
Сообщество Эфириума Классик собралось на саммите в Гонконге
В очередной раз о принципах, на основе которых был создан Эфириум Классик, напомнила в своей страстной программной речи Мередит Паттерсон (Meredith Patterson), эксперт по безопасности языка программирования. Она рассказала о пренебрежении, которым ответил Эфириум на предположение о том, что прибегнуть к формальным методам разработки программного обеспечения может быть хорошей идеей. Она утверждает, что у Эфириума Классик ещё есть возможность принять формальные методы – подход, активными сторонниками и приверженцами которого в собственных процессах разработки являются IOHK. По её словам, для того чтобы код был равноценен закону, значение кода должно быть точным и недвусмысленным, и пользователи должны обладать тем же его пониманием, что и машины. Достижение этой цели подразумевает в том числе принятие строгой формальной семантики, такой как KEVM. Недочёты в тестовых пакетах должны быть найдены, а проблема решена. Solidity необходимо заменить другим языком программирования.
Похожие новости
- 21 Ноя, 03:00
Обзор Эфириума Классик (ETC): децентрализован
Эфириум Классик (ETC). Некоторые считают, что эта криптовалюта воплощает в себе изначальное видение платформы Эфириум, каким оно было до первого хард-форка с целью спасения средств DAO. После недавней проблемы с кошельками для Эфириума Parity я подум...
Cегодня
- 14:55 Глава регулятора Гонконга назвала биткоин альтернативным финансовым активом
- 14:44 Биткоин-майнер Bitdeer объявил о покупке компании по разработке ASIC за $140 млн
- 14:00 Mastercard возобновила сотрудничество с Binance
- 13:47 B2BinPay добавила поддержку L2-решений и стейкинга в сети Tron
- 13:15 Законопроект о майнинге в РФ рекомендовали доработать
- 12:52 TVL протокола EigenLayer превысил $20 млрд
- 12:32 Tools for Humanity: 87% испанцев ждут возвращения Worldcoin
- 12:32 Генслер: утверждение Ether ETF «займет некоторое время»
В мире за неделю
-
6 Июн, 12:22+4 Крупнейший биткоин-майнер в мае продал 63% добытых после халвинга BTC
-
6 Июн, 05:07+4 Bitwise: Цифровые валюты привлекут триллионы долларов
-
6 Июн, 02:30+5 ФБР предупреждает о мошенничествах с криптовалютой на фальшивых работах из дома
-
4 Июн, 07:58+4 Бизнесменам на заметку: майнинг может стать новым видом экономической деятельности
-
2 Июн, 13:40+7 Британский банк Kroo решил запретить своим клиентам совершать транзакции с криптовалютой
-
27 Май, 16:30+4 Почему Ethereum (ETH) будет расти
-
24 Май, 13:50+5 Материал Центробанк не видит массового инвестирования в криптовалюты, портал ПЛАС