Currently, ipa_multipoint allows to commit 256 values at a time.
However, pedersen commitments have a homomorphic property that should be used to greatly improve performance.
We should implement updating a single value of a vector commitment using homomorphism.
The function takes as input:
C: the current vector commitment
diff: the difference between the new and old value
index: the position of the value in the vector
The result is a new commitment where the vector has been updated at position index.
Currently, ipa_multipoint allows to commit 256 values at a time. However, pedersen commitments have a homomorphic property that should be used to greatly improve performance.
We should implement updating a single value of a vector commitment using homomorphism. The function takes as input:
The result is a new commitment where the vector has been updated at position index.