Виталик Бутерин: ИИ позволит доказывать безопасность программ целиком
- —Бутерин держит около 90% чистых активов в криптовалютах
- —ИИ должен верифицировать весь код, а не только критичные части
- —Полная верификация охватит БД, сеть, кэш и другие компоненты
- —Без этого у блокчейнов с масштабируемостью и приватностью нет будущего
Почему важно: Заявление задаёт вектор развития Ethereum в сторону формальной верификации кода, что может повысить доверие к безопасности сетей.
Источник: PANews