03:00

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

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

• 17:18 Dogecoin обошел по капитализации автоконцерн Porsche
• 16:41 В Standard Chartered заявили о десятикратном потенциале роста сегмента стейблкоинов
• 16:31 Ки Янг Джу: Мне известна причина задержки начала сезона альткоинов
• 14:50 Соучредитель Ethereum перевел 20 000 ETH на Kraken
• 14:36 Капитализация стейблкоинов достигла рекордных $191,5 млрд
• 14:00 Хабиб Нурмагомедов поддержал высмеивающий Конора Магрегора мемтокен
• 13:43 Зафиксирован рекордный объем месячных торгов Uniswap на L2, несмотря на уменьшение спроса на DeFi
• 13:16 RevBit сократил время обмена криптовалют до двух минут

И еще 20