Clarify k == 0

This commit is contained in:
chriseth 2017-02-14 17:06:41 +01:00 committed by GitHub
parent a4aa980651
commit 9ce36b3b65
1 changed files with 3 additions and 1 deletions

View File

@ -5,7 +5,7 @@
on the elliptic curve alt_bn128
Author: Vitalik Buterin <vitalik@ethereum.org>, Christian Reitwiessner <chris@ethereum.org>
Type: Standard Track
Category(*only required for Standard Track): Core
Category: Core
Status: Draft
Created: 2017-02-06
</pre>
@ -46,6 +46,8 @@ Output: If the length of the input is incorrect or any of the inputs are not ele
(in F_q) and zero else.
```
Note that k is determined from the length of the input. k == 0 is valid and results in returning one.
### Definition of the groups
The groups `G_1` and `G_2` are cyclic groups of prime order `q` on the elliptic curve `alt_bn128` defined by the curve equation