Informal Systems audit results

[asalzmann]

Informal systems 2022 audit results

Informational issues

• [x] IF-STRIDE-STAKEIBC-ZONEISOLATION https://github.com/Stride-Labs/stride/issues/416
• [x] IF-STRIDE-STAKEIBC-HOST_ZONE_UNBOINDING https://github.com/Stride-Labs/stride/issues/417
• [x] IF-STRIDE-STAKEIBC-HOST_ZONE_UNBOINDING_2 https://github.com/Stride-Labs/stride/issues/426
• [x] IF-STRIDE-STAKEIBC-ERRORHANDLING https://github.com/Stride-Labs/stride/issues/418
• [x] IF-STRIDE-STAKEIBC-REBALANCEVALIDATORS https://github.com/Stride-Labs/stride/issues/419
• [x] IF-STRIDE-STAKEIBC-REDEMPTIONRATELIMITS https://github.com/Stride-Labs/stride/issues/420
• [x] IF-STRIDE-DOCUMENTATION https://github.com/Stride-Labs/stride/issues/421
• [x] IF-STRIDE-CODINGSTYLE https://github.com/Stride-Labs/stride/issues/422
• [x] IF-STRIDE-TESTING-DEFICIENCY https://github.com/Stride-Labs/stride/issues/423
• [x] IF-STRIDE-OBSERVATIONS https://github.com/Stride-Labs/stride/issues/424

Medium issues

• [x] IF-STRIDE-STAKEIBC-UNBONDINGRECORDS https://github.com/Stride-Labs/stride/issues/427
• [x] IF-STRIDE-STAKEIBC-STAKE_EXISTING_DEPOSITS https://github.com/Stride-Labs/stride/issues/425

[faddat]

Informal should really be proud of this work, as should Stride for going through and publishing such a thorough audit.