Skip to content

Commit cddb495

Browse files
authoredJun 30, 2022
add absence clarification (#774)
1 parent db66af8 commit cddb495

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed
 

‎spec/core/ics-002-client-semantics/README.md

+2
Original file line numberDiff line numberDiff line change
@@ -456,6 +456,8 @@ The caller is expected to construct the full `CommitmentPath` from a `Commitment
456456
then it can pass in a non-zero `delayPeriodTime` or `delayPeriodBlocks`. If a delay period is not necessary, the caller must pass in 0 for `delayPeriodTime` and `delayPeriodBlocks`,
457457
and the client will not enforce any delay period for verification.
458458

459+
Since the verification method is designed to give complete control to client implementations, clients can support chains that do not provide absence proofs by verifying the existence of a non-empty sentinel `ABSENCE` value. Thus in these special cases, the proof provided will be an ICS-23 Existence proof, and the client will verify that the `ABSENCE` value is stored under the given path for the given height.
460+
459461
```typescript
460462
type verifyNonMembership = (
461463
clientState: ClientState,

0 commit comments

Comments
 (0)
Please sign in to comment.