Election-Tech-Initiative / Election-Tech-Initiative/ElectionGuard-SDK-Specification
Typo in verification formula in specification document
Open
- Dominant language
- JavaScript
- Stars
- 28
- Forks
- 15
- PR merge metrics
- No merged PRs in 30d
Description
In the ElectionGuardSpecificationV0.85.pdf specification document, Section: NZIK proof that (α, β) Is an encryption of L (given knowledge of aggregate encryption nonce R)
The verifier equation
```
(g^L)(K^v) = bB^C mod p
```
Should be
```
(g^(CL))(K^v) = bB^C mod p
```
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.