The Flurry protocol has undergone several security audit checks conducted by different security service provider.
CertiK 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.