Skip to content

🐞 SchnorrProof challenge specification and implementation do not match #253

@JohnLCaron

Description

@JohnLCaron

Is there an existing issue for this?

  • I have searched the existing issues

Current Behavior

Specification 1.0 for SchnorrProof (p 10, p 27) has the challenge as

c i,j = H(Q, K i,j , h i,j )

But implementation make_schnorr_proof in schnorr.py. line 89 has

c = hash_elems(k, h)

This was discussed in

Election-Tech-Initiative/electionguard-python#278

and it was decided to leave out the Q.

Expected Behavior

The specification should be amended after reviewing the decision to leave out the Q.

Steps To Reproduce

No response

Environment

- OS:

Anything else?

The 2.0 document being circulated "Proofs in ElectionGuard– changes for version 2.0" section 2 should also be amended.

Metadata

Metadata

Assignees

Labels

bugSomething isn't workingquestionFurther information is requested

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions