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:
🔗 https://beosin.com/audits/Horizon_202308111401.pdf
Last updated