Group Commitment Scheme (for single group π”ΎπŸ)

SnarkPack introduces and utilizes a group commitment scheme as follows.

  1. Calculate the following 𝑛-dimensional vectors:



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