diff --git a/docs/docs/03-light-clients/01-developer-guide/07-proofs.md b/docs/docs/03-light-clients/01-developer-guide/07-proofs.md index 1c17ebca968..67663baff32 100644 --- a/docs/docs/03-light-clients/01-developer-guide/07-proofs.md +++ b/docs/docs/03-light-clients/01-developer-guide/07-proofs.md @@ -18,7 +18,7 @@ For the purposes of ibc-go, there are two types of proofs which are important: e Existence proofs are used in IBC transactions which involve verification of counterparty state for transactions which will result in the writing of provable state. For example, this includes verification of IBC store state for handshakes and packets. -Put simply, existence proofs prove that a particular key and value exists in the tree. Under the hood, an IBC existence proof is comprised of two proofs: an IAVL proof that the key exists in IBC store/IBC root hash, and a proof that the IBC root hash exists in the multistore root hash. +Put simply, existence proofs prove that a particular key and value exists in the tree. Under the hood, an IBC existence proof is comprised of two proofs: an IAVL proof that the key exists in IBC store/IBC root hash, and a proof that the IBC root hash exists in the multistore root hash. ## Non-existence proofs diff --git a/docs/versioned_docs/version-v7.5.x/03-light-clients/01-developer-guide/06-proofs.md b/docs/versioned_docs/version-v7.5.x/03-light-clients/01-developer-guide/06-proofs.md index 00c33eb2441..c168865b303 100644 --- a/docs/versioned_docs/version-v7.5.x/03-light-clients/01-developer-guide/06-proofs.md +++ b/docs/versioned_docs/version-v7.5.x/03-light-clients/01-developer-guide/06-proofs.md @@ -18,7 +18,7 @@ For the purposes of ibc-go, there are two types of proofs which are important: e Existence proofs are used in IBC transactions which involve verification of counterparty state for transactions which will result in the writing of provable state. For example, this includes verification of IBC store state for handshakes and packets. -Put simply, existence proofs prove that a particular key and value exists in the tree. Under the hood, an IBC existence proof is comprised of two proofs: an IAVL proof that the key exists in IBC store/IBC root hash, and a proof that the IBC root hash exists in the multistore root hash. +Put simply, existence proofs prove that a particular key and value exists in the tree. Under the hood, an IBC existence proof is comprised of two proofs: an IAVL proof that the key exists in IBC store/IBC root hash, and a proof that the IBC root hash exists in the multistore root hash. ## Non-existence proofs diff --git a/docs/versioned_docs/version-v8.3.x/03-light-clients/01-developer-guide/06-proofs.md b/docs/versioned_docs/version-v8.3.x/03-light-clients/01-developer-guide/06-proofs.md index 0e1167f6203..c3a41b7340e 100644 --- a/docs/versioned_docs/version-v8.3.x/03-light-clients/01-developer-guide/06-proofs.md +++ b/docs/versioned_docs/version-v8.3.x/03-light-clients/01-developer-guide/06-proofs.md @@ -18,7 +18,7 @@ For the purposes of ibc-go, there are two types of proofs which are important: e Existence proofs are used in IBC transactions which involve verification of counterparty state for transactions which will result in the writing of provable state. For example, this includes verification of IBC store state for handshakes and packets. -Put simply, existence proofs prove that a particular key and value exists in the tree. Under the hood, an IBC existence proof is comprised of two proofs: an IAVL proof that the key exists in IBC store/IBC root hash, and a proof that the IBC root hash exists in the multistore root hash. +Put simply, existence proofs prove that a particular key and value exists in the tree. Under the hood, an IBC existence proof is comprised of two proofs: an IAVL proof that the key exists in IBC store/IBC root hash, and a proof that the IBC root hash exists in the multistore root hash. ## Non-existence proofs