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

Fix `is_zero` for twisted Edwards curves #101

Closed weikengchen closed 2 years ago

weikengchen commented 2 years ago

Description

This appears to be a bug of two years. However, it also does not seem to affect any code.

The TE is_zero test is never true even if it is a zero.


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.

N/A: