DeFi protocols have the critical responsibility of delivering bug-free code and keeping user funds safe.

13 Sep 2021, 09:23

DeFi protocols have the critical responsibility of delivering bug-free code and keeping user funds safe. This process must begin at the software design stage, rather than after the code is deployed. We’ve seen our fair share of exploits affecting known projects, so we’re taking every precaution to make sure our code is sound. Apart from auditing every line of code, we also formally specify our software using TLA+. This helps us define the system logic and solve high-level conceptual problems before code writing begins, thus preventing mishaps that would affect our users and overall trust in decentralized finance. Read our newest Medium article to learn more about our decision to use TLA:

Same news in other sources

WEMIXWEMIX #170

13 Sep 2021, 09:36

[Preview] <CrypTornado for WEMIX> Update preview Hello, this is WEMIX Team. Today we are going to provide a preview of <CrypTornado for WEMIX> Next Update that is planned for October! [Update Notes] 1) New : Logical Tower > Seasonal challenging tower that players get to break through each floor to achieve an Honor & Rewards. 2) New : Reforge > Gear power-up system that can change options randomly. 3) New Gears > New gears that can only be acquired in Logical Tower. 4) Gear Max level limit releases > Max level unlocked from 480 to 510 5) Excavation improves > Excavation logic changes, Lucky numbers & Excavation ranking reward range improves 6) Others > Maximum capacity of Inventory slot expand, etc For more details about the upcoming update, please refer to Medium ANN below. WEMIX Medium Announcement : Thank you, WEMIX Team

[Preview] <CrypTornado for WEMIX> Update preview. Hello, this is WEMIX Team.

[Preview] Update preview Hello, this is WEMIX Team. Today we are going to provide a preview of Next Update that is planned for October! [Update Notes] 1) New : Logical Tower > Seasonal challenging tower that players get to break through each floor to achieve an Honor & Rewards. 2) New : Reforge > Gear power-up system that can change options randomly. 3) New Gears > New gears that can only be acquired in Logical Tower. 4) Gear Max level limit releases > Max level unlocked from 480 to 510 5) Excavation improves > Excavation logic changes, Lucky numbers & Excavation ranking reward range improves 6) Others > Maximum capacity of Inventory slot expand, etc For more details about the upcoming update, please refer to Medium ANN below. WEMIX Medium Announcement : https://wemixnetwork.medium.com/preview-cryptornado-for-wemix-update-preview-1bc0f6b499b9 Thank you, WEMIX Team