Рады вас видеть на странице нашего обменника Splitex.net
Немного интересных новостей:
Виталик Бутерин предложил использовать ИИ для доказательства безопасности кода. Он признаёт, что злоумышленники тоже могут применять ИИ для поиска уязвимостей, но предлагает асимметричный ответ: создавать код, который изначально устойчивее к атакам.
В основе идеи — формальная верификация. Это метод, при котором с помощью математики доказывается, что программа соответствует требованиям безопасности. Бутерин сравнивает это с доказательством сложных теорем: если ИИ способен справиться с теоремой Ферма или уравнениями Навье-Стокса, то сможет доказать и безопасность программы. ИИ, по его мнению, сильно ускорит и удешевит такие доказательства.
Он приводит в пример Signal и напоминает, что угрозы не ограничиваются содержимым сообщений. Риски есть в операционной системе, откуда могут утечь ключи, в метаданных, в серверах, библиотеках и даже компиляторах. Поэтому проверять только те фрагменты кода, которые разработчики считают критичными, неправильно — ошибки чаще всего скрываются как раз в остальном. Проверять нужно всё: базу данных, сетевой уровень, все слои кэширования.
Главная мысль Бутерина: речь не о гонке, кто найдёт уязвимости первым — хорошие или плохие. Речь о том, чтобы делать код изначально более устойчивым. Именно в этом направлении, по его словам, Эфириум будет развиваться в ближайшие годы, и без такого подхода у блокчейнов с масштабируемостью и конфиденциальностью нет будущего.
Контакты:
Оф. сайт:
https://splitex.net/ru/
Техническая поддержка:
Новостной канал:
t.me/split_exchange
Менеджер:
t.me/split_mngr