Orbiter Finance collaborates with the Ethereum Foundation and the University of California, Santa Barbara to enhance the security model of bridging p
Since its establishment in 2021, Orbiter has been deeply exploring security, aiming to become a reliable infrastructure in the cross-chain field.
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:
- 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.
- 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.
- 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
Disclaimer: The content of this article solely reflects the author's opinion and does not represent the platform in any capacity. This article is not intended to serve as a reference for making investment decisions.
You may also like
The XRP Price Explosion: Mapping the Journey to $13 and Beyond
Stellar (XLM) Targets $5 Breakout as Rare “Adam & Eve” Pattern Emerges
Bitget Spot Bot adds ZRC/USDT
We are pleased to announce that Bitget spot bot has now added: ZRC/USDT. Reference 1. Spot grid 2. Crash course on Spot Grid Disclaimer Despite high growth potential, cryptocurrencies still face high risks and volatility. You are strongly advised to do your own research as you invest at your own ri