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.

Sign up for GitHub

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

Jump to bottom

TLA+ specification for ICS-020 #386

Closed
5 tasks done
istoilkovska opened this issue Nov 9, 2020 · 0 comments · Fixed by #387
Closed
5 tasks done

TLA+ specification for ICS-020 #386

istoilkovska opened this issue Nov 9, 2020 · 0 comments · Fixed by #387
Assignees
@istoilkovska
Labels
I: spec Internal: related to IBC specifications
Milestone
v0.0.5

Comments

@istoilkovska
Copy link
Contributor

Summary

Write a TLA+ specification of the Fungible Token Transfer Protocol in IBC (ICS-020).

Proposal

  • Encode the token transfer application logic using TLA+.
  • Use the existing encoding of the basic packet flow in order to be able to send packet datagrams with ICS-020 application data in the data field of the IBC packets.
  • Define basic functionalities of the bank application using TLA+.

For Admin Use

  • Not duplicate issue
  • Appropriate labels applied
  • Appropriate milestone (priority) applied
  • Appropriate contributors tagged
  • Contributor assigned/self-assigned
@istoilkovska istoilkovska added the I: spec Internal: related to IBC specifications label Nov 9, 2020
@istoilkovska istoilkovska added this to the v0.0.5 milestone Nov 9, 2020
@istoilkovska istoilkovska self-assigned this Nov 9, 2020
@istoilkovska istoilkovska mentioned this issue Nov 9, 2020
Merged
5 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@istoilkovska istoilkovska

Labels
I: spec Internal: related to IBC specifications
Projects
None yet
Milestone
v0.0.5
Development

Successfully merging a pull request may close this issue.

TLA+ specification of the IBC Fungible Token Transfer Protocol informalsystems/hermes
1 participant
@istoilkovska