# Audit

<figure><img src="https://1190978476-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2FHsCCW3FiT3A3GZlEVSsJ%2Fuploads%2Ffc27gOc1auNIsIZlSBQk%2Faudited.jpg?alt=media&#x26;token=f4fb33d3-ead5-4701-80b1-b2b036fb87bd" alt=""><figcaption></figcaption></figure>

HorizonDEX is successfully Audited by **SOLIDProof, DEFIMOON** and by **Hacken**.\
\
SOLIDProof is a well-established auditing firm in the blockchain industry, specializes in smart contract audits and security assessments. SOLIDProof is the top-tier smart contract auditor that has completed 700+ successful audits of some of the most well-known teams and projects, including PinkSale, CultDao, UNCX Network, Zyberswap etc\
\
SOLIDproof Audit Proof : <https://github.com/solidproof/projects/blob/main/2023/Horizon%20DEX><br>

<figure><img src="https://1190978476-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2FHsCCW3FiT3A3GZlEVSsJ%2Fuploads%2F4HuliFkjYhpSzcNQBEyp%2FAudited%20by%20SolidProof.jpg?alt=media&#x26;token=d339a4da-94ad-4a59-baed-d34eb223f7ab" alt=""><figcaption></figcaption></figure>

&#x20;Hacken is one the best smart contract auditor that has completed 1,200+ successful audits of some of the most well-known teams and projects, including Avalanche, Polygon, Klaytn , Near, Sandbox, Polkastater, Kyber Network, IOTex, Dao maker etc. \
\
Hacken Audit Proof : <https://github.com/Horizon-Dex/Audits/blob/a1c7f31238a7b0d3390f37d178d855cf284cdcee/HorizonDEX_SC%20Comparison%20Report_11.07.2023_SA-1644%20(2).pdf>

<figure><img src="https://1190978476-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2FHsCCW3FiT3A3GZlEVSsJ%2Fuploads%2FSLVUQhhbDKlEZZ2zUF33%2Fhacken%20partners.jpg?alt=media&#x26;token=b3b62edf-6b14-4c28-8c66-823084c858ff" alt=""><figcaption></figcaption></figure>

Again, DEFIMOON is the International Blockchain Development & Security Agency. It provides professional services and solutions at the highest quality on world-leading chains.Defimoon has conducted audits for reputable projects such as Algem, Inverse Finance, LedgeFi, Spharium, Vyper Protocol, and more.\
\
DEFIMOON Audit Proof: <https://github.com/Defimoonorg/Audit-Report/blob/main/Horizon-Dex.pdf>\
\
DEFIMOON Token Sale Contract Audit: <https://github.com/Horizon-Dex/Audits/blob/main/Horizon-Sale_Reaudit.pdf>

<figure><img src="https://1190978476-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2FHsCCW3FiT3A3GZlEVSsJ%2Fuploads%2FJJ3bP76QJmMrdCm2q9t8%2FDefimoon%20Partners_1.jpg?alt=media&#x26;token=1b23c32c-1f72-480d-81de-7abbcc732ffe" alt=""><figcaption></figcaption></figure>

In addition, our code is built entirely on Kyberswap Elastic, which has undergone [numerous audits](https://chainsecurity.com/security-audit/kyberswap-elastic/) with impressive results.&#x20;
