Таке відчуття, що «альфафолд для експлойтів» має бути можливим: тренуються на парах (байт-код, контрольно-вимірювальні прилади), де інструментарій є інструментарієм LLVM на обході гілок, подібно до фаззінгу сірого ящика. Ставтеся до розробки експлойтів як до проблеми прогнозування структури чорного ящика.

потім висновок про синтетичні інструменти, де цей прилад представляє деякий стан програми, якого ви хочете досягти.

Це звучить жахливо, але не йде асиметрично на користь зловмисникам. захисники побудують цю інфраструктуру раніше за нападників, і її потужність (якщо вона схожа на AlphaFold) буде визначатися масштабом обчислень, чого у захисників буде більше.

Проблема з цим і з аналогією з альфа-фолдом полягає в тому, що ландшафт винагород для розробників експлойтів дуже розріджений і переривчастий. Мені було б дуже цікаво подивитися, як узагальнюється така модель

CC @DARPA

@EmilMieilica він також не записує придатний для експлуатації байт-код, він передбачає байт-код для довільного стану приладу