криптосети

Виталик Бутерин предложил использовать AI-верификацию для защиты криптосетей. Математически подтвержденный код может снизить риски уязвимостей.