Автономные агенты действуют в DeFi. Они распределяют, перераспределяют и выполняют операции между протоколами с минимальным контролем. Spearbit оценивает эти системы под давлением, чтобы выявить поведение, которое статический анализ не может обнаружить. Подробности ниже.

Мы слышим сигналы, в индустрии грядут изменения. @soniclabs Мы всегда готовы, когда системы эволюционируют. Готовьтесь, 17 июля.

Высокосигнальный обзор безопасности @MorphoLabs × @Spearbit теперь завершен. Это взаимодействие, возглавляемое экспертами, сосредоточилось на системе Morpho Vaults v2, включая архитектуру адаптеров, поведение накопления процентов и параметры, определяемые управлением.

Платформы на основе Move, такие как Sui и Aptos, определяют токены через возможности. Авторитет, принуждение и управление встроены на структурном уровне. Дизайн токенов становится архитектурой.

После интеграции, объявленной в мае, решения Spearbit теперь доступны через домен @cantinaxyz. Обновление отражает единый опыт, который уже реализован в обзорах, рабочих процессах и операциях.

zkVMs переопределяют выполнение. Они проверяют логику с помощью криптографических доказательств, а не выполнения. Биткойн входит в эту модель через реле и доказательства включения. Выполнение программируемо, но риски изменились. Подробности ниже.

Биткойн встречает программируемость. Мы провели высокосигнальный обзор @BotanixLabs в преддверии их запуска основной сети. Поздравляем команду, продвигающую экосистему Биткойна.

В июне элитные исследователи Spearbit продолжили улучшать безопасность протоколов в Web3.

Рекурсивность остается критическим классом уязвимостей. Современные варианты включают рекурсивную логику представления, манипуляции с управлением и искажение оракулов, основанное на обратных вызовах, через границы контрактов.

Кантину Саммит 2025