# Audits

The Flurry protocol has undergone several security audit checks conducted by different security service provider.&#x20;

[**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:&#x20;

{% 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 %}
