Хаки· ★★· нейтрально·

Виталик Бутерин: угроза ИИ-взломов преувеличена, формальная верификация усилит защиту

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