From a61ab9d639f4119ab333867048cd75ad482dbe3f Mon Sep 17 00:00:00 2001 From: CJ42 Date: Tue, 26 Sep 2023 09:29:11 +0100 Subject: [PATCH] docs: add Code4Rena audit report --- README.md | 1 + audits/README.md | 3 +++ 2 files changed, 4 insertions(+) create mode 100644 audits/README.md 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)