Skip to content

Typo in verification formula in specification document #9

Description

@matthewh-dac

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

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions