Orbiter Finance активно продвигает свою интеграцию в экосистему Ethereum. Недавно компания совместно с Kyle Charbonnet из Фонда Ethereum, профессором Университета Калифорнии в Санта-Барбаре и основателем Nubit Feng Yu (@captain8299) опубликовала исследование безопасности кроссчейн мостов под названием "Scutum: Temporal Verification for Cross-Rollup Bridges via Goal-Driven Reduction". Данная статья, написанная экспертами и академическими преподавателями в области безопасности экосистемы Ethereum, предлагает математическую модель и проводит ретроспективный анализ данных в блокчейне Orbiter за последние 2-3 года с целью заранее выявлять мошеннические транзакции. Это сотрудничество направлено на предоставление теоретической поддержки и практического руководства для системы Maker Orbiter.

Основное содержание исследовательской статьи

Данная статья углубленно исследует, как оценить безопасность моста между Rollup с помощью расширяемой системы валидаторов. Исследовательская группа выделила три ключевых момента:

Расширяемый валидатор: Scutum обнаружил несколько уязвимостей нулевого дня в ведущих мостах между Rollup (включая Orbiter Finance). Этот метод использует всеобъемлющую мульти-модельную структуру для захвата временных атрибутов индивидуального поведения и сложного взаимодействия между компонентами. В то же время для улучшения масштабируемости в статье представлен анализ достижимости с использованием представления контрактного графа.

Построение модели безопасности: Scutum использует анализ достижимости графа контрактов для приближенной временной проверки безопасности, в сочетании с техниками анализа программ. Кроме того, он использует итеративный процесс, основанный на конфликтах, для устранения ложных положительных результатов и повышения точности модели в различных моделях мостов.

Производительность: инструмент Scutum показывает хорошую производительность времени выполнения, что делает его подходящим для анализа в режиме реального времени или практически в реальном времени.

Обязательства по безопасности

С момента своего основания в 2021 году Orbiter продолжает глубоко исследовать вопросы безопасности и стремится стать надежной инфраструктурой для кросс-чейн взаимодействия. Главный специалист по технологии Vizing в Orbiter Finance, Джусон Ся, говорит: «Мы никогда не покажем стремления создавать более безопасные модели мостов для кросс-чейн взаимодействия. В дополнение к использованию данных в блокчейне для активного обнаружения потенциально мошеннических операций, мы также активно взаимодействуем с эфириумом и криптографами в академическом и инженерном плане.