diff --git a/README.md b/README.md index 7e76fd392..a5fff68d1 100644 --- a/README.md +++ b/README.md @@ -136,6 +136,7 @@ The following audits and formal verification were conducted. All high-level issu - Runtime Verification - Formal Verification, 2023-02-20, Final Result: [RuntimeVerification_formalVerification_2023_02_20.pdf](./audits/RuntimeVerification_formalVerification_2023_02_20.pdf) - Trust Audit, 2023-04-13, Final Result: [Trust_audit_2023_04_13.pdf](./audits/Trust_audit_2023_04_13.pdf) - Watchpug Audit, 2023-04-21, Final Result: [Watchpug_audit_2023_04_21.pdf](./audits/Watchpug_audit_2023_04_21.pdf) +- Code4Rena Audit Contest, 2023-06-30 to 2023-07-14, Final Result: [See Code4Rena audit report on Code4rena.com website](https://code4rena.com/reports/2023-06-lukso) ## Contributors ✨ diff --git a/audits/README.md b/audits/README.md new file mode 100644 index 000000000..7871ca659 --- /dev/null +++ b/audits/README.md @@ -0,0 +1,3 @@ +# Smart Contracts Audits + +In addition to the audits reports in pdf available in this page, you can find the audit report of the **Code4Rena audit contest** at the following link: [https://code4rena.com/reports/2021-05-lukso](https://code4rena.com/reports/2021-05-lukso)