03:00

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

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

• 16:41 В Standard Chartered заявили о десятикратном потенциале роста сегмента стейблкоинов
• 14:50 Соучредитель Ethereum перевел 20 000 ETH на Kraken
• 14:36 Капитализация стейблкоинов достигла рекордных $191,5 млрд
• 14:00 Хабиб Нурмагомедов поддержал высмеивающий Конора Магрегора мемтокен
• 13:43 Зафиксирован рекордный объем месячных торгов Uniswap на L2, несмотря на уменьшение спроса на DeFi
• 13:16 RevBit сократил время обмена криптовалют до двух минут
• 12:55 Tether расширит кредитование сырьевых компаний до $5 млрд
• 12:53 Solana Meetup: Pible и Open Source Fun приглашают вас на предновогоднюю встречу криптосообщества

И еще 18