🖋️Formal Audits
Last updated
Last updated
RA is an authorized fork of RAMSES, thus inherits the same security
RAMSES CL has commissioned a thorough security audit by yAudit (Yearn Academy's auditing arm) to formally verify the secure stature of our V2 codebase and the BUSL protected contracts. yAudit has a stellar track record and is a coalition made up of very talented and proven experts within the DeFi landscape. The formal audit report can be found at: https://reports.yaudit.dev/reports/06-2023-RAMSES/
The RA codebase is professionally audited