cs1[i]) // Reject if ||z||∞ ≥ γ1 − β if coefficientsExceedBo(z[i], γ1β) { if testingOnlyRejection != nil { testingOnlyRejection("z") } continue sign } } for i := range w { r0 := polySub(w[i], cs2[i]) // Reject if ||LowBits(r0)||∞ ≥ γ2 − β if lowBitsExceedBound(r0, γ2β, p) { if testingOnlyRejection != nil { testingOnlyRejection("r0") } continue sign } } ct0 := make([]ringElement, k, maxK) for i := range ct0 { ct0[i] = inverseNTT(nttMul(c, t0[i])) // Reject if ||ct0||∞ ≥ γ2 if coefficientsExceedBo(ct0[i],...