vector-commit

此crate定义了在向量承诺（VC）方案中使用的一组特性。它还提供了一些不同VC方案的实现。

lib.rs:

vector-commit 是用于向量承诺（VC）方案的一组特性。数据集（数据集）通过绑定属性（一旦承诺后就不能更改数据集）进行承诺。然后可以生成数据到承诺的包含证明。然后可以验证这些证明以确认数据确实位于VC方案承诺的数据集中。

大多数VC方案旨在生成常数或对数大小的证明，并且具有高效的验证。一些VC方案需要可信设置，其中生成用于证明/验证的参数。这些方案的可绑定属性依赖于无人知道可信设置中使用的秘密。