Tasnim сообщает, что США согласились на время переговоров приостановить санкции против иранской нефти. Новое предложение Ирана включает 14 пунктов, с фокусом на прекращение боевых действий и меры доверия между сторонами.
📺Крипто ТВ📺
Strategy Майкла Сэйлора купила еще 24 869 BTC примерно на $2 млрд по средней цене $80 985. Теперь на балансе компании 843 738 BTC стоимостью около $65,1 млрд.
📺Крипто ТВ📺
🌽 Гранты от Ink: 6-недельный удалённый акселератор, билдеры — внимание
Ink (L2 от Kraken) анонсировали 6-недельный удалённый акселератор с финансированием для команд, которые строят продукты.
🟡 Два направления для подачи заявки:
💬 Строите вне Ink
💬 Строите на Ink (грантовая программа)
Они планируют вернуться с ответом к середине июля.
Если у вас уже есть что-то хотя бы близкое к mainnet-ready, не затягивайте с раздумьями — подавайте заявку сейчас, пока пул билдеров ещё не переполнен 🌽
В сети обнаружили интересное совпадение — после назначения Джанет Йеллен на пост главы ФРС в 2014-м биткоин упал примерно на 85%, а после прихода Джерома Пауэлла — более чем на 70%.
Отработает ли этот «паттерн» после назначения Кевина Уорша?
#tickets">Conference | News | Incrypted+
«Третього варіанту просто не існує»: Z-військкори відмовляються від мрій про перемоги
Тепер прогнозують або нову хвилю мобілізації цієї осені, або вихід на мирну угоду.
Схоже, навіть найзапекліші прихильники війни починають щось усвідомлювати...
Виталик Бутерин: ИИ-технологии и математическая верификация кода станут ключом к защите Ethereum и криптоиндустрии от будущих атак
В Ethereum растет использование Lean и низкоуровневого кода (assembly, EVM bytecode) с автоматической проверкой доказательств.
Такой подход может дать:
• более безопасный код
• меньше критических багов
• более высокую эффективность ПО
Бутерин считает математическую верификацию кода особенно важной для:
• Ethereum
• ZK-технологии
• STARKs
• постквантовой криптографии
По мнению Бутерина, ИИ будет не только находить баги, но и писать код вместе с математическими доказательствами его корректности.
Он считает, что в будущем появятся «secure core» системы с максимально проверенным кодом, и Ethereum станет одной из них. Источник@SatoshiNews - главное о крипте
канал | сайт | ❤ биржа