Orbiter Finance collaborates with the Ethereum Foundation and the University of California, Santa Barbara to enhance the security model of bridging protocols

Orbiter Finance is actively advancing its integration within the Ethereum ecosystem. Recently, the company collaborated with Kyle Charbonnet from the Ethereum Foundation, a professor at the University of California, Santa Barbara, and Feng Yu (@captain8299), the founder of Nubit, to jointly publish a study on cross-chain bridge security titled "Scutum: Temporal Verification for Cross-Rollup Bridges via Goal-Driven Reduction." This paper was co-authored by experts in the field of Ethereum ecosystem security and academic professors, proposing a mathematical model and backtesting the on-chain data of the Orbiter bridge over the past 2-3 years, aiming to proactively identify fraudulent transactions through modeling. This collaboration aims to provide theoretical support and practical guidance for Orbiter's Maker system.

Core Content of the Research Paper

The paper delves into how to assess the security of cross-Rollup bridging through a scalable verifier system. The research team emphasized three key points:

1. Scalable Verifier: Scutum's evaluation of mainstream cross-Rollup bridges (including Orbiter Finance) uncovered multiple zero-day vulnerabilities. This method utilizes a comprehensive multi-model framework to capture the temporal properties of individual behaviors and the complex interactions between components. Additionally, to enhance scalability, the paper introduces reachability analysis through contract graph representation.
2. Security Model Construction: Scutum approximates temporal safety verification through reachability analysis of contract graphs, combined with program analysis techniques. Furthermore, it employs conflict-driven refinement loops to eliminate false positives, thereby improving the model's predictive accuracy across different bridging models.
3. Performance: The Scutum tool demonstrates good runtime performance, making efficient analysis applicable to real-time or near-real-time scenarios.

Commitment to Security

Since its establishment in 2021, Orbiter has been deeply exploring security, aiming to become a reliable infrastructure in the cross-chain field. Juson Xia, the technical lead of Orbiter Finance's core product Vizing, stated, "We will never give up on building a safer cross-chain bridge model. In addition to proactively identifying potential fraudulent transactions through backtesting on-chain data, we will also deepen our academic communication and engineering collaboration with Ethereum and cryptographers."

Click to view the original link