CertiK has completed a security audit of Reserve Protocol

CertiK conducted a five-business-day security audit and formal verification of Reserve Protocol's ERC-20 smart contracts, reporting a clear design, comprehensive test cases, tests against common and uncommon attack vectors, an economic review, and no significant vulnerabilities found; the report concludes the protocol is theoretically sound and ready for scaling.