Soroban Platform

Cables

April 10, 2024

The purpose of this research was to audit all components of the Cables protocol, with the goal of validating the architecture and design, and strengthening any assumptions of soundness, security and robustness of the DeFi application.

We were initially supplied with a given commit, and were later on redirected to a newer branch containing some optimization and API changes - including the addition of the match_and_fill function.

The audit was performed from February to March 2024.

Certora Logo
logologo
Terms of UsePrivacy Policy