arkworks-rs / r1cs-std

R1CS constraints for bits, fields, and elliptic curves
https://www.arkworks.rs
Apache License 2.0
137 stars 59 forks source link

Publicize non-zero weierstrass affine variables #84

Closed alex-ozdemir closed 2 years ago

alex-ozdemir commented 2 years ago

Description

I've found these to be useful for a recent project.

I also added an EqGadget implementation and a test.


Before we can merge this PR, please make sure that all the following items have been checked off. If any of the checklist items are not applicable, please leave them but write a little note why.

alex-ozdemir commented 2 years ago

Sorry for the delay; I was out-of-town.

We were working with a prime-order curve and had a large computation that could produce intermediate zeros with only negligible probability.