Об этом же в других СМИ
Виталик Бутерин предсказал будущее смарт-контрактов без ошибок к 2030 году
Сейчас читают: 139
По словам соучредителя Ethereum Виталика Бутерина, разработчики, уделяющие приоритетное внимание безопасности, могут рассчитывать на то, что в 2030-х годах код без ошибок станет реальностью.
После неоднозначного хардфорка Gnosis Chain, нацеленного на возврат $9,4 млн, похищенных в результате взлома Balancer, Бутерин заявил, что в 2030-х годах нельзя будет сказать, что «ошибки неизбежны, невозможно написать код без ошибок».
Соучредитель Ethereum предположил, что прорывным решением может стать многоуровневая избыточность, позволяющая отфильтровывать пробелы между замыслом и реализацией.
Он указал на системы типов как на одну из форм избыточности, а на формальную проверку конкретных утверждений о коде как на другой уровень.
Читать на happycoin.clubОб этом же в других СМИ
Виталик Бутерин призвал «упростить» Эфириум. Как это поможет принятию криптовалюты? 2bitcoins.ru / 6 дней назад
Глава Tether назвал пузырь AI главным риском для биткоина в 2026 году coinspot.io / 6 дней назад
Bitwise: 2026 году в США будет запущено более 100 криптовалютных ETF happycoin.club / 1 неделю назад
Показать ещё
Сайт cryptos.tv - агрегатор новостей из открытых источников. Источник указан в начале и в конце анонса. Вы можете пожаловаться на новость, если находите её недостоверной.
