diff --git a/README.md b/README.md index 705fcfc..2251a8b 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,3 @@ -## ⚠️ Disclaimer: This code is going through audits. It is NOT intended for a production use yet. - ## Symbiotic **Symbiotic is a shared security protocol enabling decentralized networks to control and customize their own multi-asset restaking implementation.** @@ -20,6 +18,14 @@ Symbiotic core consists of: Can be found [here](./specs). +## Security + +Security audits can be found [here](./audits). + +Not included files: + +- [`src/contracts/hints`](src/contracts/hints) + ## Usage ### Env diff --git a/audits/Cantina-Core.pdf b/audits/Cantina-Core.pdf new file mode 100644 index 0000000..92134e0 Binary files /dev/null and b/audits/Cantina-Core.pdf differ diff --git a/audits/Certora-Core.pdf b/audits/Certora-Core.pdf new file mode 100644 index 0000000..1763e51 Binary files /dev/null and b/audits/Certora-Core.pdf differ diff --git a/audits/ChainSecurity-Core.pdf b/audits/ChainSecurity-Core.pdf new file mode 100644 index 0000000..4e62d34 Binary files /dev/null and b/audits/ChainSecurity-Core.pdf differ diff --git a/audits/OtterSec-Core&Rewards.pdf b/audits/OtterSec-Core&Rewards.pdf new file mode 100644 index 0000000..14dc3e2 Binary files /dev/null and b/audits/OtterSec-Core&Rewards.pdf differ diff --git a/audits/Statemind-Core&Rewards.pdf b/audits/Statemind-Core&Rewards.pdf new file mode 100644 index 0000000..91d0724 Binary files /dev/null and b/audits/Statemind-Core&Rewards.pdf differ diff --git a/audits/Zellic-Core.pdf b/audits/Zellic-Core.pdf new file mode 100644 index 0000000..72b2395 Binary files /dev/null and b/audits/Zellic-Core.pdf differ