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

Core content of research paper

The paper delves into how to evaluate the security of cross Rollup bridge through the scalable validator system. The research team highlights three key points:

Scutum, an extensible validator, discovered multiple zero-day vulnerabilities in mainstream cross-rollup bridges, including Orbiter Finance, using a comprehensive multi-model framework that captures the temporal properties of individual behaviors and complex interactions between components. Meanwhile, to enhance scalability, the paper introduces reachability analysis through a contract graph representation.

Security Model Construction: Scutum approximates time security verification through reachability analysis of contract graphs, combined with program analysis techniques. In addition, it adopts conflict-driven refinement loops to eliminate false positives and improve model prediction accuracy in different bridging models.

Performance: The Scutum tool demonstrates good runtime performance, making efficient analysis suitable for real-time or near-real-time application scenarios.

Commitment to Security

Since its establishment in 2021, Orbiter has been exploring deeply in security and is committed to becoming a reliable infrastructure in the field of cross-chain interaction. Juson Xia, the head of Vizing technology, Orbiter Finance's core product, said: "We will never give up building a more secure cross-chain interaction bridge model. In addition to actively identifying potential fraudulent transactions through backtesting on-chain data, we will also deepen academic communication and engineering cooperation with Ethereum and cryptographers."