ВИТАЛИК БУТЕРИН: ИИ МОГ БЫ ПОВЕРНУТЬ БЕЗОПАСНОСТЬ БЛОКЧЕЙНА К ДРУГОМУ ПОДХОДУ
Виталик Бутерин отверг точку зрения, что хакеры с ИИ приведут к краху кибербезопасности. По данным PANews, он утверждает, что акцент следует делать на создании систем, которые противостоят атакам и могут быть проверены, а не на гонке за поиском уязвимостей.
Бутерин сравнил это с математикой: если ИИ может доказывать уравнения Навье—Стокса и последнюю теорему Ферма, то в принципе он мог бы также доказывать, что программа безопасна, как теорема.
Он отметил, что «безопасность» включает подделку, атаки с повторным воспроизведением, компрометацию сервера, утечку ключей и атаки по побочным каналам. Этот охват остается меньше, чем площадь атаки исходного кода, и, возможно, его легче проверять.
Бутерин ранее говорил, что попытки проверять лишь части систем безопасности не увенчались успехом. С ИИ нужно будет проверять всю программу целиком, включая базы данных, сети, кэши и другие компоненты.
Он не рассматривает это просто как гонку между хорошими и плохими участниками. Цель — более устойчивый к атакам код, и Бутерин сказал, что это станет частью разработки Ethereum.
Этот взгляд важен, потому что многие уровни программного обеспечения и инфраструктуры блокчейна взаимодействуют друг с другом. Бутерин отметил, что без надежной верификации блокчейны, объединяющие масштабируемость и конфиденциальность, будут испытывать трудности в долгосрочной перспективе.
Бутерин также сказал, что он по-прежнему хранит криптовалюту — около 90% своего net worth — как ставку на улучшение безопасности за счет проектирования и верификации.
ИИ наращивает наступательные возможности, но аргумент Бутерина смещает вопрос с «кто найдет баг первым?» на «насколько хорошо система может доказать, что она безопасна?»
Может ли полная верификация программы стать новым стандартом безопасности для Ethereum и для блокчейнов, сочетающих масштабируемость с конфиденциальностью?
Пожалуйста, проведите собственное исследование перед тем, как совершать любые транзакции (DYOR). $ETH $SOL $ZEC
Виталик Бутерин отверг точку зрения, что хакеры с ИИ приведут к краху кибербезопасности. По данным PANews, он утверждает, что акцент следует делать на создании систем, которые противостоят атакам и могут быть проверены, а не на гонке за поиском уязвимостей.
Бутерин сравнил это с математикой: если ИИ может доказывать уравнения Навье—Стокса и последнюю теорему Ферма, то в принципе он мог бы также доказывать, что программа безопасна, как теорема.
Он отметил, что «безопасность» включает подделку, атаки с повторным воспроизведением, компрометацию сервера, утечку ключей и атаки по побочным каналам. Этот охват остается меньше, чем площадь атаки исходного кода, и, возможно, его легче проверять.
Бутерин ранее говорил, что попытки проверять лишь части систем безопасности не увенчались успехом. С ИИ нужно будет проверять всю программу целиком, включая базы данных, сети, кэши и другие компоненты.
Он не рассматривает это просто как гонку между хорошими и плохими участниками. Цель — более устойчивый к атакам код, и Бутерин сказал, что это станет частью разработки Ethereum.
Этот взгляд важен, потому что многие уровни программного обеспечения и инфраструктуры блокчейна взаимодействуют друг с другом. Бутерин отметил, что без надежной верификации блокчейны, объединяющие масштабируемость и конфиденциальность, будут испытывать трудности в долгосрочной перспективе.
Бутерин также сказал, что он по-прежнему хранит криптовалюту — около 90% своего net worth — как ставку на улучшение безопасности за счет проектирования и верификации.
ИИ наращивает наступательные возможности, но аргумент Бутерина смещает вопрос с «кто найдет баг первым?» на «насколько хорошо система может доказать, что она безопасна?»
Может ли полная верификация программы стать новым стандартом безопасности для Ethereum и для блокчейнов, сочетающих масштабируемость с конфиденциальностью?
Пожалуйста, проведите собственное исследование перед тем, как совершать любые транзакции (DYOR). $ETH $SOL $ZEC
