03:00

Великое криптовалютное ограбление

Можно ли реализовать эти внешние контакты таким образом, чтобы доверие не требовалось? Можно ли написать смарт-контракты для вызова роботов-сборщиков апельсинов и роботов-изготовителей концентрата, которые бы отправили управляемые роботами грузовики с концентратом апельсинового сока прямо к нашим дверям? Да, теоретически. Но попробуйте себе представить, как будет выглядеть проверка всего этого кода, чтобы гарантировать, что каждый этап этого процесса не содержит багов и уязвимостей, которые могут привести, например, к угону грузовика или ошибкам при проверке чистоты апельсинового концентрата. Да, наверное, мы могли бы написать программы второго порядка, чтобы автоматизировать проверку программ первого порядка, но почему мы должны доверять программам второго порядка? Понадобятся ли нам автоматически выполняемые программы третьего порядка, чтобы проверить работу программ второго порядка? Когда эта цепочка прервётся и каким будет её последнее звено?

• 14:46 Держать или продавать: до решения по Ethereum-ETF осталось несколько часов
• 14:46 Биткоин-биржа Kuna провела переговоры о продаже бизнеса в Украине
• 14:08 Нацбанк Украины ограничит физлицам количество P2P-операций
• 13:47 Открытый интерес к фьючерсам на Ethereum впервые превысил $15,6 млрд
• 13:31 Ethereum уже почти $4000. Почему?
• 13:26 Как далекий от криптовалют документалист при помощи мамы и $2500 снял фильм о крахе FTX
• 13:12 Конгрессмен Том Эммер призвал запретить выпуск цифрового доллара
• 12:33 Дело о взятке в 2718 BTC поступило в подмосковный суд

И еще 26