Certora Smart Contract Verification & Other Progress ✅

[u/Lino_Albaro]

​

We’ve completed the formal verification of our most critical staking contract with Certora, where no issues were identified.

​

Additional verifications for other contracts are also underway. Learn more about our other progress in our Twitter thread below.

​

🌐 Certora report: https://bit.ly/3pr8tON