On December 2nd 2019, the 0x v3 release went live. The release included a significantly more complex exchange environment. As such, 0x sought out MythX, along with ConsenSys Diligence to perform a manual security audit, to increase confidence in the correctness of the smart contract code.
MythX performed the following techniques in the 3.0 branch of the 0x monorepo:
As a result:
Continuously verifying the code using MythX, including the custom checks built-in this project, was recommended to prevent regressions and new security issues.