Decentralized exchange (DEX) aggregator 1inch (1INCH) announced through its blog that it has collaborated with security firm Certora to strengthen cross-chain swap stability. Certora explained that it verified the protocol structure, incentives, and execution timing, among other things, to check for risks of delays and malfunctions that could occur in real-world environments.