DeXe smart-contracts have passed an audit from Certik. Using formal verification, manual review, and static analysis, Certik gave DeXe’s smart-contracts an overall security score of A. Certik’s audit included: Testing the smart-contracts against common and uncommon attack vectors. Assessing the codebase’s compliance with best practices and industry standards. Checking that…