4. Verification phase#

We check whether the number of points NP is a power of 2.