Support for proofs of abscence?

paritytech / trie

Base-16 Modified Patricia Merkle Tree (aka Trie)

Apache License 2.0

251 stars 67 forks source link

Support for proofs of abscence? #147

Closed seunlanlege closed 2 years ago

seunlanlege commented 2 years ago

Does this support generating proofs for non-inclusion? kinda like the ethereum mpt.

Considering using this for generating IBC packet inclusion/non-inclusion proofs as per ics-023

cheme commented 2 years ago

Yes, if you record a proof on a missing value, the nodes along its path included in the proof (proving there is no child at some point for the missing key).

seunlanlege commented 2 years ago

Yes I've confirmed this behavior, thanks @cheme