Informal Systems audit results - Githubissues

Stride-Labs / stride

Stride: Multichain Liquid Staking

https://stride.zone/

Apache License 2.0

187 stars 205 forks source link

Informal Systems audit results #415

Open asalzmann opened 1 year ago

asalzmann commented 1 year ago

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 commented 1 year ago

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