search

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

Jubjub IsOnCurve - reduced to 3 constraints #74

Closed HarryR closed 5 years ago

HarryR commented 5 years ago

Fixes #71

This reduces the number of constraints for the twisted Edwards IsOnCurve check to 3, and adds tests for it.

This also adds a variant of the utility function make_variable which takes a constant and assigns a value to the variable.