fix link and add to the spec that the coordinates of the points are not in Montgomery form#16

Ethan-000 wants to merge 3 commits into

AztecProtocol:masterAztecProtocol/ignition-verification:masterfrom

Ethan-000:masterEthan-000/ignition-verification:masterCopy head branch name to clipboard