Виталик Бутерин заявил о новой эре безопасности Ethereum благодаря ИИ и формальной верификации
incrypted.comБутерин объяснил, как ИИ может спасти криптоиндустрию от хакеров. Он назвал технологию, которая может сделать смарт-контракты почти неуязвимыми.
Речь идет об использовании ИИ для формальной верификации кода. Сооснователь Ethereum Виталик Бутерин опубликовал материал о будущем кибербезопасности, искусственного интеллекта и криптоиндустрии, в котором заявил, что ИИ не обязательно разрушит доверие к смарт-контрактам.
