Orbiter Finance активно продвигает свою интеграцию в экосистеме Ethereum. Недавно компания совместно с Кайлом Шарбонне из фонда Ethereum, профессором из Калифорнийского университета в Санта-Барбаре и основателем Nubit Фэн Ю (на @captain8299) выпустила исследование по безопасности кросс-цепных мостов под названием (Scutum: Temporal Verification for Cross-Rollup Bridges via Goal-Driven Reduction). Эта статья была написана экспертами и академическими профессорами в области безопасности экосистемы Ethereum, она предлагает математическую модель и проводит обратное тестирование данных за последние 2-3 года для моста Orbiter с целью заранее выявить мошеннические транзакции. Это сотрудничество направлено на предоставление теоретической поддержки и практических рекомендаций для системы Maker Orbiter.
Основное содержание исследовательской статьи
Данная статья深入 исследует, как с помощью масштабируемой системы проверки оценить безопасность кросс-Rollup мостов. Исследовательская команда подчеркивает три ключевых момента:
Масштабируемый валидатор: Оценка Scutum по основным кросс-Rollup мостам (включая Orbiter Finance) выявила несколько нулевых уязвимостей. Этот метод использует всеобъемлющую многомодельную структуру, улавливающую временные характеристики сложного взаимодействия между отдельными действиями и различными компонентами. Вдобавок, для повышения масштабируемости, статья вводит анализ достижимости с использованием графов контрактов.
Построение модели безопасности: Scutum приближает временную проверку безопасности через анализ достижимости графов контрактов, комбинируя это с методами анализа программ. Кроме того, он использует цикл уточнения на основе конфликтов для устранения ложноположительных результатов, что повышает точность прогнозирования модели в различных мостовых моделях.
Производительность: Инструмент Scutum демонстрирует хорошую производительность во время выполнения, что делает его применение эффективным для сценариев в реальном времени или близких к реальному времени.
Обязательство к безопасности
С момента своего основания в 2021 году, Orbiter активно занимается исследованием безопасности, стремясь стать надежной инфраструктурой в области кросс-цепей. Технический директор продукта Vizing Orbiter Finance, Juson Xia, заявил: «Мы никогда не откажемся от создания более безопасной модели кросс-цепного моста. Кроме того, что мы активно идентифицируем потенциальные мошеннические транзакции через обратное тестирование данных в цепи, мы также углубим сотрудничество с академиками и инженерами в области Ethereum и криптографии.»