1. 引言

vector commitment为：

• constant-size commitment
• binding commitment to an indexed vector of elements
• short membership and/or non-membership proofs for any indices & elements in the vector

Cosmos IBC中使用的vector commitment还额外要求具有：

• positionally binding属性：必须可证明 existence or nonexistence of values at specific positions (indices)。

IBC中的vector commitment主要用于保证：

• 链A上的特定状态变更可在链B上进行验证，vector commitment可 prove inclusion or non-inclusion of particular values at particular paths in state。

2. IBC中vector commitment相关定义

• “manager”：a vector commitment的manager，为负责从commitment中增减items的actor。该actor通常为某链的state machine。

• “prover”：为生成特定element inclusion 或 non-inclusion proof的actor，通常为a relayer。

• “verifier”：检查proof，以验证该commitment的manager 确实加了 或 确实没加某特定element 的actor。通常为运行在另一条链上的an IBC handler（实现了IBC的module）。

• “path and value”：commitments以"path and value"类型进行实例化，可为任意可序列化数据。

参考资料

[1] ics-023-vector-commitment