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

Make IBC protocol safe for unordered channels #51

Merged
merged 8 commits into from
Jun 8, 2023

Conversation

ethanfrey
Copy link
Collaborator

@ethanfrey ethanfrey commented Jun 7, 2023

  • Define theoretical basis for serializability
  • Define validator set as CRDT
  • Add support for tendermint pubkey rotation
  • Define rules around valid staking transitions
  • Argue correctness of staking rules

( I will merge this into the upstream PR #49 and then finalize the staking rules there. This is a huge refactor and promising path and we should review them as one protocol)

@ethanfrey ethanfrey force-pushed the define-ibc-unordered branch from 65c3115 to d7e99ee Compare June 7, 2023 17:58
@ethanfrey ethanfrey marked this pull request as ready for review June 8, 2023 18:43
@ethanfrey ethanfrey merged commit 6902437 into define-ibc Jun 8, 2023
@ethanfrey ethanfrey deleted the define-ibc-unordered branch June 8, 2023 18:44
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.

1 participant