Require that inputs to the proof are within the scalar field - Githubissues

HarryR / ethsnarks

A toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop

GNU Lesser General Public License v3.0

240 stars 57 forks source link

Require that inputs to the proof are within the scalar field #141

Closed HarryR closed 4 years ago

HarryR commented 4 years ago

Fixes #140

Applies to:

Fixes:

Requires that inputs are on the field
Removes dependency on the Pairing class
Removes expensive (and generally unused) Verifier structs

Originally reported at https://github.com/kobigurk/semaphore/issues/16