Security Model and Verification

The Across smart contracts plus the UMIP provide the fundamental rules of the Across Protocol. The ACROSS-V2 price in UMIP-157 and extended by UMIP-179 precisely define the constraints and rules of the system. Actors in the system (relayer, dataworker) must behave in accordance to these rules. The system is secured by optimistic verification of relayer repayments and rebalance instructions by UMA's Optimistic Oracle, requiring only a single honest actor to dispute invalid proposals to keep the system secure.

Please refer to UMIP-157 and UMIP-179 for detailed information about system architecture, security model and verificaiton.