From cd07ec126be07a19e7614ce936dca24a7b2b299c Mon Sep 17 00:00:00 2001 From: Justin Date: Sun, 9 Dec 2018 14:51:15 +0000 Subject: [PATCH] Update bls_verify.md --- specs/bls_verify.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/specs/bls_verify.md b/specs/bls_verify.md index 1e3f44aa7..c28025b11 100644 --- a/specs/bls_verify.md +++ b/specs/bls_verify.md @@ -53,7 +53,7 @@ We require: * `a_flag2 == b_flag2 == c_flag2 == 0` * `c_flag1 == 1` * if `b_flag1 == 1` then `a_flag1 == x1 == x2 == 0` and `(z1, z2)` is the point at infinity -* if `b_flag1 == 0` then `(z1, z2)` is the point `(x1 * i + x2, y)` where `y` is the valid coordinate such that the imaginary part `y_im` of `y` satisfies `(y_im * 2) // q == a_flag1`. +* if `b_flag1 == 0` then `(z1, z2)` is the point `(x1 * i + x2, y)` where `y` is the valid coordinate such that the imaginary part `y_im` of `y` satisfies `(y_im * 2) // q == a_flag1` ## Helpers