Виталик Бутерин: сочетание ИИ и формальной верификации может резко повысить безопасность Ethereum
18 источники154K8.5KВиталик Бутерин считает, что объединение ИИ и формальной верификации может значительно снизить риск взломов Ethereum, позволяя математически доказывать корректность кода до запуска.
Взлом моста Verus–Ethereum на $11,5 млн: как пропущенная проверка в смарт‑контракте позволила вывести миллионы
19 источники199K10.0KВ мае 2026 года злоумышленник вывел из моста Verus–Ethereum около $11,5–$11,58 млн, используя уязвимость в проверке данных кроссчейн‑транзакций.
Как Move Prover от Aptos может изменить безопасность смарт‑контрактов
20 источники626K35KAptos продвигает Move Prover — систему формальной верификации, которая математически проверяет корректность смарт‑контрактов до их развертывания в сети.
Почему Джорди Виссер купил Ether: ставка на ИИ-агентов и токенизацию
16 источники1.3M70KПо сообщениям, Джорди Виссер купил Ether в мае 2026 года, потому что ожидает роста спроса на токенизированные активы со стороны ИИ агентов.
Почему разработчики выбирают Solana для массовых криптоприложений
19 источники1.4M75KSolana особенно привлекательна для частых on chain действий: документация сети указывает около 400 мс для обеспечения средств и медианную платёжную комиссию около $0.001 [17].
OKX APP: зачем ИИ-агентам нужен протокол для ончейн-сделок, а не просто платежи
15 источники1.4M80KOKX APP — это Agent Payments Protocol, открытый стандарт Agent Commerce в составе OKX Onchain OS: он нацелен не на одиночный платеж, а на полный цикл сделки между ИИ агентами.[1][2]