Виталик Бутерин считает, что объединение ИИ и формальной верификации может значительно снизить риск взломов Ethereum, позволяя математически доказывать корректность кода до запуска.
В мае 2026 года злоумышленник вывел из моста Verus–Ethereum около $11,5–$11,58 млн, используя уязвимость в проверке данных кроссчейн‑транзакций.
Aptos продвигает Move Prover — систему формальной верификации, которая математически проверяет корректность смарт‑контрактов до их развертывания в сети.
По сообщениям, Джорди Виссер купил Ether в мае 2026 года, потому что ожидает роста спроса на токенизированные активы со стороны ИИ агентов.
Solana особенно привлекательна для частых on chain действий: документация сети указывает около 400 мс для обеспечения средств и медианную платёжную комиссию около $0.001 [17].
OKX APP — это Agent Payments Protocol, открытый стандарт Agent Commerce в составе OKX Onchain OS: он нацелен не на одиночный платеж, а на полный цикл сделки между ИИ агентами.[1][2]