“…We have also considered the verification method suggested by Antipa, Brown, Gallant, Lambert, Struik, and Vanstone in [7], but our very efficient ellipticcurve arithmetic makes the overheads in this method -extra decompression and a Euclidean computation -much more troublesome. In the batch context discussed below, the only extra overhead of the method of [7] would be the Euclidean computation, but the benefit would also be much smaller.…”