
Виталик Бутерин: угроза ИИ-взломов преувеличена, формальная верификация усилит защиту
- —Бутерин: ИИ снизит стоимость формальной верификации кода
- —Около 90% личного состояния Бутерина остаётся в криптовалютах
- —Он указал на сложность самого определения «безопасности» на примере Signal
Почему важно: Тезис Бутерина поддерживает нарратив о зрелости блокчейн-безопасности и снижает опасения по поводу ИИ-атак на криптоинфраструктуру.
Источник: Digital Today