> For the complete documentation index, see [llms.txt](https://messier.gitbook.io/catalogue-de-messier/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://messier.gitbook.io/catalogue-de-messier/messier-applications/horizon/security-and-audits.md). # Security & Audits Horizon has completed a **rigorous, independent security audit** conducted by **Beosin**, a globally recognized blockchain security company. #### About Beosin Beosin is a **5+ year established blockchain security firm** specializing in advanced smart contract security and on-chain threat analysis. Their expertise includes: * **Black Box audits** * **Grey Box audits** * **White Box audits** * **zk-SNARK–based systems** * **Hacker attack vectors** * **Fraud detection** * **Flash loan exploits** Beosin is widely respected in the blockchain industry and is **backed by leading venture capital firms**, making them a trusted partner for security-critical infrastructure. *** #### Why Beosin Was Chosen Horizon partnered with Beosin specifically because their technical focus aligns with the **unique risk profile of the Messier (M87) ecosystem**, including: * Privacy-preserving architectures * Zero-knowledge proof systems * Compliance-oriented transaction flows * High-value anonymity pools * Advanced attack surfaces common to mixers and privacy layers This made Beosin uniquely qualified to assess Horizon’s smart contracts and system design. *** #### Audit Scope The audit covered: * Smart contract architecture * zk-SNARK implementation * Deposit and withdrawal logic * Edge cases and attack vectors * Known exploit patterns (e.g. flash loans) * Fraud and abuse resistance * General protocol robustness *** #### Audit Results * No critical vulnerabilities were identified * Findings and recommendations were addressed as part of Horizon’s redevelopment * The audit confirms Horizon’s security posture is suitable for production use *** #### Full Audit Report You can review the **official, complete audit report**, including all findings, methodologies, and conclusions, here: 🔗 ****