Коротко о взломах/хакерах и безопасности наших щитков...
Сооснователь NEAR: AI-технологии уже помогают хакерам находить уязвимости быстрее, чем разработчики успевают их исправлять.Привычный подход, когда специалисты вручную проверяют код в надежде ничего не пропустить, больше не работает. Каждая новая AI-модель способна находить ошибки, которые не заметила предыдущая.
Решением может стать формальная верификация – математическое доказательство того, что код действительно работает так, как задумано. Раньше на создание таких доказательств уходили годы, но благодаря AI-технологиям этот процесс уже сократился до нескольких недель.
Илья Полосухин считает, что в будущем так должны проверяться не только смарт-контракты, но и вообще весь критически важный код в интернете.
━━━━━━━━━━━━━━━━━
Пользуюсь криптокартой JAM━━━━━━━━━━━━━━━━━
