From 6c196fc41183a2779ae211f3c5bbd0fd623b81b9 Mon Sep 17 00:00:00 2001 From: Justin Date: Sun, 9 Dec 2018 14:48:54 +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 9b90b87f4..858ba457c 100644 --- a/specs/bls_verify.md +++ b/specs/bls_verify.md @@ -101,7 +101,7 @@ Let `bls_verify(pubkey: uint384, message: bytes32, signature: [uint384], domain: * Verify that `pubkey` is a valid G1 point. * Verify that `signature` is a valid G2 point. -* Verify `e(pubkey, hash_to_G2(message, domain)) == e(g, signature)`. +* Verify that `e(pubkey, hash_to_G2(message, domain)) == e(g, signature)`. ### `bls_verify_multiple`