### Audit Results

##### Auditor

- G0 Group (https://github.com/g0-group)
    - Adam Kolář (@adamkolar)
- Certora (https://www.certora.com/)
- Nethermind Security (https://www.nethermind.io/)

##### Notes

- G0 Group: An initial audit was performed on commit [4bfc0c8519f1893015d7edfd2c2780fca163c364](https://github.com/safe-fndn/safe-smart-account/tree/4bfc0c8519f1893015d7edfd2c2780fca163c364) and contract changes until commit [9b305a0f80da7f1107d1181f52c844f089557d05](https://github.com/safe-fndn/safe-smart-account/tree/9b305a0f80da7f1107d1181f52c844f089557d05) have been checked.

The final audit was performed on commit [ad6c7355d5bdf4f7fa348fbfcb9f07431769a3c9](https://github.com/safe-fndn/safe-smart-account/tree/ad6c7355d5bdf4f7fa348fbfcb9f07431769a3c9).
- Certora: The final audit was performed on commit [767ef36bba88bdbc0c9fe3708a4290cabef4c376](https://github.com/safe-fndn/safe-smart-account/tree/767ef36bba88bdbc0c9fe3708a4290cabef4c376).
- Nethermind: The audit was performed on commit [767ef36bba88bdbc0c9fe3708a4290cabef4c376](https://github.com/safe-fndn/safe-smart-account/tree/767ef36bba88bdbc0c9fe3708a4290cabef4c376).

##### Files

- [G0 Final Audit Report 1.3.0](Gnosis_Safe_Audit_Report_1_3_0_Final.pdf)
- [G0 Initial Audit Report 1.3.0](Gnosis_Safe_Audit_Report_1_3_0_Initial.pdf)
- [Certora Audit Report 1.3.0](Safe_Audit_Report_1_3_0_Certora.pdf)
- [Nethermind Audit Report 1.3.0](Safe_Audit_Report_1_3_0_Nethermind.pdf)

##### External links for Audit Reports

- [G0 Final Audit Report 1.3.0](https://github.com/g0-group/Audits/blob/9c18c800e65d28a8cf9f608c9dbbc13edbac70c8/GnosisSafeMay2021.pdf)
- [G0 Initial Audit Report 1.3.0](https://github.com/g0-group/Audits/blob/9c18c800e65d28a8cf9f608c9dbbc13edbac70c8/GnosisSafeApr2021.pdf)