Skip to content

Commit

Permalink
fixes
Browse files Browse the repository at this point in the history
  • Loading branch information
Stefano Angieri committed Aug 19, 2024
1 parent e11262b commit bf4656d
Showing 1 changed file with 6 additions and 6 deletions.
12 changes: 6 additions & 6 deletions spec/client/ics-007-tendermint-client/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -67,8 +67,8 @@ interface ClientState {
trustLevel: Rational
trustingPeriod: uint64
unbondingPeriod: uint64
delayPeriod: uint64 // IBC/TAO V2 SUPPORT
delayPeriodBlocks: uint64 // IBC/TAO V2 SUPPORT
delayTimePeriod: uint64 // IBC/TAO V2 SUPPORT
delayBlockPeriod: uint64 // IBC/TAO V2 SUPPORT
latestHeight: Height
frozenHeight: Maybe<uint64>
upgradePath: []string
Expand Down Expand Up @@ -390,9 +390,9 @@ function verifyMembership(
// check that the client is unfrozen or frozen at a higher height
assert(clientState.frozenHeight === null || clientState.frozenHeight > height)
// assert that enough time has elapsed
assert(currentTimestamp() >= processedTime + clientState.delayPeriodTime)
assert(currentTimestamp() >= processedTime + clientState.delayTimePeriod)
// assert that enough blocks have elapsed
assert(currentHeight() >= processedHeight + clientState.delayPeriodBlocks)
assert(currentHeight() >= processedHeight + clientState.delayBlockPeriod)
// fetch the previously verified commitment root & verify membership
// Implementations may choose how to pass in the identifier
// ibc-go provides the identifier-prefixed store to this method
Expand All @@ -418,9 +418,9 @@ function verifyNonMembership(
// check that the client is unfrozen or frozen at a higher height
assert(clientState.frozenHeight === null || clientState.frozenHeight > height)
// assert that enough time has elapsed
assert(currentTimestamp() >= processedTime + clientState.delayPeriodTime)
assert(currentTimestamp() >= processedTime + clientState.delayTimePeriod)
// assert that enough blocks have elapsed
assert(currentHeight() >= processedHeight + clientState.delayPeriodBlocks)
assert(currentHeight() >= processedHeight + clientState.delayBlockPeriod)
// fetch the previously verified commitment root & verify membership
// Implementations may choose how to pass in the identifier
// ibc-go provides the identifier-prefixed store to this method
Expand Down

0 comments on commit bf4656d

Please sign in to comment.