Виталик: ИИ может верифицировать всю программу, Ethereum в ближайшие годы займётся безопасностью ПО

Odaily News: Виталик опубликовал сообщение в платформе X, заявив, что около 90% его чистых активов хранится в криптовалюте, и считает, что по мере постепенного созревания соответствующих технологий кибербезопасность будет всё больше смещаться в сторону защищающейся стороны.

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