> For the complete documentation index, see [llms.txt](https://docs.flurry.finance/flurry-finance/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.flurry.finance/flurry-finance/security/audits.md).

# Audits

The Flurry protocol has undergone several security audit checks conducted by different security service provider. 

[**CertiK**](https://www.certik.com/) is a leading blockchain security agency that pioneered the use of **Formal Verification technology** on smart contracts and blockchains. Unlike traditional security audits, Formal Verification mathematically proves program correctness and hacker resistance.

Audit reports of Flurry Finance is available on: 

{% embed url="<https://www.certik.com/projects/flurry>" %}
Flurry Finance audit report by CertiK.
{% endembed %}

Audits for new strategy and cross-chain bridging deployment was performed by [**SlowMist**](https://www.slowmist.com/en/) - a top international blockchain security company.&#x20;

Audit report is available:&#x20;

{% embed url="<https://github.com/slowmist/Knowledge-Base/blob/master/open-report/SlowMist%20Audit%20Report%20-%20Flurry%20Bridge.pdf>" %}
Flurry Finance audit report by SlowMist
{% endembed %}