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

Specify packet datagram creation and handling #124

Closed
4 tasks done
istoilkovska opened this issue Jul 2, 2020 · 0 comments · Fixed by #248
Closed
4 tasks done

Specify packet datagram creation and handling #124

istoilkovska opened this issue Jul 2, 2020 · 0 comments · Fixed by #248
Assignees
@istoilkovska
Labels
I: logic Internal: related to the relaying logic I: spec Internal: related to IBC specifications
Milestone
v0.0.4

Comments

@istoilkovska
Copy link
Contributor

istoilkovska commented Jul 2, 2020 •
edited
Loading

Summary

Specify packet datagrams creation and handling in the relayer TLA+ specification.

Proposal

Add support for packet datagrams.

On the chain side:

  • define logs for sent packets
  • define logs for received packets
  • add action for sending packets
  • add action for processing packets

On the relayer side:

  • define operator for creating packet datagrams by scanning the sent packets log
  • define operator for creating packet acknowledgment datagrams by scanning the received packets log

For Admin Use

  • Not duplicate issue
  • Appropriate labels applied
  • Appropriate contributors tagged
  • Contributor assigned/self-assigned
@istoilkovska istoilkovska self-assigned this Jul 2, 2020
@istoilkovska istoilkovska added I: spec Internal: related to IBC specifications tla labels Jul 2, 2020
@istoilkovska istoilkovska added this to the 0.8-8mo milestone Jul 2, 2020
@istoilkovska istoilkovska added the I: logic Internal: related to the relaying logic label Jul 2, 2020
@ancazamfir ancazamfir mentioned this issue Jul 2, 2020
Closed
@milosevic milosevic modified the milestones: v0.0.4, v0.0.2 Jul 23, 2020
@ebuchman ebuchman modified the milestones: v0.0.2, v.0.0.3 Aug 1, 2020
@ebuchman ebuchman removed the tla label Aug 1, 2020
@ancazamfir ancazamfir modified the milestones: v.0.0.3, v0.0.4 Aug 14, 2020
@ebuchman ebuchman mentioned this issue Sep 11, 2020
Closed
4 tasks
@milosevic milosevic mentioned this issue Sep 11, 2020
Closed
@istoilkovska istoilkovska mentioned this issue Sep 22, 2020
Merged
6 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@istoilkovska istoilkovska

Labels
I: logic Internal: related to the relaying logic I: spec Internal: related to IBC specifications
Projects
None yet
Milestone
v0.0.4
Development

Successfully merging a pull request may close this issue.

Basic packet flow in TLA+ informalsystems/hermes
4 participants
@milosevic @ebuchman @ancazamfir @istoilkovska