Tokemak is proud to announce the completion of @CertoraInc’s audit and formal verification of Autopilot. Check out the report here: certora.com/reports/tokemak
Tokemak is proud to announce the completion of @CertoraInc’s audit and formal verification of Autopilot. Check out the report here: certora.com/reports/tokemak https://t.co/9Aha8Yu8tG
@TokenReactor @CertoraInc This was the last audit, there is still another audit being done per last community call?
@TokenReactor @CertoraInc Love seeing the move towards formal verification. It's a heavy lift. Congratulations!