# Variables

MinusOne is -1.
One is 1.
Q is the order of the integer field (Zq) that fits inside the SNARK.
Zero is 0.