# 智能合约审计

 Euler 协议已经过顶级安全公司的审查和审计，包括：Halborn、Solidified 和 ZK Labs、Certora 和 Sherlock。

## Solidified 和 ZK Labs - 2021年5月 <a href="#solidified-and-zk-labs-may-2021" id="solidified-and-zk-labs-may-2021"></a>

* ​[查看报告](https://github.com/euler-xyz/euler-audits/blob/master/smart_contract_audits/Audit%20Report%20-%20Euler%20-%20\[07.05.2021].pdf)​

## Halborn - 2021年5月 <a href="#halborn-may-2021" id="halborn-may-2021"></a>

* [查看报告](https://github.com/euler-xyz/euler-audits/blob/master/smart_contract_audits/Euler_Smart_Contract_Security_Audit_Halborn_v_1_1.pdf)

## Certora - 2021年9月 <a href="#certora-september-2021" id="certora-september-2021"></a>

* ​[查看报告](https://github.com/euler-xyz/euler-audits/blob/master/smart_contract_audits/Formal_Verification_Report_for_Euler.pdf)​

## Sherlock - 2021年11月 <a href="#sherlock-december-2021" id="sherlock-december-2021"></a>

* ​[查看报告](https://github.com/euler-xyz/euler-audits/blob/master/smart_contract_audits/Euler_-_Sherlock_Report.pdf)​