Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat(evmutil): add CosmosCoinsFullyBackedInvariant #1610

Merged
merged 5 commits into from
Jun 5, 2023

Conversation

pirtleshell
Copy link
Member

Description

Adds an invariant that ensures ERC20 total supply == module balance for sdk.Coins that can be converted to ERC20 tokens.

Checklist

  • Changelog has been updated as necessary.

@pirtleshell pirtleshell force-pushed the rp-cosmos-coin-conversion-invariant branch from 5221e5b to a340b82 Compare June 2, 2023 19:08
Base automatically changed from rp-convert-evm-to-sdk-msg to master June 2, 2023 21:26
@pirtleshell pirtleshell force-pushed the rp-cosmos-coin-conversion-invariant branch from a340b82 to 0032f52 Compare June 2, 2023 21:30
@@ -1138,6 +1138,7 @@ func (app *App) loadBlockedMaccAddrs() map[string]bool {
app.accountKeeper.GetModuleAddress(kavadisttypes.FundModuleAccount).String(): true,
// community
app.accountKeeper.GetModuleAddress(communitytypes.ModuleAccountName).String(): true,
// NOTE: if adding evmutil, adjust the cosmos-coins-fully-backed-invariant accordingly.
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

good note, this was an issue a while ago with the distribution mod account

@pirtleshell pirtleshell merged commit 528be63 into master Jun 5, 2023
@pirtleshell pirtleshell deleted the rp-cosmos-coin-conversion-invariant branch June 5, 2023 18:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants