Security > Audits


We are pleased to report that the Dexter team has successfully completed a 3rd-party security audit for the Dexter smart contract, and for the Dexter front end v0.8.2. The audit was performed for camlCase by Trail of Bits.

Here is a link to Trail of Bits' security assessment.

Formal Verification