@compoundfinance • SCs risks are minimized through:
1) rigid approach to testing including extensive auditing of major code changes;
2) formal verification testing of key contract functions;
3) market risk verification of the protocol through external simulation testing by Gauntlet.
4/
@compoundfinance•通过以下方式将SCs风险降至最低：
1） 严格的测试方法，包括对主要代码更改的广泛审计；
2） 关键合同功能的正式验证测试；
3） 通过Gauntlet的外部模拟测试对协议进行市场风险验证。
4/