Javadoc
Description: Checks Bounds for Signature Vector Z During Signification.
Leaks the Position of the Coefficient that Fails the Test.
The Position of the Coefficient is Independent of the Secret Data.
Does not Leak the Signature of the Coefficients.
For Heuristic qTESLA Security Category-1 and Security Category-3
(Option for Size or Speed)