ИИ хакеры атакуют — значит, кибербезопасность заранее обречена на провал? V с этим не согласен.
Его ключевой вывод: безопасность по своей природе смещена в сторону защитников. Если ИИ сможет доказать уравнения Навье–Стокса или последнюю теорему Ферма, то он сможет превратить утверждение «эта программа безопасна» в математическую теорему. Настоящая трудность не в сложности кода, а в том, как определить «безопасность»: если определение слишком узкое, то поверхность атаки просочится через «лазейки» за пределами определения.
Поэтому он считает, что формальная верификация не должна охватывать только те модули, которые кажутся ключевыми; в сферу должны быть включены все программы — базы данных, сеть, кэш и т. д. Кроме того, определение безопасности должно быть читаемым и допускающим комбинирование. По сравнению с построчным поиском ошибок, зачастую более практично сначала проверить, достаточно ли полно определены компоненты — например, определения для протоколов сообщений, песочниц, SNARK, FHE и прочего.
Это не про то, что «хорошие парни раньше находят уязвимости», а про то, чтобы сделать код изначально более устойчивым к атакам. V заявляет, что дальнейшая концентрация примерно девяти десятых чистых активов в зашифрованных активах — это само по себе ставка на этот маршрут; без него у блокчейна с учетом масштабирования и приватности не будет будущего, и в ближайшие годы Ethereum будет двигаться в этом направлении.
#AI #网络安全 #以太坊 $ETH
Его ключевой вывод: безопасность по своей природе смещена в сторону защитников. Если ИИ сможет доказать уравнения Навье–Стокса или последнюю теорему Ферма, то он сможет превратить утверждение «эта программа безопасна» в математическую теорему. Настоящая трудность не в сложности кода, а в том, как определить «безопасность»: если определение слишком узкое, то поверхность атаки просочится через «лазейки» за пределами определения.
Поэтому он считает, что формальная верификация не должна охватывать только те модули, которые кажутся ключевыми; в сферу должны быть включены все программы — базы данных, сеть, кэш и т. д. Кроме того, определение безопасности должно быть читаемым и допускающим комбинирование. По сравнению с построчным поиском ошибок, зачастую более практично сначала проверить, достаточно ли полно определены компоненты — например, определения для протоколов сообщений, песочниц, SNARK, FHE и прочего.
Это не про то, что «хорошие парни раньше находят уязвимости», а про то, чтобы сделать код изначально более устойчивым к атакам. V заявляет, что дальнейшая концентрация примерно девяти десятых чистых активов в зашифрованных активах — это само по себе ставка на этот маршрут; без него у блокчейна с учетом масштабирования и приватности не будет будущего, и в ближайшие годы Ethereum будет двигаться в этом направлении.
#AI #网络安全 #以太坊 $ETH