NonExistenceProof takes a proof of two neighbors, one left of the desired key, one right of the desired key. If both proofs are valid AND they are neighbors, then there is no valid proof for the given key.

from message ics23.NonExistenceProof

Hierarchy

Constructors

Properties

key: Uint8Array = ...

TODO: remove this as unnecessary??? we prove a range

from field: bytes key = 1;

from field: ics23.ExistenceProof left = 2;

from field: ics23.ExistenceProof right = 3;

fields: FieldList = ...
runtime: ProtoRuntime = proto3
typeName: "ics23.NonExistenceProof" = 'ics23.NonExistenceProof'

Methods