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

Constant tobytes of Fp is in the wrong direction #108

Closed onewayfunc closed 2 years ago

onewayfunc commented 2 years ago

Description

In an attempt to merge the "prepared G2 test", we found a weird error.

After debugging, we found that the constant tobytes of Fp is in the wrong direction, causing it to have a different result compared with witness/input.


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: