Skip to content

Conversation

sangier
Copy link
Contributor

@sangier sangier commented Nov 7, 2024

This PR is a spec adjustment following the discussion with @chatton and @AdityaSripal regarding the usage of the original packet timeout instead of currentTimet() + DefaultHopTimeoutPeriod in the forwarded packet.

@@ -456,7 +459,7 @@ function onRecvPacket(

packetSequence=handler.sendPacket(
forwarding.hops[0].channelId,
currentTime() + DefaultHopTimeoutPeriod,
originalTimeoutTimestamp,
forwardingPayload
)
// store previous packet sequence and destChannelId for future sending ack
Copy link
Contributor Author

Choose a reason for hiding this comment

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

One open question is: when we to store the forwarded packet info, is the payload.destPort really necessary?

I added it thinking that the payload.destPort may be slightly different for different ecosystems. @chatton make me notice it may be always equal instead.
If that's the case then we can just reuse the payload.destPort in the
function revertInFlightChanges( sentPacketDestChannelId: bytes, sentPacketPayload: Payload, receivedPacketDestChannelId: bytes, receivedPacketDestPort: bytes,

and thus reduce its input parameter by deleting the receivedPacketDestPort.

What's your opinion here @AdityaSripal ?

Copy link
Contributor

Choose a reason for hiding this comment

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

They can be different across ecosystems. In fact there are already transfer modules in cosmos that do not use the transfer port :)

Thus it is correct as it is.

@AdityaSripal AdityaSripal merged commit ccc522a into feat/v2-spec Nov 7, 2024
2 checks passed
@AdityaSripal AdityaSripal deleted the stefano/app-data-timeout branch November 7, 2024 16:32
AdityaSripal added a commit that referenced this pull request Mar 26, 2025
* add v2 folder

* create structure and paste v1 specs for now

* TAO V2 support in 07 client (#1137)

* deprecate delay period params

* add params into clientState

* fix comment

* include PR link in history

* fixes

* fix comment

* fix modified field

* Copied README.md to v2/ while preserving history

* Reverted README.md to commit 825d47d

* fix deadlinks

* rm v1 deprecation references

* del v2 folder and readme

* cp v1 spec into TAO_V1_README

* apply v2 changes

* fix dead links

* fix deadlinks 2

* fix image links

* fixes

* fixes

* fix link to v2 version

---------

Co-authored-by: Stefano Angieri <stefano@interchain.io>

* 02-client-TAOv2 (#1147)

* rm delayPeriods

* add msg and hanlder

* fixes

* del things

* fix order

* typos

* review comments

---------

Co-authored-by: Stefano Angieri <stefano@interchain.io>

* 24-host: Reduce provable surface area to only packet flow keys (#1144)

* start 24-host by removing unnecessary requirements and moving some provable keys to private keys

* fix layout rendering

* fix links

* address Stefano's comments

* high level path space and commitment specification

---------

Co-authored-by: Carlos Rodriguez <carlos@interchain.io>

* 04-Packet-Flow-v2 (#1148)

* start removing channel refs

* add counterparty refs

* introducing multi-packet data structure

* add multi-data packet

* introduce packet handlers

* send packet handl

* change packet commitment paths

* fix paths

* mod sendPacket

* mod receive

* allign with new packet structure

* mod ack and paths

* change counterparty def

* discussions-related-fixes

* add sketch packet flow

* rework + ack logic

* fixes + timeout logic

* start addressing review

* addressing review comments

* fixes

* client-creation-registration

* ante-error-post conditions sendPacket

* fixes

* handlers pre-error-post conditions

* fixes

* add mermaid diagrams, fixes

* router fixes

* improvements and fixes

* minor fix

* improvements

* adding considerations

* add condition table

* change condition table format

* multi-payload,paths,router,acks fixes

* improve createClient conditions

* table fix

* registerChannel table

* fixes

* improvements

* fixes

* setup fixes

* diagram fixes

* fix diagram

* test fix

* two and three step setup

* send-receive conditions

* router fixes

* createChannl conditions

* register table fixes

* conditions tables

* table fixes

* self review

* self review

* add soundness and correctness

* self review

* self review

* fixes

* minor fixes

* rename folder

* polish

* change registerChannel to registerCounterparty

* Apply suggestions from code review

Co-authored-by: Aditya <14364734+AdityaSripal@users.noreply.github.com>

* address review comments

* rm counterparty channel id check in send packet

* mod writeAck function

* delete packet once async ack has been written

* fix callbacks

* fixes

* fix mermaid

* rm relayer from SendPack

* Apply suggestions from code review

---------

Co-authored-by: Aditya <14364734+AdityaSripal@users.noreply.github.com>

* ics20-tao-v2-support (#1157)

* start v2 changes

* mod onRecv callback

* mod revert,refund

* wip refactor

* wip-packet-reasoning

* callbacks interface update

* fixes

* v2Tao support in v1

* Apply suggestions from code review

Co-authored-by: Aditya <14364734+AdityaSripal@users.noreply.github.com>

* fix sequence type

* unrmarshal utility function

* fix write ack

* fix revertInFlightsChanges

* fixes

* rm relayer from onSend

* Apply suggestions from code review

---------

Co-authored-by: Aditya <14364734+AdityaSripal@users.noreply.github.com>

* ICS24: Restructure provable packet keys (#1155)

* imp: note that commitments must be lexographically ordered to maintain soundness (#1153)

* restructure ibc keys

* add value instead of redundant provable store column

* chore: remove myself as codeowner (#1156)

* Fix variable name (#1162)

* fix link and put new provable keys into 04-channel spec

---------

Co-authored-by: colin axnér <25233464+colin-axner@users.noreply.github.com>
Co-authored-by: Christoph Otter <chipshort@tutanota.com>

* add timeoutTimestamp in forwarding (#1163)

* Packet Spec: Hash App data rather than standardizing encoding (#1152)

* add packet and acknowledgement structs and commitment details

* add CBOR as suggested encoding and SENTINEL_ACKNOWLEDGEMENT value

* explain each field in the code

* change id to channel

* switch cbor encoding to hashing in packet commitment

* switch cbor encoding to hashing in acknowledgement

* Apply suggestions from code review

Co-authored-by: sangier <45793271+sangier@users.noreply.github.com>

* add recursive hashing suggestion from amulet

* prepend protocol byte

---------

Co-authored-by: sangier <45793271+sangier@users.noreply.github.com>

* Move PACKET.md (#1166)

* move PACKET.md to the right folder

* linter

* linter

* ICS4: Create 32 byte commitment (#1168)

* move protocol version inside final hash

* Update spec/core/v2/ics-004-packet-semantics/PACKET.md

Co-authored-by: DimitrisJim <d.f.hilliard@gmail.com>

---------

Co-authored-by: DimitrisJim <d.f.hilliard@gmail.com>

* ICS4: Event Emission Specification (NO PSEUDOCODE) (#1172)

* event specification

* specify events for channel creation

* add client id to register counterparty events

* rename emitLogEntry to emitEvents

* address reviews

* fix typo

* remove explicit event implementation and include event writeup on what should be included

* continue changes

* add packet handler to v2 spec

* move to v2 folder in top-level spec

* simplify the spec

* rename folder for more visibility

* specify client handler specification

* cleanup ICS-2 and start with ICS24

* ics5 port specification

* halfway through ICS26

* specify packet callbacks

* move folders to core

* fix table

* write overview doc

* add link to payload docs

* header corrections

* address marius reviews and lint lists

* revert non-core changes

* revert client changes

* satisfy linter

* fix links

* fix more linting issues

* lint

---------

Co-authored-by: sangier <45793271+sangier@users.noreply.github.com>
Co-authored-by: Stefano Angieri <stefano@interchain.io>
Co-authored-by: Carlos Rodriguez <carlos@interchain.io>
Co-authored-by: colin axnér <25233464+colin-axner@users.noreply.github.com>
Co-authored-by: Christoph Otter <chipshort@tutanota.com>
Co-authored-by: DimitrisJim <d.f.hilliard@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
No open projects
Archived in project
Development

Successfully merging this pull request may close these issues.

2 participants