Aidan Salzmann

Interchain queries support

1

## Summary Add support for interchain queries. Spec: https://github.com/cosmos/ibc/pull/735 ## Problem Definition Interchain queries (cross-chain queries) are being used by projects across the ecosystem, and the spec is being finalized....

Change consumer proposal whitelist -> blacklist (or remove the list outright)

1

## Protocol Change Proposal ### Summary Currently, all proposals must be whitelisted on consumer chains. This is not ideal for two reasons 1. It's hard for consumers to maintain the...

* discuss adding invariant check to scaling factor contract that limits rate of change

* reset the slash query checkpoint if someone manually triggers a slash query

ICS proposals

1

ICS prop ``` { "title": "On-board the Stride blockchain for ICS", "description": "On-board the Stride blockchain for ICS\n\n**Summary** \nStride’s ICS signaling proposal, passed by Cosmos Hub governance on May 11th,...

AUDIT: StakeExistingDepositsOnHostZones could be a bottleneck in case of many host zones

1

_Surfaced from @informalsystems audit of [Stride](https://github.com/Stride-Labs/stride) at commit f9736fe0_ --- finding: id: IF-STRIDE-STAKEIBC-STAKE_EXISTING_DEPOSITS title: StakeExistingDepositsOnHostZones could be a bottleneck in case of many host zones severity: Medium impact: Low exploitability:...

AUDIT: GetHostZoneUnbondingMsgs need to be refactored

3

_Surfaced from @informalsystems audit of [Stride](https://github.com/Stride-Labs/stride) at commit f9736fe0_ --- finding: id: IF-STRIDE-STAKEIBC-HOST_ZONE_UNBOINDING title: GetHostZoneUnbondingMsgs need to be refactored severity: Informational impact: None exploitability: None type: Implementation issue: status: PR...

AUDIT: Consider isolating host zone operations

1

_Surfaced from @informalsystems audit of [Stride](https://github.com/Stride-Labs/stride) at commit f9736fe0_ # Involved artifacts - [stakeibc/keeper/hooks.go](https://github.com/Stride-Labs/stride/blob/v2.0.3/x/stakeibc/keeper/hooks.go) - [stakeibc/abci.go](https://github.com/Stride-Labs/stride/blob/v2.0.3/x/stakeibc/abci.go#L15-L26) # Description In the current Stride StakeIBC architecture, in particular in the functions [BeforeEpochStart()](https://github.com/Stride-Labs/stride/blob/f9736fe07a5a01fa2d15fa3ec3763e8832b82c43/x/stakeibc/keeper/hooks.go#L25)...

Informal Systems audit results

1

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]...

AUDIT: Various kinds of observations

3

_Surfaced from @informalsystems audit of [Stride](https://github.com/Stride-Labs/stride) at commit f9736fe0_ --- finding: id: IF-STRIDE-OBSERVATIONS title: Various kinds of observations severity: Informational impact: None exploitability: None type: Implementation issue: status: Unresolved ---...