Как мы встроили LLM в криптофорензику так, чтобы она могла управлять solver’ами, но не могла принять приватный ключ, nonce или recovery claim
Не “AI взломал криптографию”, а “AI не имеет права быть источником криптографической истины”
Когда AI подключают к сложной инженерной системе, обычно задают один и тот же вопрос:
может ли модель найти правильный ответ?
В криптографии этот вопрос почти всегда поставлен неправильно.
Правильный вопрос другой:
можно ли встроить AI так, чтобы даже при ошибке он не мог принять опасное решение?
Это особенно важно в системах, которые работают с цифровыми подписями, nonce, решётками, HNP-маршрутами и candidate private key. Там нельзя сказать: “модель уверена, значит ключ найден”. Нельзя принять
candidate_d по confidence score. Нельзя превратить красивое объяснение в cryptographic evidence. Нельзя позволить текстовому reasoning заменить проверку:https://habr.com/ru/articles/1034540/
Алгоритмы и Структуры данных