Group Commitment Scheme (for single group πΎπ)
SnarkPack introduces and utilizes a group commitment scheme as follows.
Calculate the following π-dimensional vectors:
Commitment:
Properties
It has the following properties:
Computationally binding: it guarantees that the sender cannot change the input vector (or the statement) after committing to it, except with negligible probability.
Constant size: the commitment value is independent of the length of the committed input vector.
Doubly homomorphic: both in the message and the key space. More concretely,
Collapsing property: it allows to calculate
Last updated