The 3rd audit for Rocket Joe has been completed
Formal Verification Report for Rocket Joe This document describes the specification and verification of Rocket Joe system using the Certora Prover. They undertook the work from January 13, 2022 to March 4, 2022. The latest commit that was reviewed and ran through the Certora Prover was ef2ef302. https://twitter.com/traderjoe_xyz/status/1508733493831995392 Check out the report: https://www.certora.com/wp-content/uploads/2022/03/Rocket-Joe-Report-2022-03-17.pdf Source : The 3rd audit for Rocket Joe has been completed