ICS7: Inconsistencies within spec #525
Labels
from-review
Feedback / alterations from specification review.
implementation
Tracking an external implementation of the spec.
tao
Transport, authentication, & ordering layer.
Surfaced from Informal Systems IBC Audit of cosmos-sdk hash cosmos/cosmos-sdk@90e9370
headers contain height in unit64 while some lines above it is defined as (epoch,height) pair
The note on "would-have-been-fooled logic appears out of context in the text. When restructuring the ICSs we should consider reorganizing the information.
upgrades are Tendermint-specific and not mentioned in ICS002.
Proposals are not discussed in the specification.
genesis is not discussed in the specification.
The function
VerifyClientState
does not appear in the spec.This error handling is not present in the specification.
This error handling is not present in the specification.
In all the Verify functions the specification checks latest height and frozen. These checks are done in the implementation in produceVerificationArgs. Perhaps the spec could mirror that modularity.
The text was updated successfully, but these errors were encountered: