Tulip Protocol works closely with Sec3 (formerly Soteria) and is subscribed to their Pro plan for their auto auditor software. Sec3 scans Rust programs for 40+ SVEs with every run, ensuring each update for Tulip code is reviewed.
Latest Sec3 Audit Reports