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: