CertiK Admin retweeted
Congrats @reserveprotocol for the successful #IEO on @HuobiGlobal as the third #HuobiPrime offering. @certikorg, as their official #security provider, is delighted to add that the $RSR smart contract passed our rigorous Formal Verification process. Stay tuned for the full review.
