Mistake in the specification, Algorithm 9.23 VerifyZeroArgument: Verifies a Zero Argument
Version 1.4.0 of the specifications.
The statement contains the following commitments:
- c_a = (c_a_1, ... , c_a_m) -> index from 1 to m
- c_b = (c_b_0, ..., c_b_{m-1}) -> index from 0 to m-1
The formula for prodCa
and prodCb
cannot be performed since the indexes of the divisions are outside of the indexes of the array:
- prodCa starts at index 0, but c_a start with index 1
- prodCb starts at index m, but c_b has no index m
It is not clear, what has to be changed, in order the the exponentiate of x is correct
Edited by Denis Morel